A framework for robust stability of systems over finite alphabets

IEEE Transactions on Automatic Control

Volumn 53, Issue 5, 2008, Pages 1133-1146

  Tarraf, Danielle C ^a   Megretski, Alexander ^b   Dahleh, Munther A ^b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b USA   (United States)

Author keywords

Dissipative system; Finite state machine; Incremental stability; Input output stability; Shortest path problem; Small gain theorem; Storage functions; System over finite alphabet

Indexed keywords

COMPUTER NETWORKS; DIGITAL CONTROL SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; EQUIVALENCE CLASSES; SET THEORY;

DISSIPATIVE SYSTEM; FINITE STATE MACHINE; INCREMENTAL STABILITY; INPUT/OUTPUT STABILITY; SHORTEST PATH PROBLEM; SMALL GAIN THEOREM; STORAGE FUNCTIONS; SYSTEM OVER FINITE ALPHABET;

SYSTEM STABILITY;

EID: 51749118275     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2008.923658     Document Type: Article

References (44)

1. J. P. Hespanha and A. S. Morse, "Stabilization of nonholonomic integrators via logic-based switching," Automatica, vol. 35, pp. 385-393, 1999.
2. D. Liberzon and J. P. Hespanha, "Stabilization of nonlinear systems with limited information feedback," IEEE Trans. Autom. Control, vol. 50, pp. 910-915, Jun. 2005.
3. D. Liberzon and A. S. Morse, "Basic problems in stability and design of switched systems," IEEE Control Syst. Mag., vol. 19, pp. 59-70, 1999.
4. K. Lygeros, K. H. Johansson, S. N. Simic, Z. Jun, and S. Sastry, "Dynamical properties of hybrid automata," IEEE Trans. Autom. Contr., vol. 48, no. 1, pp. 2-17, Jan. 2003.
5. N. Elia and S. K. Mitter, "Stabilization of linear systems with limited information," IEEE Trans. Autom. Control, vol. 46, no. 9, pp. 1384-1400, 2001.
6. H. Ye, A. Michel, and L. Hou, "Stability theory for hybrid dynamical systems," IEEE Trans. Autom. Control, vol. 43, pp. 461-474, Apr. 1998.
7. R. Decarlo, M. Branicky, S. Pettersson, and B. Lennarston, "Perspectives and results on the stability and stabilizability of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 1069-1082, Jul. 2000.
8. T. Henzinger, P.-H. Ho, and H. Wong-Toi, "Algorithmic analysis of nonlinear hybrid systems," IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 540-544, Apr. 1998.
9. A. Balluchi, L. Benvenuti, M. DiBenedetto, C. Pinello, and A. Sangiovanni-Vincentelli, "Automotive engine control and hybrid systems: Challenges and opportunities," Proc. IEEE, vol. 88, no.7, pp. 888-912, Jul. 2000.
10. S. Engell, S. Kowalewski, C. Schulz, and O. Stursberg, "Continuous-discrete interactions in chemical processing plants," Proc. IEEE, vol. 88, no. 7, pp. 1050-1068, Jul. 2000.
11. R. Horowitz and P. Varaiya, "Control design of an automated highway system," Proc. IEEE, vol. 88, no. 7, pp. 913-925, Jul. 2000.
12. D. Pepyne and C. Cassandras, "Optimal control of hybrid systems in manufacturing," Proc. IEEE, vol. 88, pp. 1108-1123, Jul. 2000.
13. C. Tomlin, G. J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A study in multi-agent hybrid systems," IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 509-521, Apr. 1998.
14. R. Alur, C. Belta, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schug, "Biocomputation: Modeling and analyzing biomolecular networks," Computi. Sci,. Eng., vol. 4, no. 1, pp. 20-31, 2002.
15. R. Ghosh and C. Tomlin, "Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, M. D. D. Benedetto and A. Sangiovanni-Vincentelli, Eds. Berlin, Germany: Springer-Verlag, 2001, pp. 232-246, no. 2034.
16. K. Zhou and J. C. Doyle, Essentials of Robust Control. Upper Saddle River, NJ: Prentice Hall, 1998.
17. G. E. Dullerud and F. Paganini, A Course in Robust Control Theory: A Convex Approach, ser. Texts in Applied Mathematics. New York: Springer-Verlag, 2000, no. 36.
18. A. Megretski and A. Rantzer, "System analysis via integral quadratic constraints," IEEE Trans. Autom. Control, vol. 47, no. 6, pp. 819-830, 1997.
19. G. Zames, "On the input-output stability of time-varying nonlinear feedback systems. Part I: Conditions using concepts of loop gain, conicity and positivity," IEEE Trans. Autom. Control, vol. 11, pp. 228-238, 1966.
20. V. A. Yakubovich, "The S-procedure in nonlinear control theory," Transl.: 1971, english Translation in Vestnik Leningrad Univ. Math. Vestnik Leningradskovo Universiteta, Seriya Matematika, vol. 4, no. 73-93, pp. 62-11, 1977.
21. A. Megretski and S. Treil, "Power distribution inequalities in optimization and robustness of uncertain systems," J. Math. Syst., Est., Control, vol. 3, no. 3, pp. 301-319, Mar. 1993.
22. D. Liberzon and D. Nesic, "Stability analysis of hybrid systems via small-gain theorems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, J. Hespanha and A. Tiwari, Eds. Berlin, Germany: Springer-Verlag, 2006, pp. 421-435.
23. A. Megretski, "Robustness of finite state automata," in Multidisciplinary Research in Control: The Mohammed Dahleh Symp. 2002 L. Giarre and B. Bamieh, Eds., New York, 2003, pp. 147-160.
24. D. C. Tarraf, "A Finite State Machine Framework for Robust Analysis and Control of Hybrid Systems," Ph.D. dissertation, Dep. Mech. Eng., Mass. Inst. Technol., Cambridge, MA, Jun. 2006.
25. 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 of Robotics, vol. 14, no. 1, pp. 61-71, 2007.
26. C. Belta, V. Isler, and G. Pappas, "Discrete abstractions for robot planning and control in polygonal environments," IEEE Trans. Robotics, vol. 21, no. 5, pp. 864-874, 2005.
27. A. Girard and G. J. Pappas, "Approximation metrics for discrete and continuous systems," IEEE Trans. Autom. Control, vol. 52, no. 5, pp. 782-798, May 2007.
28. A. Girard and G. Pappas, "Approximate bisimulation relations for constrained linear systems," Automatica, vol. 43, no. 8, pp. 1307-1317, Aug. 2007.
29. A. Julius, "Approximate abstraction of stochastic hybrid automata," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, J. Hespanha and A. Tiwari, Eds. Berlin, Germany: Springer-Verlag, 2006, pp. 318-332, 3927.
30. P. Tabuada, "Symbolic control of linear systems based on symbolic subsystems," IEEE Trans. Autom. Control, vol. 51, no. 6, pp. 1003-1013, Jun. 2006.
31. P. Tabuada, "Symbolic models for control systems," Acta Informatica vol. 43, pp. 477-500, 2007.
32. M. Egerstedt,, N. A. Lynch and B. H. Krogh, Eds., "Behavior based robotics using hybrid automata," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 2000, pp. 103-116, 1790.
33. J. S. Baras and M. R. James, Robust and Risk-Sensitive Output Feedback Control for Finite State Machines and Hidden Markov Models, University of Maryland, College Park, MD 20742, ISR, Tech. Res. Rep., 1994, pp. 1994-1963.
34. D. C. Tarraf, A. Megretski, and M. A. Dahleh,, A. Bemporad, A. Bicchi, and G. Buttazzo, Eds., "Finite state controllers for stabilizing switched systems with binary sensors," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, Apr. 2007, pp. 543-556, 2034,.
35. H. K. Khalil, Nonlinear Systems, 3rd ed. Upper Saddle River, NJ: Prentice Hall, 2002.
36. J. C. Willems, "Dissipative dynamical systems - Part I: General theory," Arch. Rotational Mech. Analy., vol. 45, pp. 321-351, 1972.
37. D. Angeli, "A Lyapunov approach to incremental stability properties," IEEE Trans. Autom. Control, vol. 47, no. 3, pp. 410-421, Mar. 2002.
38. ∞ control," Automatica, vol. 37, no. 10, pp. 1585-1592, 2001.
39. T. Georgiou, "Differential stability and robust control of nonlinear systems," Math. Control, Signals Syst., vol. 6, no. 4, pp. 289-306, 1993.
40. B. Ingalls and E. D. Sontag, "A small gain theorem with applications to input/output systems, incremental stability, detectability and interconnections," J. Franklin Inst., vol. 339, no. 2, pp. 211-229, 2002.
41. D. C. Tarraf, A. Megretski, and M. A. Dahleh, "Finite automata approximations with error bounds for systems with quantized actuation and measurement: A case study," in Proc. Conf. Dec. Control, Paradise Island, Bahamas, Dec. 2004, pp. 1436-1441.
42. R. Lopezlena and J. M. A. Scherpen, "Energy functions for dissipativity-based balancing of discrete-time nonlinear systems," Math. Control, Signals Syst., vol. 18, pp. 345-368, 2006.
43. D. Bertsimas and J. N. Tsitsiklis, Introduction to Linear Optimization. Belmont, Massachusetts. New York: Athena Scientific, 1997.
44. R. K. Ahuja, T. L. Magnanti, and J. B. Orlin, Network Flows: Theory, Algorithms and Applications. Englewood Cliffs, NJ: Prentice Hall, 1993.