Supervisory control of timed event graphs with partial specifications
Shigemasa Takai, Yoshinori Ito · International Journal of Systems Science · 1999
This paper studies realizable firing time sequences under supervisory control in the max-algebra model of timed event graphs. A specification is assumed to be defined on firing times of a specified subset of transitions. Such a specification is called a partial specification. A necessary and sufficient condition for a partial specification to be realizable is presented under the assumption that all controllable transitions are in the specified subset. For a not realizable partial specification, the extremal realizable sequences are obtained as its approximations.