From Discrete Specifications to Hybrid Control

Proceedings of the IEEE Conference on Decision and Control

Volumn 4, Issue , 2003, Pages 3366-3371

  Tabuada, Paulo ^a   Pappas, George J ^b  

^a University of Notre Dame   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; CONTROL EQUIPMENT; FUNCTIONS; LINEAR SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; STABILIZATION;

HYBRID CONTROL; TEMPORAL LOGIC FORMULA;

DISCRETE TIME CONTROL SYSTEMS;

EID: 1542289179     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. A. Bemporad and M.Morari, Control of systems integrating logic, dynamics and constraints. Automation, 35(3):407-427, 1999.
2. R. W. Brockett. Hybrid models for motion control systems. In H. Trentelman and J. Willems, editors, Perspectives in control, pages 29-54. Birkhauser, Boston, 1993.
3. J.E.R. Cury, B.H. Krogh, and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems, 43(4):564-568, April 1998.
4. M. Egerstedt and R.W. Brockett. Feedback can reduce the specification complexity of motor programs. In Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, FL, December 2001.
5. E. A. Emerson and E. M. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming, 2:241-266, 1982.
6. L.C.G.J.M. Habets and J. H. van Schuppen. Control of piecewise-linear hybrid systems on simplices and rectangles. In M. D. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Sience, pages 261-274. Springer-Verlag, 2001.
7. John Lygeros, Claire Tomlin, and Shankar Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3), March 1999.
8. P. Madhusudan and P.S. Thiagarajan. Branching time controllers for discrete event systems. Theoretical Computer Science, 274:117-149, March 2002.
9. V. Manikonda, P.S. Krishnaprasad, and J. Hendler. Languages, behaviors, hybrid architectures and motion control. In J. Willems and J. Baillieul, editors, Mathematical control theory, pages 199-226. Springer-Verlag, Boston, 1998.
10. Z. Manna and P. Wolper. Synthesis of communication processes from temporal logic specifications. ACM Transactions on Programming Languages and Systems, 6:68-93, 1984.
11. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
12. T. Moor and J. M. Davoren. Robust controller synthesis for hybrid systems using modal logic. In M. D. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science. Springer-Verlag, 2001.
13. Eduardo D. Sontag. Mathematical Control Theory, volume 6 of Texts in Applied Mathematics. Springer-Verlag, New-York, 2nd edition, 1998.
14. J.A. Stiver, X.D. Koutsoukos, and P.J. Antsaklis. An invariant based approach to the design of hybrid control systems. International Journal of Robust and Nonlinear Control, 11(5):453-478, 2001.
15. Paulo Tabuada and George J. Pappas. Finite bisimulations of controllable linear systems. In Proceedings of the 42th IEEE Conference on Decision and Control. To appear.
16. Pierre Wolper. Constructing automata from temporal logic formulas: A tutorial. In E. Brinksma, H. Hermanns, and J. P. Katoen, editors, Lectures on Formal Methods and Performance Analysis, volume 2090 of Lecture Notes in Computer Science. Springer-Verlag, 2000.