Abstract
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.
The partial financial support of the National Science Foundation (ECS95-31485) and the Army Research Office (DAAG55-98-1-0199) is gratefully acknowledged.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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.
A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3):407–427, 1999.
A. Bemporad and M. Morari. Verification of hybrid systems via mathematical programming. In HSCC 99: Hybrid Systems—Computation and Control, Vol. 1569, LNCS. Springer-Verlag, 1999.
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.
M. Johansson and A. Rantzer. Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Transactions on Automatic Control, 43(1):31–45, 1998.
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.
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.
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.
J. Raisch and S. O’Young. Discrete approximation and supervisory control of continuous systems. IEEE Transactions on Automatic Control, 43(4):568–573, 1998.
M. Sain. Introduction to Algebraic System Theory. Academic Press, 1981.
E. Sontag. Nonlinear regulation: The piecewise linear approach. IEEE Transactions on Automatic Control, 26(2):346–358, 1981.
E. Sontag. Remarks on piecewise-linear algebra. Pacific Journal of Mathematics, 92(1):1830–210, 1982.
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.
T. Stauner, O. Muller, and M. Fuchs. Using HYTECH to verify an automotive control system. In O. Maler, ed., Hybrid and Real-Time Systems, Vol. 1201, LNCS, 139–153. Springer-Verlag, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koutsoukos, X.D., Antsaklis, P.J. (2000). A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System. In: Lynch, N., Krogh, B.H. (eds) Hybrid Systems: Computation and Control. HSCC 2000. Lecture Notes in Computer Science, vol 1790. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46430-1_18
Download citation
DOI: https://doi.org/10.1007/3-540-46430-1_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67259-3
Online ISBN: 978-3-540-46430-3
eBook Packages: Springer Book Archive