Temporal logic control of discrete-time piecewise affine systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2009, Pages 3182-3187

  Yordanov, Boyan ^a   Belta, Calin ^a  

^a Boston University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CLOSED LOOP SYSTEMS; COMPUTER CIRCUITS; SPECIFICATIONS; TEMPORAL LOGIC;

COMPUTATIONAL FRAMEWORK; DISCRETE TIME; FEEDBACK CONTROL STRATEGIES; INITIAL STATE; LINEAR TEMPORAL LOGIC; PIECEWISE AFFINE SYSTEMS; TRANSITION SYSTEM;

DISCRETE TIME CONTROL SYSTEMS;

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

References (24)

1. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proceedings of the IEEE, vol.88, pp. 971-984, 2000.
2. M. Antoniotti, F. Park, A. Policriti, N. Ugel, and B. Mishra, "Foundations of a query and simulation system for the modeling of biochemical and biological processes," ser. Proceedings of the Pacific Symposium on Biocomputing, R. Altman, A. Dunker, L. Hunter, and T. Klein, Eds., 2003, pp. 116-127.
3. G. Batt, C. Belta, and R. Weiss, "Temporal logic analysis of gene networks under parameter uncertainty," IEEE Trans. on Circuits and Systems and IEEE Trans. on Automatic Control, joint special issue on Systems Biology, vol.53, pp. 215-229, 2008.
4. 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 Escherichia coli," Bioinformatics, vol. 21, no. Suppl.1, pp. i19-i28, 2005.
5. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella, "NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking," in Proc. International Conference on Computer-Aided Verification (CAV 2002), ser. LNCS, vol.2404. Copenhagen, Denmark: Springer, July 2002.
6. E. M. Clarke, D. Peled, and O. Grumberg, Model checking. MIT Press, 1999.
7. J. Davoren, V. Coulthard, N. Markey, and T. Moor, "Non-deterministic temporal logics for general flow systems," in HSCC: 7th International Workshop, 2004, pp. 280-295.
8. G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas, "Hybrid controllers for path planning: a temporal logic approach," in Proceedings of the 2005 IEEE Conference on Decision and Control, 2005.
9. G. Frehse, S. K. Jha, and B. Krogh, "A counter-example giuded approach to parameter synthesis for linear hybrid automata," in Hybrid Systems: Computation and Control: 11th International Workshop, ser. Lecture Notes in Computer Science, M. Egerstedt and B. Mishra, Eds. Springer Berlin / Heidelberg, 2008, pp. 187-200.
10. P. Gastin and D. Oddoux, "LTL with past and two-way very-weak alternating automata," in Proceedings of MFCS'03, B. Rovan and P. Vojtáš, Eds., vol.2747. Springer, 2003, pp. 439-448.
11. W. P. M. H. Heemels, B. D. Schutter, and A. Bemporad, "Equivalence of hybrid dynamical models," Automatica, vol.37, no.7, pp. 1085-1091, 2001.
12. A. L. Juloski,W. Heemels, G. Ferrari-Trecate, R. Vidal, S. Paoletti, and J. Niessen, "Comparison of four procedures for the identification of hybrid systems," Lecture Notes in Computer Science, vol.3414/2005, pp. 354-369, 1993.
13. S. Karaman, R. G. Sanfelice, and E. Frazzoli, "Optimal control of mixed logical dynamical systems with linear temporal logic specifications," in Proceedings of the 47th IEEE Conference on Decision and Control, 2008, pp. 2117-2122.
14. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from temporal logic specifications," IEEE Transactions on Automatic Control, vol.53, no.1, pp. 287-297, 2008.
15. H. Kress-Gazit, D. Conner, H. Choset, A. Rizzi, and G. Pappas, "Courteous cars," IEEE Robotics and Automation Magazine, vol.15, pp. 30-38, March 2008.
16. M. Kvasnica, P. Grieder, and M. Baotić, "Multi-Parametric Toolbox (MPT)," 2004. [Online]. Available: http://control.ee.ethz.ch/~mpt/
17. S. G. Loizou and K. J. Kyriakopoulos, "Automatic synthesis of multiagent motion tasks based on LTL specifications," in 43rd IEEE Conference on Decision and Control, 2004.
18. M.Kloetzer and C. Belta, "Dealing with non-determinism in symbolic control," in Hybrid Systems: Computation and Control: 11th International Workshop, ser. Lecture Notes in Computer Science, M. Egerstedt and B. Mishra, Eds. Springer Berlin / Heidelberg, 2008, pp. 287-300.
19. T. Motzkin, H.Raiffa, G. Thompson, and R.M.Thrall, "The double description method," in Contributions to Theory of Games, H. Kuhn and A. Tucker, Eds. Princeton University Press, 1953, vol.2.
20. G. J. Pappas, "Bisimilar linear systems," Automatica, vol.39, no.12, pp. 2035-2047, 2003.
21. R. Sebastiani and S. Tonetta, ""more deterministic" vs. "smaller" buchi automata for efficient ltl model checking," in Correct Hardware Design and Verification Methods, ser. Lecture Notes in Computer Science, G. Goos, J. Hartmanis, , and J. van Leeuwen, Eds., vol.2860. Springer, 2003, pp. 126-140.
22. P. Tabuada and G. Pappas, "Linear time logic control of discrete-time linear systems," IEEE Transactions on Automatic Control, vol.51, no.12, pp. 1862-1877, 2006.
23. B. Yordanov and C. Belta, "Parameter synthesis for piecewise affine systems from temporal logic specifications," in Hybrid Systems: Computation and Control: 11th International Workshop, ser. Lecture Notes in Computer Science, M. Egerstedt and B. Mishra, Eds. Springer Berlin / Heidelberg, 2008, pp. 542-555.
24. B. Yordanov, C. Belta, and G. Batt, "Model checking discrete time piesewise affine systems: application to gene networks," in European Control Conference, Kos, Greece, 2007.