Sciweavers

3823 search results - page 38 / 765
» Stability of Hybrid Systems
Sort
View
AUTOMATICA
2007
110views more  AUTOMATICA 2007»
13 years 8 months ago
Stability analysis of systems with uncertain time-varying delays
Stability in presence of bounded uncertain time-varying delays in the feedback loop of a system is studied. The delay parameter is assumed to be an unknown time-varying function f...
Chung-Yao Kao, Anders Rantzer
HYBRID
2004
Springer
14 years 2 months ago
On O-Minimal Hybrid Systems
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
Thomas Brihaye, Christian Michaux, Cédric R...
HYBRID
1999
Springer
14 years 29 days ago
A New Class of Decidable Hybrid Systems
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...
Gerardo Lafferriere, George J. Pappas, Sergio Yovi...
HYBRID
2010
Springer
13 years 10 months ago
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Truong Nghiem, Sriram Sankaranarayanan, Georgios E...
HYBRID
1995
Springer
14 years 7 days ago
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...