Propositional logic in control and monitoring problems

DOI10.1016/S0005-1098(98)00198-8zbMath0925.93245OpenAlexW2126875695MaRDI QIDQ1301367

Matthew L. Tyler, Manfred Morari

Publication date: 21 November 1999

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0005-1098(98)00198-8

Mathematics Subject Classification ID

Integer programming (90C10) Control/observation systems involving computers (process control, etc.) (93C83) Design techniques (robust design, computer-aided design, etc.) (93B51)

Related Items (13)

Lexicographic multi-objective MPC for constrained nonlinear systems with changing objective prioritization ⋮ Robust tube-based MPC of constrained piecewise affine systems with bounded additive disturbances ⋮ Hybrid model predictive control of a solar air conditioning plant ⋮ On stability of multiobjective NMPC with objective prioritization ⋮ Lexicographic MPC with multiple economic criteria for constrained nonlinear systems ⋮ Optimizing multi-modal cancer treatment under 3D spatio-temporal tumor growth ⋮ Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization ⋮ Optimal prioritized infeasibility handling in model predictive control: Parametric preemptive multiobjective linear programming approach ⋮ Linear MPC with optimal prioritized infeasability handling: Application, computational issues and stability ⋮ Prioritized constraint handling NMPC using Volterra series models ⋮ Discrete-time hybrid modeling and verification of the batch evaporator process benchmark ⋮ Hybrid systems modeling and control ⋮ Efficient online solution of multi-parametric mixed-integer quadratic problems

This page was built for publication: Propositional logic in control and monitoring problems