Propositional logic in control and monitoring problems

DOI10.1016/S0005-1098(98)00198-8MaRDI QIDQ1301367zbMATH OpenOpenAlexFDO

Authors 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) Design techniques (robust design, computer-aided design, etc.) (93B51) Control/observation systems involving computers (process control, etc.) (93C83)

Cited in

(13)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1301367)