2364 search results - page 28 / 473 » On O-Minimal Hybrid Systems |
141
click to vote
FATES
2006
Springer
15 years 9 months ago
2006
Springer
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...
154
click to vote
HYBRID
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. This paper presents an approach to defining distances between nonlinear and hybrid dynamical systems based on formal power series theory. The main idea is that the input...
136
click to vote
HYBRID
2007
Springer
16 years 10 days ago
2007
Springer
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
165
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
146
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
An approach to estimation for a class of hybrid discrete-time linear systems using Luenberger observers is presented. The proposed Luenberger observer for such a kind of systems re...