304 search results - page 14 / 61 » Hybridization methods for the analysis of nonlinear systems |
TROB
2002
14 years 12 months ago
2002
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
WSC
2001
15 years 1 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...
CAV
2004
Springer
15 years 5 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
114
click to vote
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
We investigate the nonlinear exponential stability of the State-Dependent Riccati Equation (SDRE)-based control. The SDRE technique is a nonlinear control method, which has emerged...
112
Voted
SRDS
1999
IEEE
15 years 4 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...