scientific article; zbMATH DE number 1836373
From MaRDI portal
Publication:4782045
zbMATH Open1023.93042MaRDI QIDQ4782045FDOQ4782045
Authors: Angelika Mader 
Publication date: 2 November 2003
Title of this publication is not available (Why is that?)
Recommendations
- Temporal Logic for Programmable Logic Controllers
- Modeling and control of closed loop networked PLC-systems. Modellierung und Regelung von vernetzten SPS-Regelungssystemen
- PLC-automata: A new class of implementable real-time automata
- Component-based formal modeling of PLC systems
- scientific article; zbMATH DE number 1836374
Discrete event control/observation systems (93C65) Control/observation systems involving computers (process control, etc.) (93C83)
Cited In (5)
- Modeling and control of closed loop networked PLC-systems. Modellierung und Regelung von vernetzten SPS-Regelungssystemen
- On the Model Checking Problem for Some Extension of CTL*
- Event-driven temporal logic pattern for control software requirements specification
- Design of a PLC control program for a batch plant VHS case study 1
- Temporal Logic for Programmable Logic Controllers
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4782045)
