A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Branching time controllers for discrete event systems
2002
Theoretical Computer Science
We study the problem of synthesizing controllers for discrete event systems in a branching time framework. We use a class of labelled transition systems to model both plants and speciÿcations. We use ÿrst simulations and later bisimulations to capture the role of a controller; the controlled behaviour of the plant should be related via a simulation (bisimulation) to the speciÿcation. For both simulations and bisimulations we show that the problem of checking if a pair of ÿnite transition
doi:10.1016/s0304-3975(00)00307-8
fatcat:xyulomptczfmre2pqlefm254nm