Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine
The specification for the idle control problem for automotive engines is to maintain the crankshaft speed within a given range in the presence of load changes. A new cycle-detailed hybrid model of the engine that captures well the interactions between the discrete phenomena of torque generation and spark ignition, and the continuous evolution of the power-train and air dynamics, is proposed. The idle control problem is formalized as a safety specification problem on the hybrid system. The Tomlin-Lygeros-Sastry procedure  is applied to compute the maximal controlled invariant set that satisfies the safety specification.
KeywordsHybrid Automaton Throttle Valve Intake Manifold Compression Stroke Torque Generation
Unable to display preview. Download preview PDF.
- 1.M. Abate and V. Di Nunzio. Idle speed control using optimal regulation. Technical Report 905008, SAE, 1990.Google Scholar
- 2.E. Asarin, O. Maler, A. Pnueli, and J. Sifakis. Controller synthesis for timed automata. In Proceedings of System Structure and Control. IFAC, Elsevier, July 1998.Google Scholar
- 3.A. Balluchi, L. Benvenuti, H. Wong-Toi, T. Villa, and A. L. Sangiovanni-Vincentelli. A case study of hybrid controller synthesis of a heating system. In Proc. 5th European Control Conference, Karlsruhe, Germany, September 1999.Google Scholar
- 4.A. Balluchi, L. Benvenuti, H. Wong-Toi, T. Villa, and A. L. Sangiovanni-Vincentelli. Controller synthesis for hybrid systems with lower bounds on event separation. In Proc. 37th IEEE Conference on Decision and Control, December 1999.Google Scholar
- 6.C. Carnevale and A. Moschetti. Idle speed control with H ∞ technique. Technical Report 930770, SAE, 1993.Google Scholar
- 7.D. Hrovat and B. Bodenheimer. Robust automotive idle speed control design based on μ-synthesis. In Proc. IEEE American Control Conference, pages 1778–1783, S. Francisco, CA, 1993.Google Scholar
- 8.D. Hrovat and J. Sun. Models and control methodologies for IC engine idle speed control design. Control Engineering Practice, 5(8), August 1997.Google Scholar
- 9.L. Kjergaard, S. Nielsen, T. Vesterholm, and E. Hendricks. Advanced nonlinear engine idle speed control systems. Technical Report 940974, SAE, 1994.Google Scholar
- 10.C. H. Onder and H. P. Geering. Model-based multivariable speed and air-to-fuel ratio control of a SI engine. Technical Report 930859, SAE, 1993.Google Scholar
- 12.C. Tomlin, J. Lygeros, and S. Sastry. Synthesizing controllers for nonlinear hybrid systems. In Thomas Henzinger and Shankar Sastry, editors, First International Workshop, HSCC’98, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1386, pages 360–373, 1998.Google Scholar
- 13.S. Yurkovich and M. Simpson. Crank-angle domain modeling and control for idle speed. SAE Journal of Engines, 106(970027):34–41, 1997.Google Scholar