scientific article; zbMATH DE number 1956651
From MaRDI portal
Publication:4418865
Recommendations
- Approximating reachable sets for a class of linear control systems†
- Reachability in Linear Dynamical Systems
- ESTIMATES OF REACHABLE SETS FOR LINEAR SYSTEMS
- Approximating Reachable Sets for n-dimensional Linear Discrete Systems
- Lyapunov approximation of reachable sets for uncertain linear systems
- Reachability properties of constrained linear systems
- Forward inner-approximated reachability of non-linear continuous systems
- A numerical method for the approximation of reachable sets of linear control systems
- Discrete approximations to reachability cones of linear differential systems
- Hybrid Systems: Computation and Control
Cited in
(33)- Tightened reachability constraints for the verification of linear hybrid systems
- Differential dynamic logic for hybrid systems
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Safe over- and under-approximation of reachable sets for autonomous dynamical systems
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Variation of the size of reachable region of second-order linear system
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
- Pegasus: sound continuous invariant generation
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Some decidability results on one-pass reductions
- Abstractions for hybrid systems
- Constructing invariants for hybrid systems
- Hybrid abstractions of affine systems
- Reachability analysis of non-linear planar autonomous systems
- A dynamic algorithm for approximate flow computations
- Reachability analysis of rational eigenvalue linear systems
- Verification of Hybrid Systems
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- Asymptotic orders of reachability in perturbed linear systems
- Using redundant constraints for refinement
- THE LIMITS OF APPLICABILITY OF THE LINEARIZATION METHOD IN CALCULATING SMALL–TIME REACHABLE SETS
- Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
- Construction of parametric barrier functions for dynamical systems using interval analysis
- Inner and outer reachability for the verification of control systems
- Hybrid Systems: Computation and Control
- Enhancing approximations for regular reachability analysis
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
- Pegasus: a framework for sound continuous invariant generation
- Reachability of time-varying fractional dynamical systems with Riemann-Liouville fractional derivative
- Synthesizing invariant barrier certificates via difference-of-convex programming
- Exact safety verification of hybrid systems using sums-of-squares representation
- Reachability analysis of linear systems using support functions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4418865)
