Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations
Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations
Hybrid Kernels and Capture Basins for Impulse Constrained Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Series of Abstractions for Hybrid Automata
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Verifying Safety Properties of Differential Equations
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Analysis and Design of Digital Integrated Circuits
Analysis and Design of Digital Integrated Circuits
The reachability problem for uncertain hybrid systems revisited: a viability theory perspective
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Efficient computation of reachable sets of linear time-invariant systems with inputs
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
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
Reachability analysis of multi-affine systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Non-uniqueness in reverse time of hybrid system trajectories
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Hybrid systems: from verification to falsification by combining motion planning and discrete search
Formal Methods in System Design
Falsification of LTL Safety Properties in Hybrid Systems
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Real-time trajectory generation for car-like vehicles navigating dynamic environments
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Proceedings of the 14th international conference on Hybrid systems: computation and control
Computing the viability kernel using maximal reachable sets
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
| Hi-index | 0.00 |
Using only the existence and uniqueness of trajectories for a generic dynamic system with inputs, we define and examine eight types of forward and backward reachability constructs. If the input is treated in a worst-case fashion, any forward or backward reach set or tube can be used for safety analysis, but if the input is treated in a best-case fashion only the backward reach tube always provides the correct results. Fortunately, forward and backward algorithms can be exchanged if well-posed reverse time trajectories can be defined. Unfortunately, backward reachability constructs are more likely to suffer from numerical stability issues, especially in systems with significant contraction--the very systems where forward simulation and reachability are most effective.