The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
The quickhull algorithm for convex hulls
ACM Transactions on Mathematical Software (TOMS)
&egr;-approximation of differential inclusions
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
How good are convex hull algorithms?
Computational Geometry: Theory and Applications
Determinant Maximization with Linear Matrix Inequality Constraints
SIAM Journal on Matrix Analysis and Applications
What's decidable about hybrid automata?
Journal of Computer and System Sciences
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Automatica (Journal of IFAC)
Hybrid systems: from verification to falsification by combining motion planning and discrete search
Formal Methods in System Design
Trajectory Based Verification Using Local Finite-Time Invariance
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
RECOMB 2'09 Proceedings of the 13th Annual International Conference on Research in Computational Molecular Biology
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Reachability Analysis of Hybrid Systems Using Support Functions
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Using redundant constraints for refinement
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Reachable set computation for uncertain time-varying linear systems
Proceedings of the 14th international conference on Hybrid systems: computation and control
Efficient bounded reachability computation for rectangular automata
RP'11 Proceedings of the 5th international conference on Reachability problems
Reachability analysis of large-scale affine systems using low-dimensional polytopes
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
Finite abstractions for hybrid systems with stable continuous dynamics
Discrete Event Dynamic Systems
Optimizing motion of robotic manipulators in interaction with human operators
ICIRA'11 Proceedings of the 4th international conference on Intelligent Robotics and Applications - Volume Part I
Avoiding geometric intersection operations in reachability analysis of hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Choice of directions for the approximation of reachable sets for hybrid systems
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Discovering invariants via simple component analysis
Journal of Symbolic Computation
Verification of Safety and Liveness Properties of Metric Transition Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Limited-information control of hybrid systems via reachable set propagation
Proceedings of the 16th international conference on Hybrid systems: computation and control
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
Proceedings of the 16th international conference on Hybrid systems: computation and control
One-shot computation of reachable sets for differential games
Proceedings of the 16th international conference on Hybrid systems: computation and control
Provably safe and robust learning-based model predictive control
Automatica (Journal of IFAC)
Finite data-rate feedback stabilization of switched and hybrid linear systems
Automatica (Journal of IFAC)
Hi-index | 0.01 |
Computing reachable sets is an essential step in most analysis and synthesis techniques for hybrid systems. The representation of these sets has a deciding impact on the computational complexity and thus the applicability of these techniques. This paper presents a new approach for approximating reachable sets using oriented rectangular hulls (ORHs), the orientations of which are determined by singular value decompositions of sample covariance matrices for sets of reachable states. The orientations keep the over-approximation of the reachable sets small in most cases with a complexity of low polynomial order with respect to the dimension of the continuous state space. We show how the use of ORHs can improve the efficiency of reachable set computation significantly for hybrid systems with nonlinear continuous dynamics.