SUPERVISORY CONTROL FOR THE CONFORMANCE OF REAL-TIME DISCRETE EVENT SYSTEMS

摘要

We study the problem of controlling a plant described as a real-time discrete event system by means of a supervisor, in order to ensure a conformance relation denoted tloco between the plant and the formal specification of the system.