Selected publications at LSV: 2006

Abstract:
We propose in this paper a construction for a "well known" result: regular signal-event languages are closed by intersection. In fact, while this result is indeed trivial for languages defined by Alur and Dill's timed automata (the proof is an immediate extension of the one in the untimed case), it turns out that the construction is much more tricky when considering the most involved model of signal-event automata. While several constructions have been proposed in particular cases, it is the first time, up to our knowledge, that a construction working on finite and infinite signal-event words and taking into account signal stuttering, unobservability of zero-duration τ-signals and Zeno runs is proposed.

@inproceedings{BGP2-formats06,
   address = {Paris, France},
   author = {B{\'e}rard, B{\'e}atrice and Gastin, Paul and Petit, Antoine},
   booktitle = {{P}roceedings of the 4th {I}nternational {C}onference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems ({FORMATS}'06)},
   DOI = {10.1007/11867340_5},
   editor = {Asarin, Eug{\`e}ne and Bouyer, Patricia},
   month = sep,
   pages = {52-66},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Intersection of regular signal-event (timed) languages},
   url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BGP2-formats06.pdf},
   volume = {4202},
   year = {2006},
}

About LSV