A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System

In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuous dynamics and emphasis is placed on the nondeterministic nature of the abstracting models. The regulator problem for hybrid systems is formulated for safety specifications and algorithms for control design are presented.

[1]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[2]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

[3]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[4]  R. Saeks.  Introduction to algebraic system theory , 1983, Proceedings of the IEEE.

[5]  Panos J. Antsaklis,et al.  Hybrid System Modeling and Autonomous Control Systems , 1992, Hybrid Systems.

[6]  Alberto Bemporad,et al.  Verification of Hybrid Systems via Mathematical Programming , 1999, HSCC.

[7]  Thomas Stauner,et al.  Using HYTECH to Verify an Automative Control System , 1997, HART.

[8]  George J. Pappas,et al.  Reachability analysis of hybrid systems using bisimulations , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[9]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[10]  Ansgar Fehnker,et al.  Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets , 1998, HSCC.

[11]  Oded Maler,et al.  Hybrid and Real-Time Systems , 1997 .

[12]  Eduardo D. Sontag,et al.  Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time , 1996, Hybrid Systems.

[13]  Panos J. Antsaklis,et al.  Hybrid Control of a Robotic Manufacturing System , 1999 .

[14]  Panos J. Antsaklis,et al.  Design of hybrid system regulators , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[15]  Thomas A. Henzinger,et al.  Hybrid systems III : verification and control , 1996 .

[16]  Eduardo Sontag.  Remarks on piecewise-linear algebra , 1982, Pacific Journal of Mathematics.

[17]  Jörg Raisch,et al.  Discrete approximation and supervisory control of continuous systems , 1998, IEEE Trans. Autom. Control..

[18]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..