Verifying average dwell time by solving optimization problems

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

Volumn 3927 LNCS, Issue , 2006, Pages 476-490

  Mitra, Sayan ^a   Lynch, Nancy ^a   Liberzon, Daniel ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVERAGE DWELL TIME (ADT); HYBRID SYSTEM; LINEAR HYSTERESIS SWITCH; NONDETERMINISTIC THERMOSTAT;

AUTOMATION; COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL PROGRAMMING; OPTIMIZATION; PROBLEM SOLVING;

SWITCHING SYSTEMS;

EID: 33745779471     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11730637_36     Document Type: Conference Paper

References (16)

1. Branicky, M.: Multiple lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control 43 (1998) 475-482
2. Liberzon, D.: Switching in Systems and Control. Systems and Control: Foundations and Applications. Birkhauser, Boston (2003)
3. van der Schaft, A., Schumacher, H.: An Introduction to Hybrid Dynamical Systems. Springer, London (2000)
4. Morse, A.S.: Supervisory control of families of linear set-point controllers, part 1: exact matching. IEEE Transactions on Automatic Control 41 (1996) 1413-1431
5. Hespanha, J., Morse, A.: Stability of switched systems with average dwell-time. In: Proceedings of 38th IEEE Conference on Decision and Control. (1999) 2655-2660
6. Lynch, N., Segala, R., Vaandrager, F.: Hybrid I/O automata. Information and Computation 185(1) (2003) 105-157
7. Mitra, S., Liberzon, D.: Stability of hybrid automata with average dwell time: an invariant approach. In: Proceedings of the 43rd IEEE Conference on Decision and Control, Paradise Island, Bahamas (2005)
8. Hespanha, J., Liberzon, D., Morse, A.: Hysteresis-based switching algorithms for supervisory control of uncertain systems. Automatica 39 (2003) 263-272
9. Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press/McGraw-Hill (1990)
10. Livadas, C., Lygeros, J., Lynch, N.A.: High-level modeling and analysis of TCAS. In: Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS'99), Phoenix, Arizona. (1999) 115-125
11. Mitra, S., Wang, Y., Lynch, N., Feron, E.: Safety verification of model helicopter controller using hybrid Input/Output automata. In: HSCC'03, Hybrid System: Computation and Control, Prague, the Czech Republic (2003)
12. Heitmeyer, C., Lynch, N.: The generalized railroad crossing: A case study in formal verification of real-time system. In: Proceedings of the 15th IEEE Real-Time Systems Symposium, San Juan, Puerto Rico, IEEE Computer Society Press (1994)
13. Kaynar, D., Lynch, N., Segala, R., Vaandrager, F.: The theory of timed I/O automata. Technical Report MIT/LCS/TR-917a, MIT Laboratory for Computer Science (2004) Available at http://theory.lcs.mit.edu/tds/reflist.html.
14. Mitra, S., Lynch, N., Liberzon, D.: Verifying average dwell time by solving optimization problems (2005) Available from: http://theory.lcs.mit.edu/ mitras/research/hscc06-full.pdf.
15. Williams, H.: Model building in mathematical programming. J. Wiley, New York (1990) third edition.
16. Makhorin, A.: GLPK - GNU linear programming kit (2003) Available from http://www.gnu.org/directory/libs/glpk.html.