&egr;-approximation of differential inclusions
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
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
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
Proceedings of the 14th international conference on Hybrid systems: computation and control
Abstraction Refinement for Stability
ICCPS '11 Proceedings of the 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems
SpaceEx: scalable verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Model checking of hybrid systems: from reachability towards stability
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
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)
Finite data-rate feedback stabilization of switched and hybrid linear systems
Automatica (Journal of IFAC)
| Hi-index | 0.00 |
This paper deals with control of hybrid systems based on limited information about their state. Specifically, measurements being passed from the system to the controller are sampled and quantized, resulting in finite data-rate communication. The main ingredient of our solution to this control problem is a novel method for propagating over-approximations of reachable sets for hybrid systems through sampling intervals, during which the discrete mode is unknown. In addition, slow-switching conditions of the (average) dwell-time type and multiple Lyapunov functions play a central role in the analysis.