Approximately bisimilar symbolic models for digital control systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7358 LNCS, Issue , 2012, Pages 362-377

  Majumdar, Rupak ^a   Zamani, Majid ^b  

^a MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT TRANSITION SYSTEMS; CONTINUOUS CONTROL; CONTROL SIGNAL; DISCRETE ABSTRACTION; DISCRETE STATE; INPUT SET; INPUT-TO-STATE STABILITY; MULTIPLE SAMPLING; ORDERS OF MAGNITUDE; PIECEWISE CONSTANT; QUANTIZED SYSTEMS; SAMPLING TIME; SYMBOLIC MODEL; TIME-OUTS;

ABSTRACTING; COMPUTER AIDED ANALYSIS; DIGITAL CONTROL SYSTEMS; HYBRID SYSTEMS; LYAPUNOV FUNCTIONS; SIGNAL SAMPLING;

DISCRETE TIME CONTROL SYSTEMS;

EID: 84864050468     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31424-7_28     Document Type: Conference Paper

References (23)

1. Control tutorial for Matlab and Simulink. Electronically available at, http://www.library.cmu.edu/ctms/ctms/
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183-235 (1994)
3. Angeli, D.: A Lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control 47(3), 410-421 (2002)
4. Angeli, D., Sontag, E.D.: Forward completeness, unboundedness observability, and their Lyapunov characterizations. Systems and Control Letters 38, 209-217 (1999)
5. Emerson, E.A., Jutla, C.S.: Tree automata, mu-calculus and determinacy. In: FOCS 1991: Foundations of Computer Science, pp. 368-377. IEEE (1991)
6. Frehse, G., Le Guernic, C., Donzé, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: Scalable Verification of Hybrid Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379-395. Springer, Heidelberg (2011)
7. Girard, A.: Reachability of Uncertain Linear Systems Using Zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 291-305. Springer, Heidelberg (2005)
8. Girard, A.: Approximately Bisimilar Finite Abstractions of Stable Linear Systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 231-244. Springer, Heidelberg (2007)
9. Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control 25(5), 782-798 (2007)
10. Girard, A., Pola, G., Tabuada, P.: Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Transactions on Automatic Control 55(1), 116-126 (2009)
11. Le Guernic, C., Girard, A.: Reachability analysis of linear systems using support functions. Nonlinear Analysis: Hybrid Systems 4(2), 250-262 (2010)
12. Henzinger, T.A.: Hybrid Automata with Finite Bisimulatioins. In: Fülöp, Z. (ed.) ICALP 1995. LNCS, vol. 944, pp. 324-335. Springer, Heidelberg (1995)
13. Kailath, T.: Linear systems. Prentice-Hall, Inc. (1980)
14. Maler, O., Pnueli, A., Sifakis, J.: On the Synthesis of Discrete Controllers for Timed Systems. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 229-242. Springer, Heidelberg (1995)
15. Milner, R.: Communication and Concurrency. Prentice-Hall, Inc. (1989)
16. Pessoa (2009), http://www.cyphylab.ee.ucla.edu/pessoa
17. Pola, G., Girard, A., Tabuada, P.: Approximately bisimilar symbolic models for nonlinear control systems. Automatica 44(10), 2508-2516 (2008)
18. Pola, G., Tabuada, P.: Symbolic models for nonlinear control systems: alternating approximate bisimulations. SIAMJournal on Control and Optimization 48(2), 719-733 (2009)
19. Sontag, E.D.: Mathematical control theory, 2nd edn. Springer (1998)
20. Tabuada, P.: Verification and Control of Hybrid Systems, A symbolic approach. Springer, US (2009)
21. Teel, A.R., Nesic, D., Kokotovic, P.V.: A note on input-to-state stability of sampled-data nonlinear systems. In: CDC 1998: Conference on Decision and Control, pp. 2473-2478. IEEE (1998)
22. Thomas, W.: On the Synthesis of Strategies in Infinite Games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 1-13. Springer, Heidelberg (1995)
23. Zamani, M., Tabuada, P.: Backstepping design for incremental stability. IEEE Transaction on Automatic Control 56(9), 2184-2189 (2011)