Automotive engine control and hybrid systems: Challenges and opportunities

Proceedings of the IEEE

Volumn 88, Issue 7, 2000, Pages 888-911

  Balluchi, Andrea ^a,b   Benvenuti, Lüca ^a   Benedetto, Maria Domenica D I ^a   Member, Senior ^a   Pinello, Claudio ^a   Luigi, Alberto ^a  

^a PARADES   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000665382     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/5.871300     Document Type: Article

References (68)

1. R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds., Hybrid Systems. Berlin, Germany: Springer-Verlag, 1993, no. 736, Lecture Notes in Computer Science.
2. P. Antsaklis, A. Nerode, W. Kohn, and S. Sasiry, Eds., Hybrid Systems II: Proceedings of the 1994 Workshop on Hybrid Systems and Autonomous Control. Berlin, Germany: Springer-Verlag, 1995, no. 999, Lecture Notes in Computer Science.
3. R. Alur and T. A. Henzinger, Eds., Hybrid Systems III. Berlin, Germany: Springer-Verlag, 1996, no. 1066, Lecture Notes in Computer Science.
4. O. Maler, Ed., Hybrid and Real-Time Systems. Berlin, Germany: Springer-Verlag, 1997, no. 1201, Lecture Notes in Computer Science.
5. T. A. Henzinger and S. Sastry, Eds., Hybrid Systems: Compulation and Control. Berlin, Germany: Springer-Verlag, 1998, no. 1386, Lecture Notes in Computer Science, see also P roc. I stint. Workshop (HSCC'98).
6. P. Antsaklis, W. Kohn, M. Lernmon, A. Nerode, and S. Sastry, Eds., Hybrid Systems V. Berlin, Germany: Springer-Verlag, 1999, no. 1567, Lecture Notes in Computer Science.
7. T. A. Henzinger and S. Sastry, Eds., Hybrid Systems: Computation and Control. Berlin, Germany: Springer-Verlag, 1999, no. 1569, Lecture Notes in Computer Science. Proc. 2nd Int. Workshop (HSCC99).
8. A. Nerode and W. Kohn, "Models for hybrid systems: Automata, topologies, controllability, observability, " in Hybrid Systems. Berlin, Germany: Springer-Verlag, 1993, no. 736, Lecture Notes in Computer Science, pp. 317-356.
9. T. Dang and O. Maler, "Reachability analysis via face lifting, " in HSCC 98: Hybrid Systems-Computation and Control, T. A. Henzinger and S. Sastry, Eds. Berlin, Germany: Springer-Verlag, 1998, no. 1386. Lecture Notes in Computer Science, pp. 96-109.
10. M. Kourjanski and P. Varaiya, "Stability of hybrid systems, " in Hybrid Systems III, R. Alur, T. A. Henzinger, and E. D. Sontag, Eds. Berlin, Germany: Springer-Verlag, 1996, Lecture Notes in Computer Science, pp. 413-423.
11. M. Branicky, "Multiple Lyapunov functions and other analysis tools for switched and hybrid systems, "IEEE Trans. Automat. Contr., vol. 43, no. 4, pp. 475-4S2, 1998.
12. J. Lygeros, C. Tomîin, and S. Sastry, "On controller synthesis for nonlinear hybrid systems, " in P roc. 37lh IEEE ConJ. Decision and Control, 1998, pp/2101-2106.
13. L13J T. A. Henzinger, P.-H. Ho, and H. Wong-Toi, "HYTECH: A model checker for hybrid systems, "Software Toots Techaol. Transfer, vol. l.no. l.pp. 10-122, 1997.
14. T. A. Henzinger and P.-H. Ho, "HYTECH: The Cornell hybrid technology too'., "mHybria SystemsII, P. Antsaklis, A. Nerode, V. Kohn, and S. Sastry, Eds: Springer-Verlag, 1995, no. 999, Lecture Notes in Computer Science, pp. 265-293.
15. O. Maler and S. Yovine, "Hardware timing verification using KRONOS." in Fror IEEK 7, 'i Israeli Coif. Computer Systems and Softv.'are Engineering ''lCCBSSE'9'o, , Herzuya. Israel, June 1996.
16. A, Chutinan and B. H. Krogh, "Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations, " in Hybrid Systems: Computation and Control, LNCS. London, U.K.: Springer-Verlag. 1999.
17. J. A. Cook and B. K. Powel, "Modeling of an internal combustion engine for control analysis, "IEEE Contr. 6'v.vr., pp. 20-25, 1988.
18. E. Hendricks, A. Chevalier, M. Jensen, and T. Vesterholm, "Event based engine control: Practical problems and solutions, " SAE, Tech. Rep. 950008, 1995.
19. M. Antoniotti, A. Balluchi, L. Benvcnuti, A. Ferrari, C. Pinello, A. L. Sangiovanni-Vincentelli, R. Flora, W, Nesci, C. Rossi, G. Serra, and M. Tabaro, "A top-down constraints-driven design methodology for powertrain control system, " in P rot: Global Powenrain Congress (GPC9S) Detroit, MI, Oct. 1998, vol. Emissions, Testing and Controls, pp. 74-84.
20. J. B. Heywood, Internal Combustion Engine Fundamental. New York: McGraw-Hill, 1988.
21. C. R. Stone. Introduction to Internal Combustion Engines. London, U.K.: Macmillan, 1992.
22. L. Y. Wang, A. Beydoun, J. Cook, .1. Sun, and I. Kolmarumky, "Optimal hybrid control with applications to automotive powertrain systems, " in Control Using Logic-Baaed Switching, A. S. Morse, Ed. London, U.K.: Springer-Verlag, 1997, no. 222, Lecture Notes in Control and Information Sciences, pp 190-200.
23. K. Butts, I. Kolmanovsky. N. Sivashankar, and J. Sun, "Hybrid systems in automotive control applications, " in Contra! Using LogicBased Switching, A. S. Morse. Ed. London, U.K.: Springer-Verlag, 1997, no. 222, Lecture Notes in Control and Information Sciences, pp. 173-189.
24. A. Balluchi, M. D. Di Benedotto, C. Pineilo, C. Rossi, and A. L. Sangiovanni-Vincentelli, "Hybrid control in automotive applications: The cut-off control, "Auromatica, vol. 35, pp. 519-535, Mar. 1999.
25. E. Hendricks and T. Vesterholm, "The analysis of mean value SI engine models, " SAE, Tech. Rep. 920 682, 1992.
26. E. Hendricks and S. C. Sorenson, "Mean value modelling of spark ignition engines, " SAE, Tech. Rep. 900 616, 1990.
27. E. Lee and A. Sangiovanni-Vincentelli, "A denotational framework for comparing models of computation, " in Proc. In', . Conf. CAD, Santa Clara, CA, 1996,
28. "A framework for comparing models of computation, "IEEE Trans. Computer-Aided Design, vol. 17, pp. 1217-1229, Dec. 1998.
29. J. Lygeros, C. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems, "Automatica, vol. 35, no. 3, Mar. 1999.
30. J. W. Polderman and 3. C. Willems, Introduction to Mathematical Systems Theory: A Behavioral Approach. New York: Springer-Verlag, 1998.
31. J. Rowson and A. Sangiovanni-Vincentelli, "interface-based design, " in Proc. Design Automation Conf., 1997, pp. 178-183.
32. Z. Manna and A. Pnueli, "Specification and verification of concurrent programs by V-automata, " in Proc. 14th Anna. ACM Symp. Principles of Programming Languages, 1987.
33. A. Chow and M. L. Wysynski, "Thermodynamic modelling of complete engine systems-A review, "IMechE J. Auto. Eng-, vol. 213, no. D, pp. 403-415, 1999.
34. [341 M. B, Young, "Cyclic dispersion in the homogeneous-charge sparkignition engine: A literature survey, " SAE, Tech. Rep. 810 020.1981.
35. N. Ozdor, M. Dulger, and E. Sher, "Cyclic variability hi spark ignition engines: A literature survey, " SAE, Tech. Rep. 940987, 1981.
36. J. K. Ball, R. R. Raine, and C. R. Stone, "Combustion analysis and cycle-by-cycle variations in spark ignition engine comustion. Part 1 : An evaluation of comustion analysis routines by reference to model data, "IMechE J. Auto Eng., vol 212, no. D, pp. 381-399, 1998,
37. "Combustion analysis and cycle-by-cycle variations in spark ignition engine comustion. Pari 2: A new parameter for completeness of combustion and its use in modelling cycle-by-cycle variations in combustion, "LVlechE J. Aitiu. Eng., vol. 212, no. D, pp. 507-523, 1998.
38. F.-Q. Zhao, VI.-C. Lai, and D. L. Harrington, "A review of mixture preparation and combustion control strategies for spark-ignited direct-injection gasoline engines, "SAL J. Er.gines, vol. 106, no. 970 627, pp. 861-904, 1997.
39. L. Benvenuti, VS. D. Di Benedetto, C. Rossi, and A. SaneiovanniVincentelli, "Injector characteristics estimation for spark ignition engines, " in Proc. 37th IEEE Conf. Decision and Control, Tampa, FL, Dec. 1998, pp. 1546-1551.
40. A. Balluchi, M. D. Di Benedetto, C. Pinello, and A. L. SangiovanniVincentelli, "A hybrid approach to the fast positive force transient tracking problem in automotive engine control, " in Proc. 37ih IEEE Conf. Decision Contr., Tampa, EL, Dec. 199S, pp. 3226-3231.
41. M. L. Franklin and T. E. Murphy, "A study of knock and power loss in the automotive spark ignition engine, " SAE, Tech. Rep. 890 161, 1989.
42. G. König, R. R. Maly, D. Bradley, A. K. C. Lau, and C. G. W. Sheppard, "Role of exothermic centres on knock initiation and knock damage, " SAE, Tech. Rep. 890 161, 1989.
43. [43j J. Hacohen etal., "Experimental and theoretical analysis of flame development and misfire phenomena in a spark-ignition engine, " SAE, Tech. Rep. 920415. 1992.
44. D.-L. Tang, M.-F. Chang, and M. C. Sultan, "Predective engine spark timing control, " SAE, 'lech. Rep. 940973, 1994.
45. A. Balluchi, M. D. Di Benedetto, C. Pinello, C. Rossi, and A. L. Sangiovanni-Vincentelli, "Cut-off in engine control: A hybrid system approach, " in Proc. 36th IEEE Conf. Décision Contr., San Diego, CA, Dec. 1997, pp. 4720-4725.
46. D. Hrovat, D. Colvin, and B. K. Powell, "Comments on 'Applications of some new tools to robust stability analysis of spark ignition engine: A case study', "IEEE Trans. Contr. Syst. Technol., vol. 6, pp. 435-436, May 1998.
47. [47J D. Shim, J. Park, P. P. Khargonekar, and W. B. Ribbens, "Reducing automotive engine .speed fluctuation at idle, "IEEE Trans. Conn: Syst. Technol, vol. 4, pp. 404-410, July 1996.
48. C. Y. Mo, A. J. Beaumont, and N. N. Powell, "Active control of driveability, " SAE, Tech. Rep. 960046, 1996.
49. M. Pettersson, L. Nielsen, and L. G. Hedstrb'm, "Transmission-torque control for gear shifting with engine control, " SAE, Tech. Rep. 970864, 1997.
50. [501 A. Hoess, W. Hops, R. Doerfler, and H. Rauner, "Longitudinal autonomous vehicle control utilizing access to electronic throttle control, automatic transmission and brakes, " SAE, Tech. Rep. 961 009, 1996.
51. S. Richard, P. Chevrel, P. de Larminat, and B. Marguerie, "Polynomial pole placement revisited: Application to active control of a car longitudinal oscillations, " in Proc. 6th IEEE Eur. Contr. Conf., Karlsruhe, Germany, 1999,
52. S. Hang and W. Ren, "Safety, comfort, and optimal tracking control in AHS applications, "CSM, vol. 18, no. 4, pp. 50-64, Aug. 1998.
53. R. Schernewski, K. Dadhe, and U. Kiencke, "Different approaches to integrated drive unit control, " in Proc. 6th IEEE Eur. Contr. Conf., Karlsruhe, Germany, 1999.
54. H. List and P. Schoeggl, "Objective evaluation of vehicle driveability, " SAE, Tech. Rep. 980204, 1998.
55. L. S. Pontryagin, V. G. Boltyansky, R. V. Gamkreiidze, and E. F. Mischenko, The Mathematical Theory of Optimal Processes. New York: Wiley, 1962.
56. V. I. Utkin, "Variable structure systems with sliding modes: A survey, "IEEE Trans. Automat. Contr., vol. 22, pp. 212-222, 1977.
57. S. B. Choi and J. K. Hedrick, "An observer-based controller design method for improving air/fuel characteristics of spark ignition engines, "IEEE Trans. Contr. Syst. Technol., vol. 6, pp. 325-334, May 1998.
58. A. Balluchi, M. Di Benedetto, C. Pinello, C. Rossi, and A. Sangiovanni-Vincentelli, "Hybrid control for automotive engine management: The cut-off case, " in Hybrid Systems: Computation and Control. London, U.K.: Springer-Verlag, 1998, vol. 1386, LNCS.
59. D. Hrovat and J. Sun, "Models and control methodologies for 1C engine idle speed control design, "Contr. Eng. Practice, vol. 5, no. 8, Aug. 1997.
60. K. R. Butts, N. Sivashankar, and J. Sun, "Application of 11 optimal control to the engine idle speed control problem." IEEE Trans. Contr. Syst. Techno!., vol. 7, no. 2, pp. 258-270, Mar. 1999.
61. S, Yurkovich and M. Simpson, "Crank-angle domain modeling and control for idle speed, " S.4E..'. Engines, vol. 106. no. 970 027, pp. 34_41, 1997.
62. j. L. Chen and G. Chen, "Throttle body 3.1 engine idle-tolerance effect on flow rate, " SAE, Tech. Rep. 951 057, 1995.
63. C. H. Onder and H. P. Geering, "Model-based multivariable speed and air-to-fuel ratio control of a S! engine, " SAE. Tech. Rep. 930859. 1993.
64. C. Camevale and A. Moschetti, "Idle speed control with H technique." SAE, Tech. Rep. 930770. 1993.
65. D. Hrovat and B. Bodenheimer, "Robust automotive idle speed control design based on /-synthesis, "mProc. IEEE Amer. Contr. Conf., San Francisco, CA. 1993, pp. 1778-1783.
66. L. Kjergaard, S. Nielsen, T. Vesterholm, and E. Hendricks, "Advanced nonlinear engine idle speed control systems, " SAE, Tech. Rep. 940974, 1994.
67. M. Abate and V. Di Nunzio, "Idle speed control using optimal regulation, " SAE, Tech. Rep. 905 008, 1990.
68. C. Tomlin, J. Lygeros, and S. Sastry, "Synthesizing controllers for nonlinear hybrid systems, " in ht Int. Workshop, HSCC'98, Hybrid Systems: Compuîaîion and Control, T. Henzinger and S. Sastry, Eds., 1998, no. 1386. Lecture Notes in Computer Science, pp. 360-373.