Reachability Analysis for Solvable Dynamical Systems

DOI10.1109/TAC.2017.2763785zbMath1423.93057OpenAlexW2766658289MaRDI QIDQ4682245

Mingshuai Chen, Yangjia Li, Naijun Zhan, Bican Xia, Ting Gan

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

Mathematics Subject Classification ID

Controllability (93B05)

Related Items (8)

Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Pegasus: sound continuous invariant generation ⋮ A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems ⋮ A novel unified framework for solving reachability and invariance problems ⋮ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis ⋮ 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

This page was built for publication: Reachability Analysis for Solvable Dynamical Systems