Geodesic
Words and bisimulations of dynamical systems
Discrete mathematics & theoretical computer science, Tome 9 (2007) no. 2.

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

In this paper we study bisimulations on dynamical systems through a given partition. Our aim is to give a new vision of the notion of bisimulation by using words. To achieve this goal, we encode the trajectories of the transition system as words. This method was introduced in our paper ''On o-minimal hybrid systems'' in order to give a new proof of the existence of a finite bisimulation for o-minimal hybrid systems (as previously proved in a paper by Lafferriere G., Pappas G.J. and Sastry S.). Here we want to provide a systematic study of this method in order to obtain a procedure for building finite bisimulations based on words. 
@article{DMTCS_2007_9_2_a9,
     author = {Brihaye, Thomas},
     title = {Words and bisimulations of dynamical systems},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {9},
     number = {2},
     year = {2007},
     doi = {10.46298/dmtcs.404},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.404/}
}
TY  - JOUR
AU  - Brihaye, Thomas
TI  - Words and bisimulations of dynamical systems
JO  - Discrete mathematics & theoretical computer science
PY  - 2007
VL  - 9
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.404/
DO  - 10.46298/dmtcs.404
LA  - en
ID  - DMTCS_2007_9_2_a9
ER  - 
%0 Journal Article
%A Brihaye, Thomas
%T Words and bisimulations of dynamical systems
%J Discrete mathematics & theoretical computer science
%D 2007
%V 9
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.404/
%R 10.46298/dmtcs.404
%G en
%F DMTCS_2007_9_2_a9
Brihaye, Thomas. Words and bisimulations of dynamical systems. Discrete mathematics & theoretical computer science, Tome 9 (2007) no. 2. doi : 10.46298/dmtcs.404. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.404/

Cité par Sources :