Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
From MaRDI portal
Publication:2512159
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
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
