Geodesic
Formal language properties of hybrid systems with strong resets
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 44 (2010) no. 1, pp. 79-111

Voir la notice de l'article provenant de la source Numdam

We study hybrid systems with strong resets from the perspective of formal language theory. We define a notion of hybrid regular expression and prove a Kleene-like theorem for hybrid systems. We also prove the closure of these systems under determinisation and complementation. Finally, we prove that the reachability problem is undecidable for synchronized products of hybrid systems.

DOI : 10.1051/ita/2010006
Classification : 68Q68, 68Q45
Keywords: hybrid systems with strong resets, formal language theory 
@article{ITA_2010__44_1_79_0,
     author = {Brihaye, Thomas and Bruy\`ere, V\'eronique and Render, Elaine},
     title = {Formal language properties of hybrid systems with strong resets},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {79--111},
     publisher = {EDP-Sciences},
     volume = {44},
     number = {1},
     year = {2010},
     doi = {10.1051/ita/2010006},
     mrnumber = {2604936},
     zbl = {1184.68309},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita/2010006/}
}
TY  - JOUR
AU  - Brihaye, Thomas
AU  - Bruyère, Véronique
AU  - Render, Elaine
TI  - Formal language properties of hybrid systems with strong resets
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2010
SP  - 79
EP  - 111
VL  - 44
IS  - 1
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita/2010006/
DO  - 10.1051/ita/2010006
LA  - en
ID  - ITA_2010__44_1_79_0
ER  - 
%0 Journal Article
%A Brihaye, Thomas
%A Bruyère, Véronique
%A Render, Elaine
%T Formal language properties of hybrid systems with strong resets
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2010
%P 79-111
%V 44
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita/2010006/
%R 10.1051/ita/2010006
%G en
%F ITA_2010__44_1_79_0
Brihaye, Thomas; Bruyère, Véronique; Render, Elaine. Formal language properties of hybrid systems with strong resets. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 44 (2010) no. 1, pp. 79-111. doi: 10.1051/ita/2010006

Cité par Sources :