527 search results - page 20 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
ISER
2004
Springer
14 years 2 months ago
2004
Springer
Legged robots display a characteristically periodic motion. Measuring and tracking this motion has traditionally been performed using general inertial measurement techniques. While...
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
One of the oldest problems in the study of dynamical systems is the calculation of an optimal control. Though the determination of a numerical solution for the general nonconvex o...
ENTCS
2007
13 years 8 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
HYBRID
2001
Springer
14 years 1 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...
WSC
2001
13 years 10 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...