Synthesising Controllers from Real-Time Specifications

We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Automata [5] and these can be implemented directly on PLCs [5]. We demonstrate the behaviour of the algorithm by an example.

• Type: Conference
• Year: 1997
• Where: ISSS
• Authors: Henning Dierks
• Keywords: Duration Calculus, Hardware, Interval Temporal Logic, ISSS 1997