Sciweavers

3823 search results - page 6 / 765
» Stability of Hybrid Systems
Sort
View
HYBRID
2003
Springer
14 years 1 months ago
Hybrid Control Design for a Wheeled Mobile Robot
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
Thomas Bak, Jan Bendtsen, Anders P. Ravn
ICARCV
2008
IEEE
193views Robotics» more  ICARCV 2008»
14 years 3 months ago
Analysis of discrete and hybrid stochastic systems by nonlinear contraction theory
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
Quang-Cuong Pham
HYBRID
2009
Springer
14 years 1 months ago
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach
This paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse c...
Wei Zhang, Alessandro Abate, Jianghai Hu
TPHOL
2008
IEEE
14 years 3 months ago
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
Sayan Mitra, K. Mani Chandy
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
13 years 3 months ago
Stability analysis of networked control systems: A sum of squares approach
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...
Nicolas William Bauer, Paul J. H. Maas, W. P. M. H...