Reachability Analysis for Solvable Dynamical Systems

DOI10.1109/TAC.2017.2763785MaRDI QIDQ4682245zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Controllability (93B05)

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
• scientific article; zbMATH DE number 3234735 (Why is no real title available?)
• Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
• A probabilistic logic for verifying continuous-time Markov chains
• Pegasus: a framework for sound continuous invariant generation
• 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)