Sciweavers

DMTCS
2007
74views Mathematics» more  DMTCS 2007»
13 years 11 months ago
Words and Bisimulations of Dynamical Systems
In this paper 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 g...
Thomas Brihaye
HYBRID
2004
Springer
14 years 4 months ago
On O-Minimal Hybrid Systems
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
Thomas Brihaye, Christian Michaux, Cédric R...
LFCS
2007
Springer
14 years 5 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” whic...
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier