Sciweavers

3823 search results - page 33 / 765
» Stability of Hybrid Systems
Sort
View
EOR
2007
88views more  EOR 2007»
13 years 8 months ago
The geometry and number of the root invariant regions for linear systems
The stability domain is a feasible set for numerous optimization problems. D-decomposition technique is targeted to describe the stability domain in the parameter space for linear...
Elena N. Gryazina
PE
2000
Springer
93views Optimization» more  PE 2000»
13 years 8 months ago
A novel approach to queue stability analysis of polling models
Previous work in the stability analysis of polling models concentrated mainly on stability of the whole system. This system stability analysis, however, fails to model many real-w...
Rocky K. C. Chang, Sum Lam
HYBRID
2001
Springer
14 years 1 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
ACTA
2007
114views more  ACTA 2007»
13 years 8 months ago
Hybridization methods for the analysis of nonlinear systems
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
Eugene Asarin, Thao Dang, Antoine Girard
CAV
1997
Springer
202views Hardware» more  CAV 1997»
14 years 25 days ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi