An experimental batch plant as a test case for the verification of hybrid systems
From MaRDI portal
Publication:2512157
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
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
This page was built for publication: An experimental batch plant as a test case for the verification of hybrid systems