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.
KeywordsHybrid System Tolerance Interval Hybrid Dynamical System State Transition Function Reachability Property
Unable to display preview. Download preview PDF.
- 1.P. Antsaklis, J. Stiver, and M. Lemmon. Hybrid system modeling and autonomous control systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, eds., Hybrid Systems, Vol. 736, LNCS, 366–392. Springer-Verlag, 1993.Google Scholar
- 4.R. Fehnker. Automotive control revised-linear inequalities as approximations of reachable sets. In T. Henzinger and S. Sastry, eds., HSCC 98: Hybrid Systems—Computation and Control, Vol. 1386, LNCS, 110–125. Springer-Verlag, 1998.Google Scholar
- 6.X. Koutsoukos and P. Antsaklis. Design of hybrid system regulators. In Proceedings of the 38th IEEE Conference on Decision and Control, 3990–3995, Phoenix, AZ, Dec. 1999.Google Scholar
- 7.X. Koutsoukos and P. Antsaklis. Hybrid control of a robotic manufacturing system. In Proceedings of the 7th IEEE Mediterranean Confereence on Control and Automation, 144–159, Haifa, Israel, June 1999.Google Scholar
- 8.G. Lafferriere, G. Pappas, and S. Sastry. Reachability analysis of hybrid systems using bisimulations. In Proceedings of the 37th IEEE Conference on Decision and Control, 1623–1628, Tampa, FL, 1998.Google Scholar
- 10.M. Sain. Introduction to Algebraic System Theory. Academic Press, 1981.Google Scholar
- 13.E. Sontag. Interconnected automata and linear systems: A theoretical framework in discrete-time. In R. Alur, T. Henzinger, and E. Sontag, eds., Hybrid Systems III, Verification and Control, Vol. 1066, LNCS, 436–448. Springer-Verlag, 1996.Google Scholar