Abstraction based solution of complex attainability problems for decomposable continuous plants

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2010, Pages 5911-5917

  Reißig, Gunther ^a  

^a UNIVERSITY OF KASSEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PERSONAL COMPUTERS;

CART-POLE SYSTEM; CONTINUOUS PLANT; DISCRETE ABSTRACTION; DISCRETE CONTROLLERS; FINITE-STATE MODELS; MODIFIED ALGORITHMS; STATE CONSTRAINTS; STATE-OF-THE-ART ALGORITHMS;

ABSTRACTING;

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

References (16)

1. G. Reißig, "Computing abstractions of nonlinear systems," 2009, submitted for publication, Sep. 29, 2009, http://arxiv.org/abs/0910.2187.
2. P. Tabuada, Verification and control of hybrid systems. Springer, 2009.
3. G. Reißig, "Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems," in HSCC'2010, San Francisco, U.S.A., Apr. 13-15, 2009, Lect. Notes Computer Science, vol. 5469, pp. 306-320, http://www.reiszig.de/gunther/pubs/i09HSCC.abs.html.
4. J. C. Willems, "Models for dynamics," in Dynamics reported, Vol. 2, Ser. Dynam. Systems Appl. Wiley, 1989, vol. 2, pp. 171-269.
5. M. Thakur and R. Tripathi, "Linear connectivity problems in directed hypergraphs," Theoret. Comput. Sci., vol. 410, no. 27-29, pp. 2592-2618, 2009.
6. T. Moor and J. Raisch, "Supervisory control of hybrid systems within a behavioural framework," Systems Control Lett., vol. 38, no. 3, pp. 157-166, 1999, hybrid control systems.
7. T. Moor, J. M. Davoren, and B. D. O. Anderson, "Robust hybrid control from a behavioural perspective," in Proc. CDC 2002, pp. 1169-1174.
8. C. M. Özveren, A. S. Willsky, and P. J. Antsaklis, "Stability and stabilizability of discrete event dynamic systems," J. Assoc. Comput. Mach., vol. 38, no. 3, pp. 730-752, 1991.
9. G. Gallo, G. Longo, S. Pallottino, and S. Nguyen, "Directed hypergraphs and applications," Discrete Appl. Math. 42, no. 2-3, pp. 177-201, 1993.
10. D. Henrion and A. Garulli, Eds., Positive polynomials in control, Lecture N. in Control and Information Sci. Springer, 2005, vol. 312.
11. J. Löfberg, "YALMIP: A toolbox for modeling and optimization in MATLAB," in Proc. CACSD 2004, Taipei, Taiwan, Sep. 2-4, 2004.
12. E. D. Sontag, Mathematical control theory, 2nd ed., Springer, 1998.
13. S. Wolfram, The Mathematica® book, 5th ed. Wolfram Media, 2003.
14. E. Clarke, A. Fehnker, Z. Han, B. Krogh, J. Ouaknine, O. Stursberg, and M. Theobald, "Abstraction and counterexample-guided refinement in model checking of hybrid systems," Internat. J. Found. Comput. Sci., vol. 14, no. 4, pp. 583-604, 2003.
15. O. Stursberg, "Supervisory control of hybrid systems based on model abstraction and guided search," Nonl. Anal. 65, pp. 1168-1187, 2006.
16. K. Schmidt, T. Moor, and S. Perk, "Nonblocking hierarchical control of decentralized discrete event systems," IEEE Trans. Automat. Control, vol. 53, no. 10, pp. 2252-2265, 2008.