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

References

References

• 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 .
   Web of Science ®Google Scholar
• Aubin J-P 1991 Viability Theory Boston Birkhäuser
   Google Scholar
• Aubin J-P Frankowska H 1990 Set Valued Analysis Boston Birkhäuser
   Google Scholar
• Aubin , J-P , Lygeros , J , Quincampoix , M , Sastry , SS and Seube , N . 2002 . Impulse differential inclusions: A viability approach to hybrid systems. . IEEE Transactions on Automatic Control , 47 : 2 – 20 .
   Web of Science ®Google Scholar
• Axelsson H Muhammad A Egerstedt M 2003 Autonomous formation switching for multiple mobile robots In IFAC Conference on Analysis and Design of Hybrid Systems ADHS03 147 152 Saint Malo France June 16–18
   Google Scholar
• Bemporad , A , Morari , M , Dua , V and Pistikopoulos , EN . 2002 . The explicit linear quadratic regulator for constrained systems. . Automatica , 38 : 3 – 20 .
   Web of Science ®Google Scholar
• Bitsoris , G and Gravalou , E . 1995 . Comparison principle, positive invariance and constrained regulation of nonlinear systems. . Automatica , 31 : 217 – 222 .
   Web of Science ®Google Scholar
• Blanchini , F . 1999 . Set invariance in control. . Automatica , 35 : 1747 – 1767 .
   Web of Science ®Google Scholar
• Branicky , MS . 1998 . Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. . IEEE Transactions on Automatic Control , 43 : 475 – 482 .
   Web of Science ®Google Scholar
• Cardaliaguet P 1993 Domaines Discriminants et Jeux Différentiels PhD thesis Université Paris IX Dauphine
   Google Scholar
• Cardaliaguet , P . 1996 . A differential game with two players and one target. . SIAM Journal on Control and Optimization , 34 : 1441 – 1460 .
   Web of Science ®Google Scholar
• 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 .
   Web of Science ®Google Scholar
• Cardaliaguet , P , Quincampoix , M and Saint-Pierre , P . 2001 . Pursuit differential games with state constraints. . SIAM Journal on Control and Optimization , 39 : 1615 – 1632 .
   Web of Science ®Google Scholar
• Castelan , EB and Hennet , JC . 1993 . On invariant polyhedra of continuous-time linear system. . IEEE Transactions on Automatic Control , 38 : 1680 – 1685 .
   Web of Science ®Google Scholar
• Clarke FH Ledyaev Yu. S Stern RJ Wolenski PR 1998 Nonsmooth Analysis and Control Theory New York Springer Verlag
   Google Scholar
• Corless , M and Leitmann , G . 1981 . Continuous state feedback guaranteeing uniform ultimate boundedness for uncertain dynamic systems. . IEEE Transactions on Automatic Control , 25
   Google Scholar
• Crück , E . 2002 . Target problems under state constraints for nonlinear controlled impulsive systems. . Journal of Mathematical Analysis and Applications , 270 : 636 – 656 .
   Web of Science ®Google Scholar
• 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 .
   Web of Science ®Google Scholar
• Filippov AF 1988 Differential Equations with Discontinuous Right-hand Sides, Kluwer Academic Publishers
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• Gao Y Lygeros J Quincampoix M 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 203 215 Springer Verlag
   Google Scholar
• Gao Y Lygeros J Quincampoix M 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
   Google Scholar
• Gilbert , EG and Tan , KT . 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 .
   Web of Science ®Google Scholar
• Gutman , S . 1979 . A Lyapunov min-max approach. . IEEE Transactions on Automatic Control , 24 : 437 – 443 .
   Web of Science ®Google Scholar
• Hsu , A , Eskafi , F , Sachs , S and Varaiya , P . 1994 . Protocol design for an automated highway system. . Discrete Event Dynamic Systems , 2 : 183 – 206 .
   Google Scholar
• Hu , B , Xu , X , Michel , AN and Antsaklis , PJ . 1999 . Robust stabilizing control laws for a class of second order switched systems. . Systems and Control Letters , 38 : 197 – 207 .
   Web of Science ®Google Scholar
• Johansson , KH , Egerstedt , M , Lygeros , J and Sastry , SS . 1999 . On the regularization of Zeno hybrid automata. . Systems and Control Letters , 38 : 141 – 150 .
   Web of Science ®Google Scholar
• Johansson , M and Rantzer , A . 1998 . Computation of piecewise quadratic Lyapunov functions for hybrid systems. . IEEE Transactions on Automatic Control , 43 : 555 – 559 .
   Web of Science ®Google Scholar
• Kerrigan EC 2000 Robust constraint satisfaction: invariant sets and predictive control PhD thesis Department of Engineering, University of Cambridge
   Google Scholar
