Advertisement

Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine

  • Andrea Balluchi
  • Luca Benvenuti
  • Maria D. Di Benedetto
  • Guido M. Miconi
  • Ugo Pozzi
  • Tiziano Villa
  • Howard Wong-Toi
  • Alberto L. Sangiovanni-Vincentelli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1790)

Abstract

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 [12] is applied to compute the maximal controlled invariant set that satisfies the safety specification.

Keywords

Hybrid Automaton Throttle Valve Intake Manifold Compression Stroke Torque Generation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Abate and V. Di Nunzio. Idle speed control using optimal regulation. Technical Report 905008, SAE, 1990.Google Scholar
  2. 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. 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. 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
  5. 5.
    K. R. Butts, N. Sivashankar, and J. Sun. Application of 1 optimal control to the engine idle speed control problem. IEEE Trans. on Control Systems Technology, 7(2):258–270, March 1999.CrossRefGoogle Scholar
  6. 6.
    C. Carnevale and A. Moschetti. Idle speed control with H technique. Technical Report 930770, SAE, 1993.Google Scholar
  7. 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. 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. 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. 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
  11. 11.
    D. Shim, J. Park, P. P. Khargonekar, and W. B. Ribbens. Reducing automotive engine speed fluctuation at idle. IEEE Trans. on Control Systems Technology, 4(4):404–410, July 1996.CrossRefGoogle Scholar
  12. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Andrea Balluchi
    • 1
  • Luca Benvenuti
    • 1
    • 2
  • Maria D. Di Benedetto
    • 2
  • Guido M. Miconi
    • 1
  • Ugo Pozzi
    • 1
  • Tiziano Villa
    • 1
  • Howard Wong-Toi
    • 3
  • Alberto L. Sangiovanni-Vincentelli
    • 1
    • 4
  1. 1.PARADESRomaItaly
  2. 2.Dip. di Ingegneria ElettricaUniversità di L’AquilaPoggio di Roio, L’AquilaItaly
  3. 3.Cadence Berkeley LabsBerkeleyUSA
  4. 4.Dept. of Electrical Engineering and Computer SciencesUniversity of CaliforniaBerkeleyUSA

Personalised recommendations