Control of hybrid systems

This report focuses on the control of hybrid systems. The authors first describe specification and control of the closed loop behavior of the system in terms of propositional linear temporal logic. Control and coordination models are given in the formalism. The authors next present a continuous event model of the plant and formulate the hybrid system control problem. The report concludes with an application domain of hybrid system control theory.

[1]  A. Kurzhanski,et al.  The problem of control synthesis for uncertain systems: ellipsoidal techniques , 1991 .

[2]  Pravin Varaiya,et al.  Suspension Automata: A Decidable Class of Hybrid Automata , 1994, CAV.

[3]  Pravin Varaiya,et al.  SY-CONTROL : A TOOL FOR SYNTACTIC CONTROL IN TEMPORAL LOGIC , 1994 .

[4]  John Lygeros,et al.  Longitudinal control of the lead car of a platoon , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[5]  H. Varian.  Microeconomic analysis : answers to exercises , 1992 .

[6]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[7]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[8]  Friedrich Rosenkranz,et al.  An Introduction to Corporate Modeling , 1979 .

[9]  Pravin Varaiya,et al.  Stochastic Systems: Estimation, Identification, and Adaptive Control , 1986 .

[10]  Alberto L. Sangiovanni-Vincentelli,et al.  A Verification Strategy for Timing-Constrained Systems , 1992, CAV.

[11]  A. F. Filippov.  On Certain Questions in the Theory of Optimal Control , 1962 .

[12]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[13]  Thomas A. Henzinger,et al.  Symbolic model checking for real-time systems , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[14]  Pravin Varaiya,et al.  Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.

[15]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[16]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[17]  Zohar Manna,et al.  From Timed to Hybrid Systems , 1991, REX Workshop.

[18]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[19]  David F. Delchamps.  The 'stabilization' of linear systems with quantized feedback , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[20]  Anil Nerode,et al.  Multiple Agent Hybrid Control Architecture , 1992, Hybrid Systems.

[21]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[22]  B. Henderson,et al.  The logic of business strategy , 1984 .

[23]  David Jones,et al.  Corporate strategy , 1989, Nature.

[24]  David P. Stanford,et al.  State deadbeat response and observability in multi-modal systems , 1983 .

[25]  P. Ramadge.  On the periodicity of symbolic observations of piecewise smooth discrete-time systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.