The Coq mailing list

[Steve Kremer <kremer AT lsv.ens-cachan.fr>]

                               Séminaire
                 Laboratoire Spécification et Vérification
                        http://www.lsv.ens-cachan.fr/




Mardi 21 juin 2005, à 11 h, Amphi E-média (bâtiment L. de Vinci)


Thomas Brihaye (Université de Mons-Hainaut) fera un exposé sur

"Words and bisimulations of dynamical systems"

Abstract:

In this talk 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.

Cordialement,

---
Steve Kremer

Laboratoire Spécification et Vérification
CNRS UMR 8643 & INRIA Futurs projet SECSI & École Normale Supérieure de 
Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex - France
kremer AT lsv.ens-cachan.fr
                http://www.lsv.ens-cachan.fr/~kremer
Tel.: ++ 33 1 47 40 75 45               Secret.: ++ 33 1 47 40 75 20
Fax : ++ 33 1 47 40 75 21               Office : RH-B-102