Synthesis of fault tolerant switching protocols for vehicle engine thermal management

Thermal management is very important to guarantee ideal performance of compact vehicle engines. One challenge in the vehicle engine thermal management is to control the engine temperature in a small interval while tolerating component failures and the uncertainties in complex environment and different operating conditions. We formulate this control problem as a temporal logic game for a switched affine system and solve it by synthesizing a switching protocol based on an abstraction. The existing algorithms for computing abstractions either cannot handle parametric uncertainties in the dynamics or can be computationally expensive. Besides, they usually do not deal with possible component failures. The main contribution of this work is to show: (i) how to compute an abstraction more efficiently under the assumption that the vector fields are multiaffine in constant uncertainties and affine in state variables, (ii) how to result in a graceful degradation in case of component failures.

[1]  Domitilla Del Vecchio,et al.  Supervisory control for collision avoidance in vehicular networks with imperfect measurements , 2013, 52nd IEEE Conference on Decision and Control.

[2]  Richard M. Murray,et al.  Synthesis of correct-by-construction control protocols for hybrid systems using partial state information , 2014, 2014 American Control Conference.

[3]  Chris Brace,et al.  Review of engine cooling technologies for modern engines , 2004 .

[4]  Richard M. Murray,et al.  Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems , 2013, 2013 American Control Conference.

[5]  Paulo Tabuada,et al.  Controller Synthesis for Mode-Target Games , 2015, ADHS.

[6]  Ufuk Topcu,et al.  Receding Horizon Temporal Logic Planning , 2012, IEEE Transactions on Automatic Control.

[7]  Edward A. Lee,et al.  A hierarchical hybrid system model and its simulation , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[8]  Jing Sun,et al.  Predictive Control Allocation for a Thermal Management System Based on an Inner Loop Reference Model—Design, Analysis, and Experimental Results , 2011, IEEE Transactions on Control Systems Technology.

[9]  Paulo Tabuada,et al.  Preliminary results on correct-by-construction control software synthesis for adaptive cruise control , 2014, 53rd IEEE Conference on Decision and Control.

[10]  John R. Wagner,et al.  Smart Thermostat and Coolant Pump Control for Engine Thermal Management Systems , 2003 .

[11]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[12]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems , 2009 .

[13]  Calin Belta,et al.  Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.

[14]  Ufuk Topcu,et al.  Synthesis of Reactive Switching Protocols From Temporal Logic Specifications , 2013, IEEE Transactions on Automatic Control.

[15]  Antoine Girard,et al.  Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models , 2016, IEEE Transactions on Automatic Control.

[16]  Petter Nilsson,et al.  Incremental synthesis of switching protocols via abstraction refinement , 2014, 53rd IEEE Conference on Decision and Control.

[17]  Jing Sun,et al.  Modeling and analysis of a thermal management system for engine calibration , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[18]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .

[19]  Richard M. Murray,et al.  Efficient control synthesis for augmented finite transition systems with an application to switching protocols , 2014, 2014 American Control Conference.