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

DOI10.1016/S0005-1098(98)00179-4zbMath0934.93045OpenAlexW2081032658WikidataQ128066537 ScholiaQ128066537MaRDI QIDQ1301427

J. Preußig, Olaf Stursberg, Sebastian Engell, Stefan Kowalewski

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

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

Related Items (6)

Control of quantized systems based on discrete event models ⋮ Collaborative models for autonomous systems controller synthesis ⋮ Finite abstractions for hybrid systems with stable continuous dynamics ⋮ Compositionality issues in discrete, continuous, and hybrid systems ⋮ An experimental batch plant as a test case for the verification of hybrid systems ⋮ Supervisory target control for hybrid systems

Uses Software

• Kronos

This page was built for publication: Verification of logic controllers for continuous plants using timed condition/event-system models