Examples of stabilization with hybrid feedback

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

Volumn 1066, Issue , 1996, Pages 173-185

  Artstein, Zvi ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

CONTINUOUS CONTROL; DESIGN CHALLENGES; DISCRETE-TIME CONTROLLERS; HYBRID FEEDBACK; OUTPUT FEEDBACK;

STABILIZATION;

EID: 84958041959     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0020944     Document Type: Conference Paper

References (12)

1. Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Hybrid Systems, Grossman, R.L. et al. (eds.) (Lecture Notes in Computer Science, vol. 736) Springer-Verlag, Berlin, 1993, pp. 209-229.
2. Antsaklis, R.J., Stiver, J.A., Lemmon, M.: Hybrid system modeling and autonomous control systems. In: Hybrid Systems, Grossman, R.L. et al. (eds.) (Lecture Notes in Computer Science, vol. 736) Springer-Verlag, Berlin, 1993, pp. 366-392.
3. Bacciotti, A.: Local Stabilizability of Nonlinear Control Systems. World Scientific, Singapore, 1992.
4. Branicky, M.S.: Studies in Hybrid Systems: Modelling, Analysis, and Control. Ph.D. Thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, June 1995.
5. Guckenheimer, J.: A robust hybrid stabilization strategy for equilibria. IEEE Trans. on Automatic Control 40 (1995) 321-326.
6. Henzinger, T.H., Ho, P.-H.: Algorithmic analysis of nonlinear hybrid systems. In: Computer Aided Verification, Wolper, P. (ed.) (Lecture Notes in Computer Science, vol. 939) Springer-Verlag, Berlin, 1995, pp. 225-238.
7. Kompass, E.J.: Open the loop for stable controls. Control Engineering 42, Jan. 1995, p. 126.
8. LaSalle, J.P.: Asymptotic stability criteria. In: Proc. Symp. Appl. Math. Hydrodynamic Instability, vol. 13, Amer. Math. Soc., Providence, 1962, pp. 299-307.
9. Nerode, A., Kohn, W.: Models for hybrid systems: Automata, topologies, controllability, observability. In: Hybrid Systems, Grossman, R.L. et al. (eds.) (Lecture Notes in Computer Science, vol. 736) Springer-Verlag, Berlin, 1993, pp. 317-356.
10. Rouche, N., Habets, P., Laloy, M.: Stability Theory by Liapunov’s Direct Method. Springer-Verlag, Berlin, 1977.
11. Sontag, E.: Nonlinear regulation: The piecewise linear approach. IEEE Trans. on Automatic Control 26 (1981) 346-358.
12. Sontag, E.: Mathematical Control Theory, Springer-Verlag, New York, 1989.