Sciweavers

246 search results - page 1 / 50
» Complexity of stability and controllability of elementary hy...
Sort
View
AUTOMATICA
1999
62views more  AUTOMATICA 1999»
13 years 5 months ago
Complexity of stability and controllability of elementary hybrid systems
In this paper, we consider simple classes of nonlinear systems and prove that basic questions related to their stability and controllability are either undecidable or computationa...
Vincent D. Blondel, John N. Tsitsiklis
HYBRID
2009
Springer
13 years 9 months ago
Applications of MetiTarski in the Verification of Control and Hybrid Systems
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
Behzad Akbarpour, Lawrence C. Paulson
HYBRID
2007
Springer
13 years 11 months ago
Asymptotic Stability of Switched Higher Order Laplacians
Abubakr Muhammad, Ali Jadbabaie
HYBRID
1995
Springer
13 years 8 months ago
Stability of Hybrid Systems
Mikhail Kourjanski, Pravin Varaiya