On the control of uncertain impulsive systems: Approximate stabilization and controlled invariance

International Journal of Control

Volumn 77, Issue 16, 2004, Pages 1393-1407

  Yan, Gao ^a   Lygeros, John ^b   Quincampoix, Marc ^c   Seube, Nicolas ^d  

^a UNIVERSITY OF SHANGHAI FOR SCIENCE AND TECHNOLOGY   (China)

^b UNIVERSITY OF PATRAS   (Greece)

^c UNIVERSITÉ DE BRETAGNE OCCIDENTALE   (France)

^d ENSIETA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; CLOSED LOOP CONTROL SYSTEMS; FEEDBACK CONTROL; FUNCTIONS; LYAPUNOV METHODS; MATRIX ALGEBRA; PROBLEM SOLVING; SET THEORY; THEOREM PROVING;

HYBRID SYSTEMS; NON-SMOOTH ANALYSIS; VIABILITY THEORY TECHNIQUES;

CONTROL SYSTEM ANALYSIS;

EID: 9744245004     PISSN: 00207179     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207170412331317431     Document Type: Article

References (55)

1. ASARINS, E., BOURNEZ, O., DANG, T., MALER, O., and PNUELI, A., 2000, Effective synthesis of switching controllers for linear systems. Proceedings of the IEEE, 88, 1011-1025.
2. AUBIN, J.-P., 1991, Viability Theory (Boston: Birkhäuser).
3. AUBIN, J.-P., and FRANKOWSKA, H., 1990, Set Valued Analysis (Boston: Birkhäuser).
4. AUBIN, J.-P., LYGEROS, J., QUINCAMPOIX, M., SASTRY, S. S., and SEUBE, N., 2002, Impulse differential inclusions: A viability approach to hybrid systems. IEEE Transactions on Automatic Control, 47, 2-20.
5. AXELSSON, H., MUHAMMAD, A., and EGERSTEDT, M., 2003, Autonomous formation switching for multiple mobile robots. In IFAC Conference on Analysis and Design of Hybrid Systems ADHS03, pp. 147-152. Saint Malo, France, June 16-18.
6. BEMPORAD, A., MORARI, M., DUA, V., and PISTIKOPOULOS, E. N., 2002, The explicit linear quadratic regulator for constrained systems. Automatica, 38, 3-20.
7. BITSORIS, G., and GRAVALOU, E., 1995, Comparison principle, positive invariance and constrained regulation of nonlinear systems. Automatica, 31, 217-222.
8. BLANCHINI, F., 1999, Set invariance in control. Automatica, 35, 1747-1767.
9. BRANICKY, M. S., 1998, Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control, 43, 475-482.
10. CARDALIAGUET, P., 1993, Domaines Discriminants et Jeux Différentiels. PhD thesis, Université Paris IX Dauphine.
11. CARDALIAGUET, P., 1996, A differential game with two players and one target. SIAM Journal on Control and Optimization, 34, 1441-1460.
12. CARDALIAGUET, P., 1997, Nonsmooth semi-permeable barriers, isaacs equation and application to a differential game with one target and two players. Applied Mathematics and Optimization, 36, 125-146.
13. CARDALIAGUET, P., QUINCAMPOIX, M., and SAINT-PIERRE, P. 2001, Pursuit differential games with state constraints. SIAM Journal on Control and Optimization, 39, 1615-1632.
14. CASTELAN, E. B., and HENNET, J. C., 1993, On invariant polyhedra of continuous-time linear system. IEEE Transactions on Automatic Control, 38, 1680-1685.
15. CLARKE, F. H., LEDYAEV, Yu. S., STERN, R. J., and WOLENSKI, P. R., 1998, Nonsmooth Analysis and Control Theory (New York: Springer Verlag).
16. CORLESS, M., and LEITMANN, G., 1981, Continuous state feedback guaranteeing uniform ultimate boundedness for uncertain dynamic systems. IEEE Transactions on Automatic Control, 25.
17. Crück, E., 2002, Target problems under state constraints for nonlinear controlled impulsive systems. Journal of Mathematical Analysis and Applications, 270, 636-656.
18. DE CARLO, R., BRANICKY, M., PETTERSSON, S., and LENNARSTON, B., 2000, Perspectives and results on the stability and stabilizability of hybrid systems. Proceedings of the IEEE, 88, 1069-1082.
19. FILIPPOV, A. F., 1988, Differential Equations with Discontinuous Right-hand Sides (kluwer Academic Publishers).
20. GABOR, G., and QUINCAMPOIX, M., 2002, On existence of solutions to differential equations or inclusions remaining in a prescribed closed subset of a finite-dimensional space. Journal of Differential Equations, 185, 483-512.
21. GAO, Y., LYGEROS, J., QUINCAMPOIX, M., and SEUBE, N., 2003a, Approximate stabilisation of uncertain hybrid systems. In O. Maler, and A. Pnueli, (Eds) Hybrid Systems: Computation and Control, number 2623 in LNCS, pp. 203-215 (Springer Verlag).
22. GAO, Y., LYGEROS, J., QUINCAMPOIX, M., and SEUBE, N., 2003b, Approximate stabilisation of uncertain hybrid systems with controllable transitions. In IEEE Conference on Decision and Control, Maui, Hawaii, USA, December 9-12.
23. GILBERT, E. G., and TAN, K. T., 1991, Linear systems with state and control constraints: The theory and application of maximal output admissible sets. IEEE Transactions on Automatic Control, 36, 1008-1019.
24. GUTMAN, S., 1979, A Lyapunov min-max approach. IEEE Transactions on Automatic Control, 24, 437-443.
25. Hsu, A., ESKAFI, F., SACHS, S., and VARAIYA, P., 1994, Protocol design for an automated highway system. Discrete Event Dynamic Systems, 2, 183-206.
26. Hu, B., Xu, X., MICHEL, A. N., and ANTSAKLIS, P. J., 1999, Robust stabilizing control laws for a class of second order switched systems. Systems and Control Letters, 38, 197-207.
27. JOHANSSON, K. H., EGERSTEDT, M., LYGEROS, J., and SASTRY, S. S., 1999, On the regularization of Zeno hybrid automata. Systems and Control Letters, 38, 141-150.
28. JOHANSSON, M., and RANTZER, A., 1998, Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Transactions on Automatic Control, 43, 555-559.
29. KERRIGAN, E. C., 2000, Robust constraint satisfaction: invariant sets and predictive control. PhD thesis, Department of Engineering, University of Cambridge.
30. KOKOTOVIC, P. K., and FREEMAN, R. A., 1996, Robust Nonlinear Control Design (Basel: Birkhauser).
31. KRASOVSKII, N. N., and SUBOTTIN, A. I., 1988, Game Theoretical Control Problems (New York: Springer-Verlag).
32. LAKSHMIKANTHAM, V., LEELA, S., and MARTYNYUK, A. A., 1990, Practical Stability of Nonlinear Systems (World Scientific).
33. LEE, Y. I., and KOUVARITAKIS, B., 2000, A linear programming approach to constrained robust predictive control. IEEE Transactions on Automatic Control, 45, 1765-1770.
34. LIBERZON, D., HESPANHA, J. P., and MORSE, A. S., 1999, Stability of switched systems: A Lie algebraic approach. Systems and Control Letters, 37, 117-122.
35. LIBERZON, D., and MORSE, A. S., 1999, Basic problems in stability and design of switched systems. IEEE Control Systems Magazine, 19, 59-70.
36. LYGEROS, J., GODBOLE, D. N., and SASTRY, S. S., 1998, Verified hybrid controllers for automated vehicles. IEEE Transactions on Automatic Control, 43, 522-539.
37. LYGEROS, J., JOHANSSON, K. H., Simic, S. N., ZHANG, J., and SASTRY. S. S., 2003, Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control, 48, 2-17.
38. LYGEROS, J., and PRANDINI, M., 2002, Aircraft and weather models for probabilistic collision avoidance in air traffic control. In IEEE Conference on Decision and Control, 2427-2432, Las Vegas, Nevada, USA, December 10-13.
39. LYNCH, N., SEGALA, R., VAANDRAGER, F., and WEINBERG, H. B., 1996, Hybrid I/O automata. In Hybrid Systems III, number 1066 in LNCS, pp. 496-510 (Springer Verlag).
40. MACIEJOWSKI, J. M., 2002, Predictive Control with Constraints (Prentice Hall).
41. MAYNE, D., 2001, Control of constrained dynamic systems. European Journal of Control, 7, 87-99.
42. MAYNE, D., RAWLINGS, J. B., RAO, C. V., and SCOKAERT, P. O. M., 2000, Constrained model predictive control: Stability and optimality. Automatica, 36, 789-814.
43. MICHEL, A. N., and HU, B., 1999, Towards a stability theory for hybrid dynamical systems. Automatica, 35, 371-384.
44. MORSE, A. S., 1995, Control using logic based switching. In A. Isidori (Ed.), Trends in Control, pp. 69-114 (Springer Verlag).
45. QUINCAMPOIX, M., and SEUBE, N., 1998, Stabilization of uncertain control systems through piecewise constant feedback. Journal of Mathematical Analvsis and Applications, 218, 240-255.
46. SAVKIN, A.V., SKAFIDAS, E., and EVANS, R. J., 1999, Robust output feedback stabilizability via controller switching. Automatica, 35, 69-74.
47. TOMLIN, C., MITCHELL, I., and GHOSH, R., 2001, Safety verification of conflict resolution manoeuvres. IEEE Transactions on Intelligent Transportation Systems, 2, 110-120.
48. TOMLIN, C. J., LYGEROS, J., and SASTRY, S. S., 2000, A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE, 88, 949-969.
49. TOMLIN, C. J., MITCHELL, I., BAYEN, A., and OISHI, M. (to appear) Computational techniques for the verification and control of hybrid systems. Proceedings of the IEEE.
50. TOMLIN, C. J., PAPPAS, G. J., and SASTRY, S. S., 1998, Conflict resolution for air traffic management: a case study in multiagent hybrid systems. IEEE Transactions on Automatic Control, 43, 509-521.
51. WICKS, M., PELETIES, P., and DE CARLO, R., 1998, Switched controller synthesis for the quadratic stabilization of a pair of unstable linear systems. European Journal of Control, 4, 140-147.
52. XU, X., and ANTSAKLIS, P. J., 2000, Stabilization of second order LTI switched systems. International Journal of Control, 73, 1261-1279.
53. XU, X., and ZHAI, G., 2004, On practical stability and stabilization of hybrid and switched systems. In R. Alur and G. J. Pappas (Eds). Hybrid Systems Computation and Control, number 2993 in LNCS (Springer Verlag), pp. 615-630.
54. YE, H., MICHEL, A., and HOU, L., 1998, Stability theory for hybrid dynamical systems. IEEE Transactions on Automatic Control, 43, 461-474.
55. ZHANG, J., JOHANSSON, K. H., LYGEROS, J., and SASTRY, S. S., 2001, Zeno hybrid systems. International Journal of Robust and Nonlinear Control, 11, 435-451.