Control of systems integrating logic, dynamics, and constraints

  title={Control of systems integrating logic, dynamics, and constraints},
  author={Alberto Bemporad and Manfred Morari},
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dynamical (MLD) systems. These are described by linear dynamic equations subject to linear inequalities involving real and integer variables. MLD systems include linear hybrid systems, finite state machines, some classes of discrete event systems, constrained linear systems, and nonlinear systems which can be… Expand
Predictive Control of Constrained Hybrid Systems
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as Mixed Logical Dynamical (MLD)Expand
Optimization-based hybrid control tools
  • A. Bemporad, M. Morari
  • Computer Science
  • Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148)
  • 2001
The use of Model Predictive Control (MPC) based on mixed-integer programming for hybrid MLD models, and the use of multiparametric programming for obtaining explicitly the equivalent piecewise linear control form of MPC are illustrated. Expand
Hybrid system analysis and control via mixed integer optimization
Abstract The paper discusses a framework for modeling, analyzing and controlling systems whose behavior is governed by interdependent physical laws, logic rules, and operating constraints, denoted asExpand
Modeling and Predictive Control of Nonlinear Hybrid Systems Using Mixed Logical Dynamical Formalism
This work deals with the modeling and the control of hybrid systems by using Mixed Logical Dynamical (MLD) system framework described by interdependent physical laws, logic rules, and operatingExpand
Modelling, simulation and control of hybrid system integrating logic, dynamics, and constraints using hybrid automaton, APROS and mixed integer quadratic optimization algorithm
This paper present modeling, simulation and control of hybrid system who integrating logic, dynamics and constraints, and the Mixed Logic, dynamics formalism permits to describe the both dynamics defining by logic rules, continuous dynamics and operating constraints. Expand
Model predictive control — Ideas for the next generation
Mixed Logical Dynamical (MLD) systems are introduced as a new system type. The MLD form is capable to model a broad class of systems arising in many applications: linear hybrid systems; sequentialExpand
Temporal logic model predictive control for discrete-time systems
This paper proposes an optimal control strategy for a discrete-time linear system constrained to satisfy a temporal logic specification over a set of linear predicates in its state variables with guaranteed satisfaction by the closed-loop trajectory. Expand
A Framework for Control, State Estimation, Fault Detection, and Verification of Hybrid Systems
Mixed Logic Dynamical (MLD) systems were introduced as a new system type by the authors recently. The MLD form is capable to model a broad class of systems arising in many applications, among them:Expand
Optimal controllers for hybrid systems: stability and piecewise linear explicit form
We propose a procedure for synthesizing piecewise linear optimal controllers for hybrid systems and investigate conditions for closed-loop stability. Hybrid systems are modeled in discrete-timeExpand
Optimal control and analysis for constrained piecewise affine systems
The main theme of this work revolves around the efficient and systematic computation, analysis, and post-processing of closed-form, optimal, stabilizing, exact state-feedback controllers for fast sampled discrete-time PWA systems, where the cost function of the respective optimal control problem is composed of (piecewise) linear vector norms. Expand


A unified framework for hybrid control: model and optimal control theory
This work introduces a mathematical model of hybrid systems as interacting collections of dynamical systems, evolving on continuous-variable state spaces and subject to continuous controls and discrete transitions, and develops a theory for synthesizing hybrid controllers for hybrid plants in all optimal control framework. Expand
Model predictive optimal averaging level control
The infinite-horizon, discrete-time optimal averaging level control problem for surge tanks, with minimization of the rate of change of outlet flow as its objective, is formulated and a solution isExpand
Lyapunov Stability of a Class of Discrete Event Systems
Discrete event systems (DES) are dynamical systems which evolve in time by the occurrence of events at possibly irregular time intervals. "Logical" DES are a class of discrete time DES with equationsExpand
A Design Framework For Hierarchical, Hybrid Control
In this research, the authors focus on the problem of designing hierarchical, hybrid controllers for large scale systems. An overview of the proposed design process is first given. A modelingExpand
A Game-Theoretic Approach to Hybrid System Design
This work presents a design and verification methodology for hybrid dynamical systems based on optimal control and game theory that provides the designer with continuous controllers as well as sets of safe states where the control “wins” the game. Expand
Propositional logic in control and monitoring problems
This article demonstrates some capabilities of combining logic using integer variables with quantitative models within Model Predictive Control and model based detection problems resulting in mixed integer quadratic or mixed integer linear programming problems. Expand
Model predictive control for a class of hybrid systems
In this paper we investigate the use of model predictive control (MPC) as a means for controlling a class of sampled-data hybrid systems. A weak form of uniform asymptotical stability is establishedExpand
An Overview of Industrial Model Predictive Control Technology
This paper provides an overview of commercially available Model Predictive Control (MPC) technology, based primarily on data provided by MPC vendors. A brief history of industrial MPC technology isExpand
MPC in systems with continuous and discrete control inputs
We point out the potential problems in systems where both logic and continuous control influence a continuous plant. We also propose MPC based approaches for handling the problems. Simulations on aExpand
An optimal gas supply for a power plant using a mixed integer programming model
A new energy control system has been established at Kawasaki Steel Mizushima Works in order to deal with energy and utilities in the steelworks and has brought a satisfactory energy saving effect. Expand