Show simple item record

dc.contributor.authorBouyer, Patricia
HAL ID: 174420
ORCID: 0000-0002-2823-0911
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.contributor.authorReynier, Pierre-Alain
HAL ID: 7759
dc.date.accessioned2010-11-16T13:23:42Z
dc.date.available2010-11-16T13:23:42Z
dc.date.issued2006
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5084
dc.language.isoenen
dc.subjecttimed automataen
dc.subjectdiscrete-event systemsen
dc.subjectpartial order methodsen
dc.subjecttimed systemsen
dc.subject.ddc004en
dc.titleTimed Unfoldings for Networks of Timed Automataen
dc.typeCommunication / Conférence
dc.description.abstractenWhereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here, we design a verification algorithm for networks of timed automata with invariants. Based on the unfolding technique, our method produces a branching process as an acyclic Petri net extended with read arcs. These arcs verify conditions on tokens without consuming them, thus expressing concurrency between conditions checks. They are useful for avoiding the explosion of the size of the unfolding due to clocks which are compared with constants but not reset. Furthermore, we attach zones to events, in addition to markings. We then compute a complete finite prefix of the unfolding. The presence of invariants goes against the concurrency since it entails a global synchronization on time. The use of read arcs and the analysis of the clock constraints appearing in invariants helps increasing the concurrency relation between events. Finally, the finite prefix can be used to decide reachability properties, and transition enabling.en
dc.identifier.citationpages292-306en
dc.relation.ispartofseriestitleLecture Notes in Computer Science
dc.relation.ispartofseriesnumber4218
dc.relation.ispartoftitleAutomated Technology for Verification and Analysis. 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedingsen
dc.relation.ispartofeditorGraf, Susanne
dc.relation.ispartofeditorZhang, Wenhui
dc.relation.ispartofpublnameSpringeren
dc.relation.ispartofpublcityBerlinen
dc.relation.ispartofdate2006
dc.relation.ispartofpages540en
dc.relation.ispartofurlhttp://dx.doi.org/10.1007/11901914en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-3-540-47237-7en
dc.relation.conftitle4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006)en
dc.relation.confdate2006-10
dc.relation.confcityBeijingen
dc.relation.confcountryChineen
dc.identifier.doihttp://dx.doi.org/10.1007/11901914_23


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record