Introduction to Hybrid Dynamical Systems
Introduction to Hybrid Dynamical Systems
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Reachability Analysis via Face Lifting
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Level Set Methods for Computation in Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
The d/dt Tool for Verification of Hybrid Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Lyapunov conditions for input-to-state stability of impulsive systems
Automatica (Journal of IFAC)
Reachability Analysis of Hybrid Systems Using Support Functions
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Stabilization of Markovian jump linear systems with limited information: a convex approach
ACC'09 Proceedings of the 2009 conference on American Control Conference
Efficient representation and computation of reachable sets for hybrid systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Brief paper: Stabilization of Markov jump linear systems using quantized state feedback
Automatica (Journal of IFAC)
Proceedings of the 14th international conference on Hybrid systems: computation and control
SpaceEx: scalable verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Reachability of uncertain linear systems using zonotopes
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Stabilization of nonholonomic integrators via logic-based switching
Automatica (Journal of IFAC)
Input-to-state stability for discrete-time nonlinear systems
Automatica (Journal of IFAC)
Timed relational abstractions for sampled data control systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Limited-information control of hybrid systems via reachable set propagation
Proceedings of the 16th international conference on Hybrid systems: computation and control
| Hi-index | 22.14 |
We study the problem of asymptotically stabilizing a switched linear control system using sampled and quantized measurements of its state. The switching is assumed to be slow enough in the sense of combined dwell time and average dwell time, each individual mode is assumed to be stabilizable, and the available data rate is assumed to be large enough but finite. Our encoding and control strategy is rooted in the one proposed in our earlier work on non-switched systems, and in particular the data-rate bound used here is the data-rate bound from that earlier work maximized over the individual modes. The main technical step that enables the extension to switched systems concerns propagating over-approximations of reachable sets through sampling intervals, during which the switching signal is not known; a novel algorithm is developed for this purpose. Our primary focus is on systems with time-dependent switching (switched systems) but the setting of state-dependent switching (hybrid systems) is also discussed.