Selected publications at LSV: 2006

B. Bérard, P. Gastin and A. Petit. Intersection of regular signal-event (timed) languages. In Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), Paris, France, September 2006, LNCS 4202, pages 52-66. Springer. ( PDF | PS | PS.GZ )
doi: 10.1007/11867340_5

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