Sciweavers

Share
ISSS
1997
IEEE

Synthesising Controllers from Real-Time Specifications

11 years 11 months ago
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.
Henning Dierks
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1997
Where ISSS
Authors Henning Dierks
Comments (0)
books