A contribution to the validation of grafcet controlled systems

DOI10.1016/S0947-3580(00)71111-3MaRDI QIDQ2512110zbMATH OpenOpenAlexFDO

Authors 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) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Application models in control theory (93C95)

Recommendations

• Discussion on: ``A contribution to the validation of grafcet controlled systems
• An instrumentation-based approach to controller validation
• A verification-driven framework for iterative design of controllers
• Evaluating the adequacy of models of controlled dynamic systems
• Verification of Giotto based embedded control systems
• scientific article; zbMATH DE number 1006763
• Parameter validity control in process control systems

Cites work

• 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
• Petri nets for modeling of dynamic systems -- a survey
• Symbolic model checking for real-time systems
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(2)

• Grafcet: behavioural issues and control synthesis
• Modeling and proving Grafcets with transition systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2512110)