On the complexity and dynamical properties of mixed logical dynamical systems via an automaton‐based realization of discrete‐time hybrid automaton

[1]  Bart De Schutter,et al.  Integrated Model Predictive Traffic and Emission Control Using a Piecewise-Affine Approach , 2013, IEEE Transactions on Intelligent Transportation Systems.

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

[3]  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.

[4]  John Lygeros,et al.  Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..

[5]  Jan Lunze,et al.  Handbook of hybrid systems control : theory, tools, applications , 2009 .

[6]  M. Carrion,et al.  A computationally efficient mixed-integer linear formulation for the thermal unit commitment problem , 2006, IEEE Transactions on Power Systems.

[7]  Liping Fu,et al.  An Efficient Optimization Approach to Real-Time Coordinated and Integrated Freeway Traffic Control , 2010, IEEE Transactions on Intelligent Transportation Systems.

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

[9]  H. Witsenhausen.  A class of hybrid-state continuous-time dynamic systems , 1966 .

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

[11]  B. Schutter,et al.  Model predictive control for max-plus-linear systems , 2000, ACC.

[12]  Kenji Sugimoto,et al.  Dynamic Resource Management in Optical Grid , 2014, IEEE Transactions on Control Systems Technology.

[13]  H. Mokhtari,et al.  Hybrid predictive control of a DC–DC boost converter in both continuous and discontinuous current modes of operation , 2011 .

[14]  Olaf Stursberg,et al.  Control of Switched Hybrid Systems Based on Disjunctive Formulations , 2002 .

[15]  Arjan van der Schaft,et al.  Equivalence of hybrid dynamical systems , 2004 .

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

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

[18]  Borut Zupančič,et al.  A New Technique for Translating Discrete Hybrid Automata into Piecewise Affine Systems , 2004 .

[19]  Alberto Bemporad,et al.  Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form , 2004, IEEE Transactions on Automatic Control.

[20]  M. P. Spathopoulos *,et al.  Time-optimal control for discrete-time hybrid automata , 2005 .

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

[22]  Manfred Morari,et al.  Analysis of discrete-time piecewise affine and hybrid systems , 2002, Autom..

[23]  Charles H. Reilly,et al.  The Effects of Coefficient Correlation Structure in Two-Dimensional Knapsack Problems on Solution Procedure Performance , 2000 .

[24]  Jun-ichi Imura,et al.  Optimal control of sampled-data piecewise affine systems , 2004, Autom..

[25]  Olaf Stursberg,et al.  Generation of Optimal Control Policies for Systems with Switched Hybrid Dynamics , 2002 .

[26]  Oded Maler,et al.  Guest Editorial: Verification of Hybrid Systems , 2001, Eur. J. Control.

[27]  Bart De Schutter,et al.  Design of Stabilizing Switching Laws for Mixed Switched Affine Systems , 2016, IEEE Transactions on Automatic Control.

[28]  W. P. M. H. Heemels,et al.  Linear Complementarity Systems , 2000, SIAM J. Appl. Math..

[29]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

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

[31]  A. J. van der Schaft,et al.  Complementarity modeling of hybrid systems , 1998, IEEE Trans. Autom. Control..

[32]  A. Bicchi,et al.  On the stabilization of linear discrete-time hybrid automata , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[33]  Bart De Schutter,et al.  The Extended Linear Complementary Problem and the Modeling and Analysis of Hybrid Systems , 1997, Hybrid Systems.

[34]  Alberto Bemporad,et al.  Discrete-time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark , 2001, Eur. J. Control.

[35]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[36]  Sharad Bhartiya,et al.  An Efficient and Stabilizing Model Predictive Control of Switched Systems , 2017, IEEE Transactions on Automatic Control.

[37]  H. Mokhtari,et al.  Global hybrid modeling and control of a buck converter: A novel concept , 2009 .

[38]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[39]  Shigeru Okuma,et al.  Traffic Network Control Based on Hybrid Dynamical System Modeling and Mixed Integer Nonlinear Programming With Convexity Analysis , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[40]  Evangelos Rikos,et al.  A Model Predictive Control Approach to Microgrid Operation Optimization , 2014, IEEE Transactions on Control Systems Technology.

[41]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[42]  Manfred Morari,et al.  A Decentralized Explicit Predictive Control Paradigm for Parallelized DC-DC Circuits , 2013, IEEE Transactions on Control Systems Technology.

[43]  Jun-ichi Imura,et al.  Deterministic finite automata representation for model predictive control of hybrid systems , 2012 .

[44]  Alberto Bemporad,et al.  Equivalent Piecewise Affine Models of Linear Hybrid Automata , 2010, IEEE Transactions on Automatic Control.

[45]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[46]  Manfred Morari,et al.  Comparison of Hybrid Control Techniques for Buck and Boost DC-DC Converters , 2010, IEEE Transactions on Control Systems Technology.

[47]  A. J. van der Schaft,et al.  Equivalence of switching linear systems by bisimulation , 2006 .

[48]  M. Hejri,et al.  Hybrid modeling and control of a DC-DC boost converter via Extended Mixed Logical Dynamical systems (EMLDs) , 2014, The 5th Annual International Power Electronics, Drive Systems and Technologies Conference (PEDSTC 2014).

[49]  C. Seatzu,et al.  Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

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

[51]  Manfred Morari,et al.  Efficient mode enumeration of compositional hybrid systems , 2010, Int. J. Control.

[52]  Manfred Morari,et al.  A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems , 2001, HSCC.

[53]  Yskandar Hamam,et al.  Optimal integrated control and scheduling of networked control systems with communication constraints: application to a car suspension system , 2006, IEEE Transactions on Control Systems Technology.

[54]  Alessandro Giua,et al.  Hybrid modeling and control of switching DC-DC converters via MLD systems , 2011, 2011 IEEE International Conference on Automation Science and Engineering.