Authors
Paulo Tabuada, George J Pappas
Publication date
2006/12/11
Journal
IEEE Transactions on Automatic Control
Volume
51
Issue
12
Pages
1862-1877
Publisher
IEEE
Description
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
Total citations
Scholar articles
P Tabuada, GJ Pappas - IEEE Transactions on Automatic Control, 2006