# Control of systems integrating logic, dynamics, and constraints

@article{Bemporad1999ControlOS, title={Control of systems integrating logic, dynamics, and constraints}, author={Alberto Bemporad and Manfred Morari}, journal={Autom.}, year={1999}, volume={35}, pages={407-427} }

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

#### Figures and Topics from this paper

#### 2,779 Citations

Predictive Control of Constrained Hybrid Systems

- Mathematics
- 2000

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

- 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

- Mathematics
- 2001

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 as… Expand

Modeling and Predictive Control of Nonlinear Hybrid Systems Using Mixed Logical Dynamical Formalism

- Computer Science
- 2016

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 operating… Expand

Modelling, simulation and control of hybrid system integrating logic, dynamics, and constraints using hybrid automaton, APROS and mixed integer quadratic optimization algorithm

- Computer Science
- 2016 8th International Conference on Modelling, Identification and Control (ICMIC)
- 2016

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

- Engineering
- 1999 European Control Conference (ECC)
- 1999

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; sequential… Expand

Temporal logic model predictive control for discrete-time systems

- Mathematics, Computer Science
- HSCC '13
- 2013

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

- Engineering
- 1999

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

- Mathematics
- Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187)
- 2000

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-time… Expand

Optimal control and analysis for constrained piecewise affine systems

- Computer Science
- 2006

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

#### References

SHOWING 1-10 OF 44 REFERENCES

A unified framework for hybrid control: model and optimal control theory

- Computer Science, Mathematics
- IEEE Trans. Autom. Control.
- 1998

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

- Engineering
- 1989

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 is… Expand

Lyapunov Stability of a Class of Discrete Event Systems

- 1991 American Control Conference
- 1991

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 equations… Expand

A Design Framework For Hierarchical, Hybrid Control

- Engineering
- 1997

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 modeling… Expand

A Game-Theoretic Approach to Hybrid System Design

- Computer Science
- Hybrid Systems
- 1995

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

- Mathematics, Computer Science
- 1997 European Control Conference (ECC)
- 1997

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

- Mathematics
- 1997 European Control Conference (ECC)
- 1997

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 established… Expand

An Overview of Industrial Model Predictive Control Technology

- 1997

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 is… Expand

MPC in systems with continuous and discrete control inputs

- Engineering
- Proceedings of the 1997 American Control Conference (Cat. No.97CH36041)
- 1997

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 a… Expand

An optimal gas supply for a power plant using a mixed integer programming model

- Engineering, Computer Science
- Autom.
- 1991

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