Sciweavers

Share
LFCS
2007
Springer

Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!

9 years 4 months ago
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
Abstract. 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.
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
Related Content
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where LFCS
Authors Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
Comments (0)
books