An experimental batch plant as a test case for the verification of hybrid systems

DOI10.3166/ejc.7.361-381zbMath1293.93416OpenAlexW2017706495MaRDI QIDQ2512157

Nanette Bauer, Olaf Stursberg, Stefan Kowalewski

Publication date: 7 August 2014

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

Full work available at URL: https://doi.org/10.3166/ejc.7.361-381

zbMATH Keywords

verificationschedulinghybrid systemssafety analysisbatch processesprogrammable logic controllers

Mathematics Subject Classification ID

Classical flows, reactions, etc. in chemistry (92E20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (5)

Observer design for linear hybrid systems with unknown inputs and Petri-net discrete dynamics ⋮ Observer synthesis for linear hybrid systems with constrained discrete dynamics ⋮ On the distinguishability and observer design for single-input single-output continuous-time switched affine systems under bounded disturbances with application to chaos-based modulation ⋮ Hybrid control of networked embedded systems ⋮ Computing efficient operation schemes for chemical plants in multi-batch mode

Cites Work

• Verification of logic controllers for continuous plants using timed condition/event-system models

This page was built for publication: An experimental batch plant as a test case for the verification of hybrid systems