• Kokotovic PK Freeman RA 1996 Robust Nonlinear Control Design Basel Birkhauser
   Google Scholar
• Krasovskii NN Subottin AI 1988 Game Theoretical Control Problems New York Springer-Verlag
   Google Scholar
• Lakshmikantham V Leela S Martynyuk AA 1990 Practical Stability of Nonlinear Systems, World Scientific
   Google Scholar
• Lee , YI and Kouvaritakis , B . 2000 . A linear programming approach to constrained robust predictive control. . IEEE Transactions on Automatic Control , 45 : 1765 – 1770 .
   Web of Science ®Google Scholar
• Liberzon , D , Hespanha , JP and Morse , AS . 1999 . Stability of switched systems: A Lie algebraic approach. . Systems and Control Letters , 37 : 117 – 122 .
   Web of Science ®Google Scholar
• Liberzon , D and Morse , AS . 1999 . Basic problems in stability and design of switched systems. . IEEE Control Systems Magazine , 19 : 59 – 70 .
   Web of Science ®Google Scholar
• Lygeros , J , Godbole , DN and Sastry , SS . 1998 . Verified hybrid controllers for automated vehicles. . IEEE Transactions on Automatic Control , 43 : 522 – 539 .
   Web of Science ®Google Scholar
• Lygeros , J , Johansson , KH , Simić , SN , Zhang , J and Sastry , SS . 2003 . Dynamical properties of hybrid automata. . IEEE Transactions on Automatic Control , 48 : 2 – 17 .
   Web of Science ®Google Scholar
• Lygeros J 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
   Google Scholar
• Lynch N Segala R Vaandrager F Weinberg HB 1996 Hybrid I/O automata. In Hybrid Systems III number 1066 in LNCS 496 510 Springer Verlag
   Google Scholar
• Maciejowski JM 2002 Predictive Control with Constraints, Prentice Hall
   Google Scholar
• Mayne , D . 2001 . Control of constrained dynamic systems. . European Journal of Control , 7 : 87 – 99 .
   Web of Science ®Google Scholar
• Mayne , D , Rawlings , JB , Rao , CV and Scokaert , POM . 2000 . Constrained model predictive control: Stability and optimality. . Automatica , 36 : 789 – 814 .
   Web of Science ®Google Scholar
• Michel , AN and Hu , B . 1999 . Towards a stability theory for hybrid dynamical systems. . Automatica , 35 : 371 – 384 .
   Web of Science ®Google Scholar
• Morse AS 1995 Control using logic based switching. In A. Isidori (Ed.) Trends in Control 69 114 Springer Verlag
   Google Scholar
• Quincampoix , M and Seube , N . 1998 . Stabilization of uncertain control systems through piecewise constant feedback. . Journal of Mathematical Analysis and Applications , 218 : 240 – 255 .
   Web of Science ®Google Scholar
• Savkin , AV , Skafidas , E and Evans , RJ . 1999 . Robust output feedback stabilizability via controller switching. . Automatica , 35 : 69 – 74 .
   Web of Science ®Google Scholar
• Tomlin , C , Mitchell , I and Ghosh , R . 2001 . Safety verification of conflict resolution manoeuvres. . IEEE Transactions on Intelligent Transportation Systems , 2 : 110 – 120 .
   Web of Science ®Google Scholar
• Tomlin , CJ , Lygeros , J and Sastry , SS . 2000 . A game theoretic approach to controller design for hybrid systems. . Proceedings of the IEEE , 88 : 949 – 969 .
   Web of Science ®Google Scholar
• Tomlin CJ Mitchell I Bayen A Oishi M (to appear) Computational techniques for the verification and control of hybrid systems. Proceedings of the IEEE
   Google Scholar
• Tomlin , CJ , Pappas , GJ and Sastry , SS . 1998 . Conflict resolution for air traffic management: a case study in multi-agent hybrid systems. . IEEE Transactions on Automatic Control , 43 : 509 – 521 .
   Web of Science ®Google Scholar
• 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 .
   Web of Science ®Google Scholar
• Xu , X and Antsaklis , PJ . 2000 . Stabilization of second order LTI switched systems. . International Journal of Control , 73 : 1261 – 1279 .
   Web of Science ®Google Scholar
• Xu X 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 615 630
   Google Scholar
• Ye , H , Michel , A and Hou , L . 1998 . Stability theory for hybrid dynamical systems. . IEEE Transactions on Automatic Control , 43 : 461 – 474 .
   Web of Science ®Google Scholar
• Zhang , J , Johansson , KH , Lygeros , J and Sastry , SS . 2001 . Zeno hybrid systems. . International Journal of Robust and Nonlinear Control , 11 : 435 – 451 .
   Web of Science ®Google Scholar