Control of systems integrating logic, dynamics, and constraints

DOI10.1016/S0005-1098(98)00178-2zbMath1049.93514WikidataQ56813415 ScholiaQ56813415MaRDI QIDQ1301410

Manfred Morari, Alberto Bemporad

Publication date: 1999

Published in: Automatica (Search for Journal in Brave)

Mathematics Subject Classification ID

Integer programming (90C10) Quadratic programming (90C20) Design techniques (robust design, computer-aided design, etc.) (93B51) Variable structure systems (93B12) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Efficient iterative method for SOAV minimization problem with linear equality and box constraints and its linear convergence ⋮ A new kernel-based approach to hybrid system identification ⋮ An optimization-based approach to sampled-data control of networked control systems with multiple delays ⋮ Approximate dynamic programming based control of proppant concentration in hydraulic fracturing ⋮ On the control of psychological networks ⋮ Computing sparse and dense realizations of reaction kinetic systems ⋮ Supervision based on place invariants: a survey ⋮ Optimistic optimization for model predictive control of \(\max\)-plus linear systems ⋮ An efficient MPC algorithm for switched systems with minimum dwell time constraints ⋮ A novel distributed quantum-behaved particle swarm optimization ⋮ An approximation method for computing the expected value of max-affine expressions ⋮ On efficient sensor scheduling for linear dynamical systems ⋮ Synthesis of optimal controllers for piecewise affine systems with sampled-data switching ⋮ Simultaneous state and input estimation of hybrid systems with unknown inputs ⋮ Analysis and control of max-plus linear discrete-event systems: an introduction ⋮ Set-based control for disturbed piecewise affine systems with state and actuation constraints ⋮ Data-driven switching modeling for MPC using regression trees and random forests ⋮ Robust tube-based MPC of constrained piecewise affine systems with bounded additive disturbances ⋮ Constrained receding horizon controls for nonlinear time-delay systems ⋮ Rao-blackwellized sampling for batch and recursive Bayesian inference of piecewise affine models ⋮ Hierarchical control of a hybrid solar air conditioning plant ⋮ Hybrid model predictive control of a solar air conditioning plant ⋮ A perspective-based convex relaxation for switched-affine optimal control ⋮ Computing zero deficiency realizations of kinetic systems ⋮ Enhancements on the hyperplanes arrangements in mixed-integer programming techniques ⋮ On stability of multiobjective NMPC with objective prioritization ⋮ Explicit hybrid model-predictive control: the exact solution ⋮ Optimal move blocking strategies for model predictive control ⋮ Enumeration-based approach to solving parametric linear complementarity problems ⋮ Low-complexity control of hybrid systems using approximate multi-parametric MILP ⋮ A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts ⋮ A computationally efficient robust tube based MPC for linear switched systems ⋮ Feedforward control of a class of hybrid systems using an inverse model ⋮ Application of predictive control approach in stabilizing control design of networked plants ⋮ Estimation of jump Box-Jenkins models ⋮ Energy-aware robust model predictive control based on noisy wireless sensors ⋮ Linear-quadratic switching control with switching cost ⋮ On optimal control of non-autonomous switched systems with a fixed mode sequence ⋮ Stabilizing polynomial approximation of explicit MPC ⋮ Optimality condition-based sensitivity analysis of optimal control for hybrid systems and its application ⋮ Stability condition for sampled data based control of linear continuous switched systems ⋮ Robust variable horizon MPC with move blocking ⋮ Conditions under which suboptimal nonlinear MPC is inherently robust ⋮ Optimal control of switching topology networks ⋮ A control problem for affine dynamical systems on a full-dimensional polytope. ⋮ Identification of piecewise affine systems via mixed-integer programming. ⋮ Uniting bounded control and MPC for stabilization of constrained linear systems. ⋮ A new robust nonfragile controller design scheme for a class of hybrid systems through piecewise affine models ⋮ Hybrid system identification using a structural approach and its model based control: an experimental validation ⋮ Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs ⋮ Energy-optimal multi-goal motion planning for planar robot manipulators ⋮ New approaches to identification of PWARX systems ⋮ Optimal control of sampled-data piecewise affine systems ⋮ Complexity reduction in explicit MPC: a reachability approach ⋮ Numerical algorithm for a class of constrained optimal control problems of switched systems ⋮ Boolean-controlled systems via receding horizon and linear programing ⋮ An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks ⋮ Fitting random cash management models to data ⋮ Constrained model predictive control: Stability and optimality ⋮ Control allocation -- a survey ⋮ Time-varying affine feedback for reach control on simplices ⋮ A decentralized approach to multi-agent MILPs: finite-time feasibility and performance guarantees ⋮ Optimal piecewise state feedback control for impulsive switched systems ⋮ Predictive control algorithms for congestion management in electric power distribution grids ⋮ Model predictive control with discrete actuators: theory and application ⋮ Networked control design for coalitional schemes using game-theoretic methods ⋮ Distributed supply-demand balancing and the physics of smart energy systems ⋮ Model identification of unobservable behavior of discrete event systems using Petri nets ⋮ Modeling and control of switching max-plus-linear systems with random and deterministic switching ⋮ Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization ⋮ Hybrid process algebra ⋮ Analysis and synthesis of switched linear control systems ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Approaching minimum time control of timed continuous Petri nets ⋮ Optimal control of switching systems ⋮ Direction-dependent systems - a survey ⋮ Convex relaxations for mixed integer predictive control ⋮ Switching systems: active mode recognition, identification of the switching law ⋮ On optimal control problems of a class of impulsive switching systems with terminal states constraints ⋮ Real-time optimization strategy for single-track high-speed train rescheduling with disturbance uncertainties: a scenario-based chance-constrained model predictive control approach ⋮ Design bounded robust controller using HJB solution for the nonlinear hybrid dynamical systems ⋮ Predictive control of hybrid systems: input-to-state stability results for sub-optimal solutions ⋮ Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach ⋮ Model predictive control of nonlinear hybrid systems with discrete inputs employing a hybrid fuzzy model ⋮ Predictive control for hybrid systems. Implications of polyhedral pre-computations ⋮ Active mode identification and continuous state estimation for switched linear systems with unknown inputs and slow switching signal ⋮ Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics ⋮ Model predictive control for switched systems with a novel mixed time/event-triggering mechanism ⋮ On fluidization of discrete event models: Observation and control of continuous Petri nets ⋮ Stabilization of finite automata with application to hybrid systems control ⋮ A data-driven switching control approach for braking systems with constraints ⋮ Exponential stability of discrete-time systems with slowly time-varying delays ⋮ Fault tolerant time optimization for a class of time-varying switched infinite dimensional linear systems ⋮ Lebesgue piecewise affine approximation of nonlinear systems ⋮ Coalitional games for networked controllers with constraints on semivalues: a randomized design approach ⋮ Mixed logical dynamical modeling of discrete-time hybrid fractional systems ⋮ Analysis of discrete-time piecewise affine and hybrid systems ⋮ On the equivalence of linear complementarity problems ⋮ On the necessity of the invariance conditions for reach control on polytopes ⋮ A clustering technique for the identification of piecewise affine systems ⋮ Smoothing and regularization strategies for optimization of hybrid dynamic systems ⋮ Fuzzy model predictive control of a DC-DC boost converter based on non-linear model identification ⋮ Hybrid model predictive control application towards optimal semi-active suspension ⋮ LTL receding horizon control for finite deterministic systems ⋮ An LMI approach for H ∞ analysis and control of discrete-time piecewise affine systems ⋮ Iterative learning control for non-linear systems described by a blended multiple model representation ⋮ Identification of piecewise affine models in noisy environment ⋮ Solution of 2D singular hybrid linear system ⋮ Computational techniques for model predictive control of large-scale systems with continuous-valued and discrete-valued inputs ⋮ Linear temporal logic vehicle routing with applications to multi-UAV mission planning ⋮ Tracking and synchronisation for a class of PWA systems ⋮ Polynomial-time probabilistic observability analysis of sampled-data piecewise affine systems ⋮ Applications of numerical optimal control to nonlinear hybrid systems ⋮ Model Predictive Controllers over Differentiated Services Packet Networks ⋮ Event-driven model predictive control of timed hybrid Petri nets ⋮ A polynomial approach for optimal control of switched nonlinear systems ⋮ Constrained piecewise linear systems with disturbances: Controller designviaconvex invariant sets ⋮ Inf-sup control of discontinuous piecewise affine systems ⋮ Collision avoidance command governor for multi-vehicle unmanned systems ⋮ Model predictive control for drift counteraction of stochastic constrained linear systems ⋮ The Banzhaf value as a design tool in coalitional control ⋮ Discrete‐Valued Model Predictive Control Using Sum‐of‐Absolute‐Values Optimization ⋮ Optimistic optimization for continuous nonconvex piecewise affine functions ⋮ Uniform exponential stability of periodic discrete switched linear system ⋮ Mathematical modelling and heuristic approaches to job-shop scheduling problem with conveyor-based continuous flow transporters ⋮ Online Mixed-Integer Optimization in Milliseconds ⋮ Optimised assembly mode reconfiguration of the 5-DOF Gantry-Tau using mixed-integer programming ⋮ Observer-Based Control of Linear Complementarity Systems ⋮ Dissipativity-based stable controller redesign for nonlinear MIMO switched systems in the presence of perturbations ⋮ Modeling and Predictive Control of Nonlinear Hybrid Systems Using Mixed Logical Dynamical Formalism ⋮ LMI-based robust mixed-integer model predictive control for hybrid systems ⋮ Zeno hybrid systems ⋮ Robust distributed model predictive control ⋮ A numerical algorithm for optimal control of a class of hybrid systems: differential transformation based approach ⋮ Model predictive control for uncertain max–min-plus-scaling systems ⋮ Hybrid state feedback stabilization withl₂performance for discrete-time switched linear systems ⋮ A mixed logic dynamical modeling formulation and optimal control of intelligent robots ⋮ Efficient mode enumeration of compositional hybrid systems ⋮ Identification of switched linear systems using subspace and integer programming techniques ⋮ Numerical solution of optimal control problems with explicit and implicit switches ⋮ Decentralized Model Predictive Control for a Cascade of River Power Plants ⋮ Identification of Petri nets from knowledge of their language ⋮ Observer-based control of linear complementarity systems ⋮ A stable block model predictive control with variable implementation horizon ⋮ Hybrid predictive control of a DC-DC boost converter in both continuous and discontinuous current modes of operation ⋮ Piecewise affine approximations of fluxes and enzyme kinetics from in vivo¹³C labeling experiments ⋮ Combining qualitative information and semi‐quantitative data for guaranteed invalidation of biochemical network models ⋮ Fault‐tolerant model predictive control within the hybrid systems framework: Application to sewer networks ⋮ Bayesian differential programming for robust systems identification under uncertainty ⋮ An efficient algorithm for optimal control of PWA systems with polyhedral performance indices ⋮ Stability analysis of optimally quantised LFT-feedback systems ⋮ Hybrid adaptive predictive control for the multi-vehicle dynamic pick-up and delivery problem based on genetic algorithms and fuzzy clustering ⋮ Hybrid modelling and constrained control of juggling systems ⋮ Plasma vertical stabilization with actuation constraints in the DIII-D tokamak ⋮ Model predictive control of directed‐graph constrained systems ⋮ Suboptimal target control for hybrid automata using model predictive control ⋮ Optimal persistent disturbance attenuation control for linear hybrid systems ⋮ Modelling and Analysis of an Oscillatory Dynamic System Using the Hybrid State Approach: An Experimental Case ⋮ MPC for continuous piecewise-affine systems ⋮ Output feedback control of switched nonlinear systems using multiple Lyapunov functions ⋮ Optimal control of investments for quality of supply improvement in electrical energy distribution networks ⋮ Prioritized constraint handling NMPC using Volterra series models ⋮ Design of networked freeway traffic controllers based on event-triggered control concepts ⋮ Energy-efficient container handling using hybrid model predictive control ⋮ Hybrid control of networked embedded systems ⋮ Identification of hybrid systems. A tutorial ⋮ Discrete-time hybrid modeling and verification of the batch evaporator process benchmark ⋮ Properties of MPC for max-plus-linear systems ⋮ Discussion on: ``Properties of MPC for max-plus-linear systems ⋮ Hybrid systems modeling and control ⋮ The complementarity class of hybrid dynamical systems ⋮ Discussion on: ``An optimal control approach for hybrid systems ⋮ OPTIMAL CONTROL PROBLEMS FOR GENERAL GLOBAL HYBRID DYNAMICAL SYSTEMS WITH MATRIX COST FUNCTIONAL ⋮ Stability analysis of piecewise affine systems with multi-model predictive control ⋮ A simple effective heuristic for embedded mixed-integer quadratic programming ⋮ FORCES NLP: an efficient implementation of interior-point methods for multistage nonlinear nonconvex programs ⋮ Optimal Control of Switched Systems by a Modified Pseudo Spectral Method ⋮ Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management ⋮ Stability of piecewise affine systems with application to chaos stabilization ⋮ Mixed Logical Dynamical Nonlinear Model Predictive Controller for Large‐Scale Solar Fields ⋮ Hybrid modeling method and bifurcation characteristics analysis for buck converter with constant power load ⋮ Observer-based control of piecewise-affine systems ⋮ A practical hybrid predictive control algorithm for a low-temperature thermosolar plant ⋮ Hybrid model predictive control based on wireless sensor feedback: An experimental study ⋮ Ambulatory wireless sensor network power management using constrained explicit generalised predictive control ⋮ Linear quadratic optimal sampled data control of linear systems with unknown switched modes and stochastic disturbances ⋮ Global hybrid modeling and control of a buck converter: A novel concept ⋮ Reduction in the number of binary variables for inter-sample avoidance in trajectory optimizers using mixed-integer linear programming ⋮ Modeling, analyzing and controlling hybrid systems by guarded flexible nets ⋮ A Control Lyapunov Function Approach to Feedback Stabilization of Logical Control Networks ⋮ On time optimal control of integrator switched systems with state constraints ⋮ Stabilizing low complexity feedback control of constrained piecewise affine systems ⋮ Dynamic programming for constrained optimal control of discrete-time linear hybrid systems ⋮ Multi-model predictive control with local constraints based on model switching ⋮ Model predictive control: recent developments and future promise ⋮ Efficient online solution of multi-parametric mixed-integer quadratic problems ⋮ Optimal control of hybrid switched systems: a brief survey ⋮ Fault model identification and synthesis in Petri nets ⋮ Predictive control for trajectory tracking and decentralized navigation of multi-agent formations ⋮ Event-triggered model predictive control for switched systems: a memory-based anti-attack strategy ⋮ Signal approximations based on nonlinear and optimal piecewise affine functions ⋮ Identification of hybrid and linear parameter‐varying models via piecewise affine regression using mixed integer programming ⋮ Robust constrained control of piecewise affine systems through set‐based reachability computations ⋮ Direct data‐driven design of switching controllers ⋮ Stability of hybrid system with the interaction of continuous and discrete states ⋮ Stochastic modeling and scalable predictive control for automated demand response ⋮ Robust metro train scheduling integrated with skip-stop pattern and passenger flow control strategy under uncertain passenger demands ⋮ Asynchronous finite-time \(H_\infty\) control of discrete-time switched systems: an inverse weighted switching scheme ⋮ Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. ⋮ On transforming hybrid nonlinear control problems with model uncertainty and input disturbance to mixed integer-linear programs ⋮ Robust tube-based NMPC for dynamic systems with discrete degrees of freedom ⋮ Distributed MPC based on robustly controllable sets for PWA systems ⋮ Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems ⋮ Tailored presolve techniques in branch‐and‐bound method for fast mixed‐integer optimal control applications ⋮ Shortest Paths in Graphs of Convex Sets ⋮ Learning lyapunov functions for hybrid systems ⋮ Active Mode Recognition of Switched Nonlinear Systems: Application to Fault Detection and Isolation ⋮ Equivalence of hybrid dynamical models ⋮ Max-plus-linear model-based predictive control for constrained hybrid systems: linear programming solution ⋮ Model predictive control of magnetically actuated mass spring dampers for automotive applications ⋮ Low-Complexity Method for Hybrid MPC with Local Guarantees ⋮ Mode Detection and Fault Diagnosis in Hybrid Systems ⋮ Inter‐sample avoidance in trajectory optimizers using mixed‐integer linear programming ⋮ Optimal Drug Treatment in a Simple Pandemic Switched System Using Polynomial Approach