Verification of logic controllers for continuous plants using timed condition/event-system models
DOI10.1016/S0005-1098(98)00179-4zbMATH Open0934.93045OpenAlexW2081032658WikidataQ128066537 ScholiaQ128066537MaRDI QIDQ1301427FDOQ1301427
Authors: J. Preußig, Stefan Kowalewski, Sebastian Engell, Olaf Stursberg 
Publication date: 2 September 1999
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0005-1098(98)00179-4
Recommendations
- Verifying untimed and timed aspects of the experimental batch plant
- scientific article; zbMATH DE number 2021573
- An experimental batch plant as a test case for the verification of hybrid systems
- Design of a PLC control program for a batch plant VHS case study 1
- Control problems in a temporal logic framework
Variable structure systems (93B12) Discrete event control/observation systems (93C65) Control/observation systems involving computers (process control, etc.) (93C83)
Cited In (8)
- Control of quantized systems based on discrete event models
- Verification of \(N\)-\(M\) switching control system: a case study in temporal logic model checking
- Finite abstractions for hybrid systems with stable continuous dynamics
- An experimental batch plant as a test case for the verification of hybrid systems
- Compositionality issues in discrete, continuous, and hybrid systems
- Verifying untimed and timed aspects of the experimental batch plant
- Supervisory target control for hybrid systems
- Collaborative models for autonomous systems controller synthesis
Uses Software
This page was built for publication: Verification of logic controllers for continuous plants using timed condition/event-system models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1301427)
