4434 search results - page 24 / 887 » On the Composition of Hybrid Systems |
156
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
192
click to vote
CAV
1997
Springer
15 years 10 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
136
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Knowing the submitochondria localization of a mitochondria protein is an important step to understand its function. We develop a method which is based on an extended v...
143
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
129
click to vote
HYBRID
2010
Springer
16 years 27 days ago
2010
Springer
In this talk I present my own perspective on the beginning (I refer mostly to the period 1988-1998) of hybrid systems research at the computer science side, focusing on the contri...