A symbolic approach to controlling piecewise affine systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2010, Pages 4230-4235

  T̊umová, Jana ^a   Yordanov, Boyan ^b   Belta, Calin ^b   Černá, Ivana ^a   Barnat, Jiří ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

^b BOSTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ROBUST CONTROL; TEMPORAL LOGIC;

AUTOMATIC SYNTHESIS; COMPUTATIONAL FRAMEWORK; CONTROL STRATEGIES; FEEDBACK CONTROL STRATEGIES; FINITE ABSTRACTION; LINEAR TEMPORAL LOGIC; PIECEWISE AFFINE SYSTEMS; SMALL PERTURBATIONS;

CONTROL SYSTEM SYNTHESIS;

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

References (26)

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," in Proc. of PSB, 2003, pp. 116-127.
3. 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.
4. C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J. Pappas, "Symbolic planning and control of robot motion," IEEE Robot. Autom. Mag., special issue on grand challenges for robotics, vol. 14, no. 1, pp. 61-71, 2007.
5. E. M. Clarke, D. Peled, and O. Grumberg, Model checking. MIT Press, 1999.
6. J. M. Davoren, V. Coulthard, N. Markey, and T. Moor, "Non- deterministic temporal logics for general flow systems," in Proc. of HSCC, ser. LNCS, 2004, pp. 280-295.
7. E. A. Emerson, "Automata, tableaux and temporal logics (extended abstract)," in Proc. of the Conference on Logic of Programs, 1985, pp. 79-88.
8. G. Frehse, S. K. Jha, and B. H. Krogh, "A counterexample-guided approach to parameter synthesis for linear hybrid automata," in Proc. of HSCC, ser. LNCS, 2008, pp. 187-200.
9. 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.
10. F. Horn, "Streett Games on Finite Graphs," in the 2nd Workshop on Games in Design and Verification (GDV), 2005.
11. S. Jiang and R. Kumar, "Supervisory control of discrete event systems with CTL* temporal logic specifications," SIAM Journal on Control and Optimization, vol. 44, no. 6, pp. 2079-2103, 2006.
12. A. L. Juloski, W. P. M. H. Heemels, G. Ferrari-Trecate, R. Vidal, S. Paoletti, and J. H. G. Niessen, "Comparison of four procedures for the identification of hybrid systems," in Proc. of HSCC, ser. LNCS, 2005, pp. 354-369.
13. S. Karaman, R. G. Sanfelice, and E. Frazzoli, "Optimal control of mixed logical dynamical systems with linear temporal logic specifications," in Proc. of CDC, 2008, pp. 2117-2122.
14. J. Klein and C. Baier, "Experiments with deterministic ω-automata for formulas of linear temporal logic," Theoretical Computer Science, vol. 363, no. 2, pp. 182-195, 2006.
15. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from temporal logic specifications," vol. 53, no. 1, pp. 287-297, 2008.
16. 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.
17. M. Kvasnica, P. Grieder, and M. Baotić, "Multi-Parametric Toolbox (MPT)," 2004. [Online]. Available: http://control.ee.ethz.ch/mpt/
18. M.Kloetzer and C. Belta, "Dealing with non-determinism in symbolic control," in Proc. of HSCC, ser. LNCS. Springer Berlin / Heidelberg, 2008, pp. 287-300.
19. G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, no. 12, pp. 2035-2047, 2003.
20. S. Safra, "On the complexity of omega-automata," in Proc. of FOCS, 1988, pp. 319-327.
21. 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.
22. W. Thomas, "Infinite games and verification," in Proc. of CAV, 2002, pp. 58-64.
23. J. Tůmová, B. Yordanov, C. Belta, I. Černá, and J. Barnat, "A symbolic approach to controlling piecewise affine systems," Boston University, Tech. Rep. CISE 2010-IR-0014, 2010.
24. M. Y. Vardi and P. Wolper, "An automata-theoretic approach to automatic program verification," in Proc. of LICS. Washington, DC, USA: IEEE Computer Society, 1986, pp. 332-344.
25. B. Yordanov and C. Belta, "Temporal logic control of discrete-time piecewise affine systems," in Proc. of CDC, 2009.
26. B. Yordanov, C. Belta, and G. Batt, "Model checking discrete time piesewise affine systems: application to gene networks," in Proc. of ECC, 2007.