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

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

Bouyer Patricia, Brihaye Thomas , Chevalier Fabrice, "Weighted o-minimal hybrid systems" in Annals of Pure & Applied Logic, 4514, 69 - 83

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

Abstract(s) :

(Anglais) We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are "observer variables" which increase while the system evolves but do not constrain the behaviour of the system. In this paper, we prove two main results: (i) optimal o-minimal hybrid games are decidable; (ii) the model-checking of WCTL, an extension of CTL which can constrain the cost variables, is decidable over that model. This has to be compared with the same problems in the framework of timed automata where both problems are undecidable in general, while they are decidable for the restricted class of one-clock timed automata.

Identifiants :
  • DOI : 10.1007/978-3-540-72734-7_6