Skip to content



O-minimal hybrid systems, bisimulation and control

Brihaye, T (Mons-Hainault)
Tuesday 18 April 2006, 11:00-12:00

Seminar Room 1, Newton Institute


In this talk, in order to study bisimulations on o-minimal hybrid systems, we explain how to symbolically encode the trajectories of the systems through 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. in 2000). Then we will consider control (reachability) problem on o-minimal hybrid systems and we will see that the previously discussed word encoding technique can help in order to solve this problem.


[pdf ]


MP3MP3 Real AudioReal Audio

Back to top ∧