Sciweavers

1146 search results - page 19 / 230
» Periodically Controlled Hybrid Systems
Sort
View
HYBRID
2007
Springer
14 years 1 months ago
Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems
Abstract. A measure differential inclusion (MDI) based modeling approach for rigidbody mechanical systems will be introduced, that can exhibit autonomous or controlled mode transi...
Kerim Yunt, Christoph Glocker
HYBRID
2001
Springer
14 years 8 days ago
Optimal Control Using Bisimulations: Implementation
Mireille E. Broucke, Maria Domenica Di Benedetto, ...
HYBRID
2000
Springer
13 years 11 months ago
Theory of Optimal Control Using Bisimulations
Mireille E. Broucke, Maria Domenica Di Benedetto, ...
HYBRID
2001
Springer
14 years 8 days ago
Minimum-Cost Reachability for Priced Timed Automata
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Gu...
HYBRID
1994
Springer
13 years 12 months ago
HYTECH: The Cornell HYbrid TECHnology Tool
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
Thomas A. Henzinger, Pei-Hsin Ho