A receding horizon event-driven control strategy for intelligent traffic management

In this paper, the intelligent traffic management within a smart city environment is addressed by developing an ad-hoc model predictive control strategy based on an event-driven formulation. To this end, a constrained hybrid system description is considered for safety verification purposes and a low-demanding receding horizon controller is then derived by exploiting set-theoretic arguments. Simulations are performed on the train-gate benchmark system to show the effectiveness and benefits of the proposed methodology.

[1]  Manfred Morari,et al.  Low-complexity control of hybrid systems using approximate multi-parametric MILP , 2016, Autom..

[2]  Bart De Schutter,et al.  A hybrid MPC approach to the design of a Smart adaptive cruise controller , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[3]  Markos Papageorgiou,et al.  Model Predictive Control for Motorway Traffic with Mixed Manual and VACS-equipped Vehicles☆ , 2015 .

[4]  Samir Ouchani,et al.  Safety analysis of train control system based on model-driven design methodology , 2019, Comput. Ind..

[5]  Efstratios N. Pistikopoulos,et al.  Approximate solution of mp-MILP problems using piecewise affine relaxation of bilinear terms , 2014, Comput. Chem. Eng..

[6]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[7]  Alberto Bemporad,et al.  Logic-based solution methods for optimal control of hybrid systems , 2006, IEEE Transactions on Automatic Control.

[8]  Walter Lucia,et al.  A Set-Theoretic Reconfiguration Feedback Control Scheme Against Simultaneous Stuck Actuators , 2018, IEEE Transactions on Automatic Control.

[9]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[10]  Christos G. Cassandras,et al.  Smart Cities as Cyber-Physical Social Systems , 2016 .

[11]  Daniel E. Rivera,et al.  An Improved Formulation of Hybrid Model Predictive Control With Application to Production-Inventory Systems , 2013, IEEE Transactions on Control Systems Technology.

[12]  Markos Papageorgiou,et al.  Motorway traffic flow modelling, estimation and control with vehicle automation and communication systems , 2019, Annu. Rev. Control..

[13]  Mariagrazia Dotoli,et al.  An urban traffic network model via coloured timed Petri nets , 2004 .

[14]  Alberto Bemporad,et al.  The explicit linear quadratic regulator for constrained systems , 2003, Autom..

[15]  Karl Henrik Johansson,et al.  Dynamical Systems Revisited: Hybrid Systems with Zeno Executions , 2000, HSCC.

[16]  John Lygeros,et al.  Multiagent hybrid system design using game theory and optimal control , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[17]  Manfred Morari,et al.  A parametric branch and bound approach to suboptimal explicit hybrid MPC , 2014, Autom..

[18]  Sherif Abdelwahed,et al.  A Physical Testbed for Smart City Research , 2018, 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications (AICCSA).

[19]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[20]  Edoardo Mosca,et al.  An ellipsoidal off-line MPC scheme for uncertain polytopic discrete-time systems , 2008, Autom..

[21]  Alberto Bemporad,et al.  An MPC/hybrid system approach to traction control , 2006, IEEE Transactions on Control Systems Technology.

[22]  Guillaume Sandou,et al.  Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems , 2007, HSCC.

[23]  Manfred Morari,et al.  Modeling and control of co-generation power plants: a hybrid system approach , 2004, IEEE Trans. Control. Syst. Technol..

[24]  Alberto Bemporad,et al.  An efficient technique for translating mixed logical dynamical systems into piecewise affine systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[25]  Sven Leyffer,et al.  Numerical Experience with Lower Bounds for MIQP Branch-And-Bound , 1998, SIAM J. Optim..

[26]  Cristian Mahulea,et al.  Event‐driven model predictive control of timed hybrid Petri nets , 2014 .

[27]  Manfred Morari,et al.  Hybrid Model Predictive Control of the Step-Down DC–DC Converter , 2008, IEEE Transactions on Control Systems Technology.

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

[29]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[30]  Jun-ichi Imura,et al.  Smart Driving of a Vehicle Using Model Predictive Control for Improving Traffic Flow , 2014, IEEE Transactions on Intelligent Transportation Systems.

[31]  C. Pinello,et al.  Automotive engine control and hybrid systems: challenges and opportunities , 2000, Proceedings of the IEEE.

[32]  Mariagrazia Dotoli,et al.  An urban traffic network model via coloured timed Petri nets , 2004 .

[33]  G. Nemhauser,et al.  Integer Programming , 2020 .

[34]  Alberto Bemporad,et al.  Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems , 2000, HSCC.

[35]  Angela Di Febbraro,et al.  A Deterministic and Stochastic Petri Net Model for Traffic-Responsive Signaling Control in Urban Areas , 2016, IEEE Transactions on Intelligent Transportation Systems.

[36]  Cristián E. Cortés,et al.  Hybrid predictive control for real-time optimization of public transport systems' operations based on evolutionary multi-objective optimization , 2010 .

[37]  Hai Lin,et al.  Hybrid Dynamical Systems: An Introduction to Control and Verification , 2014, Found. Trends Syst. Control..

[38]  Junichi Murata,et al.  Model Predictive Control of Vehicles on Urban Roads for Improved Fuel Economy , 2013, IEEE Transactions on Control Systems Technology.

[39]  Efstratios N. Pistikopoulos,et al.  Explicit hybrid model-predictive control: The exact solution , 2015, Autom..

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

[41]  Alberto Bemporad,et al.  Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics , 2009, Autom..

[42]  José Ramón Gil-García,et al.  Understanding Smart Cities: An Integrative Framework , 2012, HICSS.

[43]  Kazimierz Duzinkiewicz,et al.  Genetic Hybrid Predictive Controller for Optimized Dissolved-Oxygen Tracking at Lower Control Level , 2009, IEEE Transactions on Control Systems Technology.

[44]  Alberto Bemporad,et al.  HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems , 2004, IEEE Transactions on Control Systems Technology.

[45]  O. Stursberg,et al.  Continuous-discrete interactions in chemical processing plants , 2000, Proceedings of the IEEE.

[46]  David Q. Mayne,et al.  Reachability analysis of discrete-time systems with disturbances , 2006, IEEE Transactions on Automatic Control.

[47]  Panos J. Antsaklis,et al.  Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.

[48]  Mato Baotic,et al.  An efficient algorithm for optimal control of PWA systems with polyhedral performance indices , 2008, Autom..

[49]  Thomas A. Henzinger,et al.  HYTECH: A Model Checker for Hybrid Systems , 1997, CAV.

[50]  Manfred Morari,et al.  Multi-Parametric Toolbox 3.0 , 2013, 2013 European Control Conference (ECC).