On the Polytope Escape Problem for Continuous Linear Dynamical Systems
DOI10.1145/3049797.3049798zbMath1369.93143arXiv1507.03166OpenAlexW3102010610MaRDI QIDQ5275313
Joël Ouaknine, Joao Sousa-Pinto, James Worrell
Publication date: 11 July 2017
Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1507.03166
Linear programming (90C05) Linear systems in control theory (93C05) Transformations (93B17) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by ordinary differential equations (93C15) Complexity and performance of numerical algorithms (65Y20)
This page was built for publication: On the Polytope Escape Problem for Continuous Linear Dynamical Systems
