A set of event-based supervisors is developed to control the maintenance process of a printing machine. The Discrete Event System descriptions of the distinct tasks of the maintenance process are in the form of Finite State Machines. The desired behavior is expressed as four behavioral rules. The rules are translated to regular languages realized by appropriate supervisor automaton. The supervisor's physical realizability is proved and the blocking avoidance of the controlled printing machine is satisfied.
No takes yet. Share an insight, caveat, or question.
Kouvakas et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: