What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
&egr;-approximation of differential inclusions
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Straightening out rectangular differential inclusions
Systems & Control Letters
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Decidability of Hybrid Systems with Rectangular Differential Inclusion
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Level Set Methods for Computation in Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
On the Decidability of the Reachability Problem for Planar Differential Inclusions
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Mode Switching Synthesis for Reachability Specifications
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Control of a Truck and Trailer Vehicle
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Reachability Analysis of Hybrid Systems via Predicate Abstraction
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
SPeeDI - A Verification Tool for Polygonal Hybrid Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
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
Trajectory Based Verification Using Local Finite-Time Invariance
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
HSCC '09 Proceedings of the 12th International Conference 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
Computing Reachable States for Nonlinear Biological Models
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Combining control and data abstraction in the verification of hybrid systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - Special section on the ACM IEEE international conference on formal methods and models for codesign (MEMOCODE) 2009
Using redundant constraints for refinement
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Computing reachable states for nonlinear biological models
Theoretical Computer Science
A dynamic algorithm for approximate flow computations
Proceedings of the 14th international conference on Hybrid systems: computation and control
Relational abstractions for continuous and hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Formal verification of hybrid systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Approximate reachability computation for polynomial systems
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
Hybrid system reachability-based analysis of dynamical agents
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Reachability of uncertain linear systems using zonotopes
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Primal–dual tests for safety and reachability
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
Computing the viability kernel using maximal reachable sets
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Robustness of trajectories with finite time extent
Automatica (Journal of IFAC)
On reachability and minimum cost optimal control
Automatica (Journal of IFAC)
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
Timed relational abstractions for sampled data control systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
Proceedings of the 16th international conference on Hybrid systems: computation and control
Reachability Analysis of Linear Systems with Stepwise Constant Inputs
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.01 |
This report describes the calculation of the reach sets and tubes for linear control systems with time-varying coefficients and hard bounds on the controls through tight external and internal ellipsoidal approximations. These approximating tubes touch the reach tubes from outside and inside respectively at every point of their boundary so that the surface of the reach tube is totally covered by curves that belong to the approximating tubes. The proposed approximation scheme induces a very small computational burden compared with other methods of reach set calculation. In particular such approximations may be expressed through ordinary differential equations with coefficients given in explicit analytical form. This yields exact parametric representation of reach tubes through families of external and internal ellipsoidal tubes. The proposed techniques, combined with calculation of external and internal approximations for intersections of ellipsoids, provide an approach to reachability problems for hybrid systems.