Sciweavers

695 search results - page 13 / 139
» Control in o-minimal Hybrid Systems
Sort
View
HYBRID
2010
Springer
13 years 11 months ago
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Truong Nghiem, Sriram Sankaranarayanan, Georgios E...
HYBRID
2001
Springer
14 years 2 months ago
Semi-decidable Synthesis for Triangular Hybrid Systems
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
Omid Shakernia, George J. Pappas, Shankar Sastry
HYBRID
1995
Springer
14 years 1 months ago
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...
HYBRID
2007
Springer
14 years 3 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 2 months ago
Optimal Control Using Bisimulations: Implementation
Mireille E. Broucke, Maria Domenica Di Benedetto, ...