Hybrid Control: Taming Heterogeneity and Complexity of Networked Embedded Systems

We present an industrial case study in automotive control of significant complexity: the new common rail fuel injection system for Diesel engines under development at Magneti Marelli Powertrain. In this system, an inlet metering valve, inserted before the High Pressure (HP) pump, regulates the fuel flow that supplies the common rail according to the engine operating point (e.g. engine speed and desired torque). The standard approach in automotive control based on a meanvalue model for the plant does not provide a satisfactory solution as the discrete-continuous interactions in the fuel injection system, due to the slow time varying frequency of the HP pump cycles and the fast sampling frequency of sensing and actuation, play a fundamental role. We present a design approach based on a hybrid model of the Magneti Marelli Powertrain common rail fuel injection system for four-cylinder multijet engines and a hybrid approach to the design of a rail pressure controller. The hybrid controller performs significantly better when compared with the classical meanvalue based approach. Presentations and publications: 1. Presentation of the hybrid model and the proposed control algorithm in Magneti Marelli Powetrain, Bologna (I), 7 September 2005. 2. Presented at HSSC2006 [1]. 3. Submitted to International Journal of Control [2]. HYCON pilot project of work-package WP6.

[1]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[2]  S. Karagiorgis,et al.  Dynamic modeling of combustion and gas exchange processes for controlled auto-ignition engines , 2006, 2006 American Control Conference.

[3]  K. Glover,et al.  Residual Gas Fraction Measurement and Estimation on a Homogeneous Charge Compression Ignition Engine Utilizing the Negative Valve Overlap Strategy , 2006 .

[4]  M. A. Akanbi,et al.  Numerical solution of initial value problems in differential - algebraic equations , 2005 .

[5]  Gabriele Serra,et al.  ACTUAL ENGAGED GEAR IDENTIFICATION: A HYBRID OBSERVER APPROACH , 2005 .

[6]  Ka Lok Man,et al.  Syntax and consistent equation semantics of hybrid Chi , 2006, J. Log. Algebraic Methods Program..

[7]  Joseph Sifakis,et al.  An Algebraic Framework for Urgency , 2000, Inf. Comput..

[8]  Karl Henrik Johansson,et al.  Modelling and control of auxiliary loads in heavy vehicles , 2006 .

[9]  H Nijmeijer,et al.  Simulated behaviour of a vehicle with V-belt geared neutral transmission with variator slip control , 2005 .

[10]  M. Steinbuch,et al.  Slip controller design and implementation in a continuously variable transmission , 2005, Proceedings of the 2005, American Control Conference, 2005..

[11]  Jan Friso Groote,et al.  Notions of bisimulation and congruence formats for SOS with data , 2005, Inf. Comput..

[12]  Rolf Johansson,et al.  Multi-output control of a heavy duty HCCI engine using Variable Valve Actuation and Model Predictive Control , 2006 .

[13]  Michael Tiller,et al.  Introduction to Physical Modeling with Modelica , 2001 .

[14]  Amir Pnueli,et al.  Timed and Hybrid Statecharts and Their Textual Representation , 1992, FTRTFT.

[15]  Vijay Kumar,et al.  Hierarchical modeling and analysis of embedded systems , 2003, Proc. IEEE.

[16]  Alberto L. Sangiovanni-Vincentelli,et al.  Hybrid Modelling and Control of the Common Rail Injection System , 2006, HSCC.

[17]  Goran Frehse,et al.  Compositional verification of hybrid systems using simulation relations , 2005 .

[18]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[19]  Goran Frehse,et al.  PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.

[20]  Gerhard Schmitz.  Development of a Modelica Heavy Vehicle Modeling Library , 2005 .

[21]  S. Di Gennaro,et al.  Nonlinear Regulation of Electromagnetic Valves for Camless Engines , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[22]  Manfred Morari,et al.  A hybrid approach to modelling, control and state estimation of mechanical systems with backlash , 2007, Int. J. Control.

[23]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[24]  Thomas A. Henzinger.  Masaccio: A Formal Model for Embedded Components , 2000, IFIP TCS.

[25]  Jan C. Willems,et al.  Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .

[26]  Thomas A. Henzinger,et al.  A User Guide to HyTech , 1995, TACAS.

[27]  Biniam Gebremichael,et al.  Specifying urgency in timed I/O automata , 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).

[28]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[29]  Giancarlo Ferrari-Trecate,et al.  Observability analysis and state observers for automotive powertrains with backlash: a hybrid system approach , 2006 .

[30]  Ka Lok Man,et al.  Formal specification and analysis of hybrid systems , 2006 .

[31]  A. Balluchi,et al.  Randomized Algorithms for Platform-based Design , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[32]  Karl Henrik Johansson,et al.  Improved road grade estimation using sensor fusion , 2006 .

[33]  A.L. Sangiovanni-Vincentelli,et al.  Hybrid Systems in Automotive Electronics Design , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[34]  Insup Lee,et al.  Compositional modeling and refinement for hierarchical hybrid systems , 2006, J. Log. Algebraic Methods Program..

[35]  Stefan Ratschan,et al.  Safety verification of hybrid systems by constraint propagation-based abstraction refinement , 2007, TECS.

[36]  Joseph Sifakis,et al.  An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.

[37]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[38]  Alberto L. Sangiovanni-Vincentelli,et al.  Interchange Format for Hybrid Systems: Abstract Semantics , 2006, HSCC.

[39]  Thomas A. Henzinger,et al.  Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[40]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[41]  Maria Domenica Di Benedetto,et al.  Non-linear control of electromagnetic valves for camless engines , 2007, Int. J. Control.

[42]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[43]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[44]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[45]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[46]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[47]  Daniel Goeleven,et al.  The Krakovskii-LaSalle Invariance Principle for a Class of Unilateral Dynamical Systems , 2005, Math. Control. Signals Syst..

[48]  M. Gati,et al.  Computation of Observability Regions for Piecewise Affine Systems: A Projection-Based Algorithm , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[49]  Thomas A. Henzinger,et al.  Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods , 2000, HSCC.

[50]  Rolf Johansson,et al.  Hybrid control of homogeneous charge compression ignition (HCCI) engine dynamics , 2006 .

[51]  M.W.T. Koot,et al.  Energy management in a vehicle with a dual storage power net , 2005 .

[52]  Shouchuan Hu.  Differential equations with discontinuous right-hand sides☆ , 1991 .

[53]  Tiziano Villa,et al.  Idle speed controlߞA benchmark for hybrid system research , 2006 .

[54]  Hilding Elmqvist,et al.  Modelica hybrid modeling and efficient simulation , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[55]  Alberto Sangiovanni-Vincentelli,et al.  Hybrid systems in automotive electronics design , 2006 .

[56]  W. P. M. H. Heemels,et al.  Energy management strategies for vehicular electric power systems , 2005, IEEE Transactions on Vehicular Technology.

[57]  Tommaso Bolognesi,et al.  Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator , 1991, REX Workshop.

[58]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[59]  Holger Hermanns,et al.  MoDeST: A compositional modeling formalism for real-time and stochastic systems , 2004 .

[60]  Ramon R. H. Schiffelers,et al.  Foundations of a Compositional Interchange Format for Hybrid Systems , 2007, HSCC.

[61]  Johannes Schumacher,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .