Optimal control of mixed logical dynamical systems with Linear Temporal Logic specifications

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2008, Pages 2117-2122

  Karaman, Sertac ^a   Sanfelice, Ricardo G ^a   Frazzoli, Emilio ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DISCRETE TIME CONTROL SYSTEMS; FORMAL SPECIFICATION; INTEGER PROGRAMMING; LINEAR SYSTEMS; MODEL CHECKING; QUADRATIC PROGRAMMING; TEMPORAL LOGIC;

DISCRETE TIME LINEAR SYSTEMS; DISCRETE-TIME DYNAMICAL SYSTEMS; DYNAMICAL CONTROL SYSTEMS; LINEAR TEMPORAL LOGIC; LINEAR TEMPORAL LOGIC SPECIFICATIONS; MIXED INTEGER QUADRATIC PROGRAMMING; MIXED LOGICAL DYNAMICAL SYSTEMS; MIXED-INTEGER LINEAR PROGRAMMING;

DYNAMICAL SYSTEMS;

EID: 62949150403     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2008.4739370     Document Type: Conference Paper

References (17)

1. CPLEX User's Manual. ILOG, 2003.
2. A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35:407-427, 1999.
3. C.E. Blair, R.G. Jeroslow, and J.K. Lowe. Some results and experiments in programming techniques for propositional logic. Computers and Operations Research, 13(5):633-645, 1986.
4. E.M. Clarke, O. Grumberg, and D.A. Pled. Model Checking. MIT Press, Cambridge, MA, 1999.
5. G.J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
6. J.N. Hooker and C. Fedjki. Branch-and-cut solution of inference problems in propositional logic. Annals of Mathematics and Aritificial Intelligence, 1:123-139, 1990.
7. S. Karaman and E. Frazzoli. Complex mission optimization using linear temporal logic. In American Control Conference, 2008.
8. S. Karaman and E. Frazzoli. Vehicle routing using linear temporal logic: Applications to multi-UAV mission planning. In AIAA Conference on Guidance Navigation and Control, 2008.
9. M. Kloetzer and C. Belta. A fully automated framework for control of linear systems from temporal logic specifications. IEEE Transactions on Automatic Control, 53(1):287-297, 2007.
10. M. Kloetzer and C. Belta. Temporal logic planning and control of robotic swarms by hierachical abstractions. IEEE Transactions on Automatic Control, 23(2):320-331, 2007.
11. Y.M. Kwon and G. Agha. Ltlc: Linear temporal logic for control. In to appear in Hybrid Systems: Computation and Control, 2008.
12. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.
13. A. Pnueli. The temporal logic of programs. In 18th annual IEEE-CS Symposium on Foundations of Computer Science, pages 46-57, 1977.
14. A. Schrijver. Theory of Linear and Integer Programming. John Wiley and Sons, 1986.
15. P. Tabuada and G.J. Pappas. Hybrid Systems: Computation and Control, volume 2623/2003 of Lecture Notes in Computer Science, chapter Model checking LTL over controllable linear systems is decidable, pages 498-513. Springer, 2003.
16. P. Tabuada and G.J. Pappas. Linear time logic control of discretetime linear systems. IEEE Transactions on Automatic Control, 51(12):1862-1877, 2006.
17. M.L. Tyler and M. Morari. Propositional logic in control and monitoring problems. Automatica, 35:565-582, 1999.