Reachability Analysis for Solvable Dynamical Systems
From MaRDI portal
Publication:4682245
DOI10.1109/TAC.2017.2763785zbMATH Open1423.93057OpenAlexW2766658289MaRDI QIDQ4682245FDOQ4682245
Authors: Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan 
Publication date: 18 September 2018
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2017.2763785
Cited In (14)
- A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
- Reachability problem considering running cost
- Reachability Analysis of Nonlinear Differential-Algebraic Systems
- Pegasus: sound continuous invariant generation
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems
- A novel unified framework for solving reachability and invariance problems
- Title not available (Why is that?)
- A probabilistic logic for verifying continuous-time Markov chains
- Pegasus: a framework for sound continuous invariant generation
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Synthesizing invariant barrier certificates via difference-of-convex programming
This page was built for publication: Reachability Analysis for Solvable Dynamical Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4682245)
