Linear Time Logic Control of Discrete-Time Linear Systems
By Paulo Tabuada, George Pappas. IEEE Transactions on Automatic Control, 2006
326 citations recorded by the source corpus.
The control of complex systems poses new challenges that fall beyond the traditional methods of control theory. One of these challenges is given by the need to control, coordinate and synchronize the operation of several interacting submodules within a system. The desired objectives are no longer captured by usual control specifications such as stabilization or output regulation. Instead, we consider specifications given by linear temporal logic (LTL) formulas. We show that existence of controllers for discrete-time controllable linear systems and LTL specifications can be decided and that such controllers can be effectively computed. The closed-loop system is of hybrid nature, combining the original continuous dynamics with the automatically synthesized switching logic required to enforce the specification
Subfields: Computational Theory and Mathematics
View Paper: https://www.semanticscholar.org/paper/b789a1fc12a769c1427596cee9428743e21150a4
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
- Hadas Kress-Gazit
- Georgios Fainekos
- George Pappas
- Antoine Girard
- Kyoung-Dae Kim
- P. Arun Raj Kumar
- Matthias Althoff
- Rajeev Alur
Citations in the corpus
- Temporal logic motion planning for dynamic robots (2009, background): “The design of discrete time controllers for linear systems that satisfy LTL specifications is addressed in [32].”
- Cyber–Physical Systems: A Perspective at the Centennial (2012, background): “relevant to automatic controller synthesis for hybrid systems can be found in [116] on algorithmic controller synthesis through finite bisimulation to satisfy LTL specifications of discrete-time linear systems and in [117] on the synthesis of control laws for piecewise-affine hybrid systems on simpl”
- Temporal-Logic-Based Reactive Mission and Motion Planning (2009, methodology): “This paper is based on ideas presented in [7], [29], and our previous work [5], [6], and [30], such as the use of bisimulations [31], [32] to lift a continuous problem into a discrete domain while preserving important properties, as well as the use of LTL as the formalism to capture high-level tasks”