Show simple item record

dc.contributor.authorBérard, Béatrice
dc.contributor.authorGastin, Paul
dc.contributor.authorPetit, Antoine
dc.date.accessioned2009-09-17T13:11:19Z
dc.date.available2009-09-17T13:11:19Z
dc.date.issued2007
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/1723
dc.language.isoenen
dc.subjectTimed automataen
dc.subjectSubstitutionen
dc.subjectSignal-event worden
dc.subjectRefinementen
dc.subjectAbstractionen
dc.subject.ddc005en
dc.titleTimed substitutions for regular signal-event languagesen
dc.typeArticle accepté pour publication ou publié
dc.contributor.editoruniversityotherLSV, ENS de Cachan & CNRS;France
dc.description.abstractenIn the classical framework of formal languages, a refinement operation is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studied, because they describe a change in the specification level, from an abstract view to a more concrete one, or conversely. For timed systems, there is up to now no uniform notion of substitution. In this paper, we study timed substitutions in the general framework of signal-event languages, where both signals and events are taken into account. We prove that regular signal-event languages are closed under substitution and inverse substitution. To obtain these results, we use in a crucial way a "well known" result: regular signal-event languages are closed under intersection. In fact, while this result is indeed easy for languages defined by Alur and Dill's timed automata, it turns out that the construction is much more tricky when considering the most involved model of signal-event automata. We give here a construction working on finite and infinite signal-event words and taking into account signal stuttering, unobservability of zero-duration τ-signals and Zeno runs. Note that if several constructions have been proposed in particular cases, it is the first time that a general construction is provided.en
dc.relation.isversionofjnlnameFormal Methods in System Design
dc.relation.isversionofjnlvol31en
dc.relation.isversionofjnlissue2en
dc.relation.isversionofjnldate2007
dc.relation.isversionofjnlpages101-134en
dc.relation.isversionofdoihttp://dx.doi.org/10.1007/s10703-007-0034-5en
dc.description.sponsorshipprivateouien
dc.relation.isversionofjnlpublisherKluwer Academic Publishersen
dc.subject.ddclabelProgrammation, logiciels, organisation des donnéesen


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record