Computation of an over-approximation of the backward reachable set using subsystem level set functions (original) (raw)
Related papers
2000
arXiv (Cornell University), 2022
Hybrid Control Synthesis for Eventuality Specifications Using Level Set Methods
International Journal of Control, 2004
Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems
2020 59th IEEE Conference on Decision and Control (CDC), 2020
Aircraft Autolander Safety Analysis Through Optimal Control-Based Reach Set Computation
Journal of Guidance, Control, and Dynamics, 2007
Algorithms for Computing Reachable Sets and Control Sets
IFAC Proceedings Volumes, 2001
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
2003
Approximate Computation of Reach Sets in Hybrid Systems
Eprint Arxiv Cs 0202006, 2002
Nonlinear Systems: Approximating Reach Sets
2004
The method of uniform monotonous approximation of the reachable set border for a controllable system
Journal of Global Optimization, 2015
On Estimates of Reachable Sets of Multidimensional Control Systems
Proceedings of the 18th IFAC World Congress, 2011
Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems
IEEE Control Systems Letters
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Recent progress in continuous and hybrid reachability analysis
2006
Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings
Reachability of Nonlinear Systems With Unknown Dynamics
IEEE Transactions on Automatic Control
Reachability-based abstraction for an aircraft landing under shared control
2008
Mathematics in Computer Science, 2014
Sensitivity Analysis for Linear Systems based on Reachability Sets
2019 IEEE 58th Conference on Decision and Control (CDC)
Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017
Differential Games Based on Invariant Sets Generation
2022 American Control Conference (ACC)
Geometric programming relaxations for linear system reachability
2004
Under-Approximating Reach-Avoid Sets for Space Vehicle Maneuvering in the Presence of Debris
IFAC-PapersOnLine, 2018
A Computatuional Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems
1996
Transient stability analysis by reachable set computation
2012 3rd IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe), 2012
Data-Driven Reachability Analysis with Christoffel Functions
2021 60th IEEE Conference on Decision and Control (CDC), 2021
A Computational Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems
1997
Set-Membership Computation of Admissible Controls for Trajectory Tracking ∗
2017
Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties
IEEE Transactions on Automatic Control, 2019