Discrete-time hybrid modeling and verification of the batch evaporator process benchmark

DOI10.3166/EJC.7.382-399zbMath1293.93081OpenAlexW2045551235MaRDI QIDQ2512159

Manfred Morari, Alberto Bemporad, Fabio D. Torrisi

Publication date: 7 August 2014

Published in: European Journal of Control (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/c2383d38daaae02a1c357a70594c6f44ab144504

zbMATH Keywords

verificationhybrid systemsreachability analysisdiscrete-time modeling

Mathematics Subject Classification ID

Mixed integer programming (90C11) Linear programming (90C05) Discrete-time control/observation systems (93C55) Attainable sets, reachability (93B03)

Related Items (5)

A perspective-based convex relaxation for switched-affine optimal control ⋮ An STL-based Approach to Resilient Control for Cyber-Physical Systems ⋮ Synthesis of controllers for target problems of hybrid systems using approximate computation ⋮ Discrete-time hybrid modeling and verification of the batch evaporator process benchmark ⋮ Mixed logical dynamical modeling of discrete-time hybrid fractional systems

Uses Software

• HyTech
• Uppaal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modeling and integer programming techniques applied to propositional calculus
• Propositional logic in control and monitoring problems
• Controllers for reachability specifications for hybrid systems
• Control of systems integrating logic, dynamics, and constraints
• Complexity of stability and controllability of elementary hybrid systems
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Corrigendum to: ``The explicit linear quadratic regulator for constrained systems
• HyTech: A model checker for hybrid systems
• On the regularization of Zeno hybrid automata
• Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
• Observability and controllability of piecewise affine and hybrid systems
• Nonlinear regulation: The piecewise linear approach
• Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• A unified framework for hybrid control: model and optimal control theory
• Basic problems in stability and design of switched systems
• Equivalence of hybrid dynamical models

This page was built for publication: Discrete-time hybrid modeling and verification of the batch evaporator process benchmark