On the decidability of reachability in linear time-invariant systems

DOI10.1145/3302504.3311796MaRDI QIDQ5239222zbMATH OpenOpenAlexFDO

Authors Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, J. Sousa Pinto, James Worrell

Publication date 22 October 2019

Published in Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1802.06575, http://hdl.handle.net/21.11116/0000-0005-CA04-3

zbMATH Keywords

control theorydecidabilityLTI systemsreachabilityrecurrence sequences

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Some decidable results on reachability of solvable systems
• What's decidable about discrete linear dynamical systems?
• On the complexity of bounded time reachability for piecewise affine systems
• Reachability in Linear Dynamical Systems
• Reachability in one-dimensional controlled polynomial dynamical systems

Cited in

(11)

• Quadratic maximization of reachable values of affine systems with diagonalizable matrix
• On eventual non-negativity and positivity for the weighted sum of powers of matrices
• When Is Reachability Intrinsically Decidable?
• scientific article; zbMATH DE number 123744 (Why is no real title available?)
• What's decidable about discrete linear dynamical systems?
• The computability of LQR and LQG control
• On the decidability of reachability in continuous time linear time-invariant systems
• On the Decidability of Reachability in Linear Time-Invariant Systems
• On the Skolem problem and the Skolem conjecture
• Quadratic maximization of reachable values of stable discrete-time affine systems
• On large zeros of linear recurrence sequences

This page was built for publication: On the decidability of reachability in linear time-invariant systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5239222)