Control of rectangular multi-affine hybrid systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2006, Pages 2619-2624

  Habets, L C G J M ^a   Kloetzer, M ^b   Belta, C ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b Boston University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; FEEDBACK CONTROL; LINEAR MATRIX INEQUALITIES; PROBLEM SOLVING; SPECIFICATIONS;

CONTROL STRATEGY; LINEAR INEQUALITIES; LOGIC FORMULAS;

NONLINEAR SYSTEMS;

EID: 39649088208     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2006.377081     Document Type: Conference Paper

References (19)

1. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971-984, 2000.
2. G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page, and D. Schneider. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in E.Coli. In Thirteenth International Conference on Intelligent Systems for Molecular Biology, pages 19-28, 2005.
3. C. Belta. On controlling aircraft and underwater vehicles. In IEEE International Conference on Robotics and Automation, New Orleans, LA, pages 4905-4910, 2004.
4. C. Belta, P. Finin, L.C.G.J.M. Habets, A. Halasz, M. Imielinksi, V.Kumar, and H. Rubin. Understanding the bacterial stringent response using reachability analysis of hybrid systems. In Hybrid Systems: Computation and Control, volume 2993 of Lecture Notes in Computer Science, pages 111-125. Springer-Verlag, Berlin, 2004.
5. C. Belta and L.C.G.J.M. Habets. Control of a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control, 2006. to appear.
6. E.M. Clarke, O. Grumberg, and D.A. Peled. Model checking. MIT Press, 1999.
7. J.M. Davoren, V. Coulthard, N. Markey, and T. Moor. Non-deterministic temporal logics for general flow systems. In Hybrid Systems: Computation and Control, volume 2993 of Lecture Notes in Computer Science, pages 280-295. Springer-Verlag, Berlin, 2004.
8. G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas. Hybrid controllers for path planning: a temporal logic approach. In Proceedings of the 44th IEEE Conference on Decision and Control, pages 4885-4890. Seville, Spain, 2005.
9. K. Fukuda. Frequently asked questions in polyhedral computation. Report, ETH Zürich, 2000, www.ifor.math.ethz.ch/~fukuda/polyfaq/polyfaq.html.
10. P. Gastin and D. Oddoux. Fast LTL to Büchi automata translation. In H. Comon G. Berry and A. Finkel, editors, Proceedings of the 13th Conference on Computer Aided Verification (CAV'01), volume 2102 of Lecture Notes in Computer Science, pages 53-65. Springer-Verlag, Berlin, 2001.
11. L.C.G.J.M. Habets, P.J. Collins, and J.H. van Schuppen. Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Trans. Aut Control, 51:938-948, 2006.
12. L.C.G.J.M. Habets and J.H. van Schuppen. Control to facet problems for affine systems on simplices and polytopes with applications to control of hybrid systems. In Proceedings of the 44th IEEE Conference on Decision and Control, pages 4175-4180. Seville, Spain, 2005.
13. G. Holzmann. The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts, 2004.
14. B. Jeannet. Convex polyhedra library. Technical report, Verimag, Grenoble, 1999.
15. M. Kloetzer and C. Belta. A fully automated framework for control of linear systems from LTL specifications. In Hybrid Systems: Computation and Control, volume 3927 of Lecture Notes in Computer Science, pages 333-347. Springer-Verlag, Berlin, 2006.
16. M. Kloetzer and C. Belta. Hierarchical abstractions for robotic swarms. In IEEE International Conference on Robotics and Automation, Orlando, FL, pages 952-957, 2006.
17. B. Roszak and M.E. Broucke. Necessary and sufficient conditions for reachability on a simplex. In Proceedings of the 44th IEEE Conference on Decision and Control, pages 4706-4711. Seville, Spain, 2005.
18. B. Shults and B.J. Kuipers. Proving properties of continuous systems: Qualitative simulation and temporal logic. Artificial Intelligence, 92(1-2):91-130, 1997.
19. P. Tabuada and G. Pappas. Model checking LTL over controllable linear systems is decidable. In Hybrid Systems: Computation and Control, volume 2623 of Lecture Notes in Computer Science, pages 498-513. Springer-Verlag, Berlin, 2003.