4434 search results - page 48 / 887 » On the Composition of Hybrid Systems |
150
click to vote
WSC
2001
15 years 7 months ago
2001
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
179
click to vote
LFCS
2007
Springer
16 years 8 days ago
2007
Springer
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...
166
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...
154
click to vote
LFCS
2007
Springer
16 years 8 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
169
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...