DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
Rechercher
(titres de publication, de périodique et noms de colloque inclus)
2006-08-01 - Article/Dans un journal avec peer-review - Anglais - 12 page(s)

Bouyer Patricia, Brihaye Thomas , Chevalier Fabrice, "Control in o-minimal Hybrid Systems" in IEEE proceedings, 367-378

  • Codes CREF : Informatique mathématique (DI1160)
  • Unités de recherche UMONS : Mathématiques effectives (S820)
Texte intégral :

Abstract(s) :

(Anglais) In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why we consider an other equivalence, namely the suffix equivalence based on the encoding of trajectories through words. We show that this suffix equivalence is in general a correct abstraction for control problems. We apply this result to o-minimal hybrid systems, and get decidability and computability results in this framework.

Identifiants :
  • DOI : 10.1109/LICS.2006.22