A contribution to the validation of grafcet controlled systems

DOI10.1016/S0947-3580(00)71111-3zbMath1293.93425OpenAlexW1988254577MaRDI QIDQ2512110

Janan Zaytoon

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.1016/s0947-3580(00)71111-3

zbMATH Keywords

heuristicsvalidationabstractionsGrafcetprogrammable logic controllers (PLC)timed transition model (TTM)/real-time temporal logic (RTTL)

Mathematics Subject Classification ID

Production models (90B30) Application models in control theory (93C95) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Grafcet: behavioural issues and control synthesis

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Petri nets for modeling of dynamic systems -- a survey
• Symbolic model checking for real-time systems
• A framework for real-time discrete event control
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Construction and Analysis of Transition Systems with MEC

This page was built for publication: A contribution to the validation of grafcet controlled systems