Reachability Analysis of Hybrid Systems Using Support Functions
From MaRDI portal
Recommendations
Cited in
(37)- Formal verification and quantitative metrics of MPSoC data dynamics
- Safe \& robust reachability analysis of hybrid systems
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Conservative time discretization: a comparative study
- Lie symmetries applied to interval integration
- Construction of the minimum time function for linear systems via higher-order set-valued methods
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- Computational techniques for reachability analysis of Max-Plus-Linear systems
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- Eliminating spurious transitions in reachability with support functions
- Verification of Hybrid Systems
- Rigorous simulation-based analysis of linear hybrid systems
- Counterexample-Guided Refinement of Template Polyhedra
- Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics
- Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Composing reachability analyses of hybrid systems for safety and stability
- Reachability computation for polynomial dynamical systems
- Hybrid Systems: Computation and Control
- Computing reachable states for nonlinear biological models
- A zonotopic framework for functional abstractions
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
- Revisiting polyhedral analysis for hybrid systems
- Computer-assisted proofs of nonreachability for finite-dimensional linear control systems
- Integral algebra for simulating dynamical systems with interval uncertainties
- Reachability sets of hybrid systems in the presence of successive switchings
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Reachability analysis of linear systems using support functions
This page was built for publication: Reachability Analysis of Hybrid Systems Using Support Functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636880)
