Synthesising controllers from real-time specifications

22 November 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 126-133
https://doi.org/10.1109/isss.1997.621685

Abstract

We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic called 'duration calculus'. The synthesised controllers are given as PLC (programmable logic controller) automata, and these can be implemented directly on PLCs. We demonstrate the behaviour of the algorithm by an example.

Keywords

This publication has 6 references indexed in Scilit:

Model-checking for real-time systems
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
A theory of timed automata
Published by Elsevier ,2002
The tool Kronos
Published by Springer Nature ,1996
Specifying and verifying requirements of real-time systems
IEEE Transactions on Software Engineering, 1993
A calculus of durations
Information Processing Letters, 1991
A Temporal Logic for Multilevel Reasoning about Hardware
Computer, 1985