PLC-automata: A new class of implementable real-time automata
From MaRDI portal
Publication:1589587
DOI10.1016/S0304-3975(00)00089-XzbMath0954.68085OpenAlexW2694136767MaRDI QIDQ1589587
Publication date: 12 December 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00089-x
Related Items (6)
Model Checking Real-Time Systems ⋮ Temporal Logic for Programmable Logic Controllers ⋮ Shrinking timed automata ⋮ Axiomatisation and decidability of multi-dimensional Duration Calculus ⋮ Robust safety of timed automata ⋮ PLC-automata: A new class of implementable real-time automata
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
- Statecharts: a visual formalism for complex systems
- A calculus of durations
- A theory of timed automata
- Formal development of reactive systems. Case study production cell
- Duration calculus: Logical foundations
- PLC-automata: A new class of implementable real-time automata
This page was built for publication: PLC-automata: A new class of implementable real-time automata