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

DOI10.1016/S0005-1098(98)00179-4MaRDI QIDQ1301427zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

hybrid systemsformal verificationdiscrete event modelslogic controller design

Mathematics Subject Classification ID

Variable structure systems (93B12) Discrete event control/observation systems (93C65) Control/observation systems involving computers (process control, etc.) (93C83)

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

Cited in

(8)

• Control of quantized systems based on discrete event models
• Finite abstractions for hybrid systems with stable continuous dynamics
• Verification of \(N\)-\(M\) switching control system: a case study in temporal logic model checking
• 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

Describes a project that uses

Uses Software

• Kronos

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)