A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems

Authors:
Ahmed Khoumsi
Affiliations:
Dep. GEGI, Université de Sherbrooke, Sherbrooke, Canada
Venue:
Discrete Event Dynamic Systems
Year:
2005

Citing 4
Cited 1

A theory of timed automata

Theoretical Computer Science
Timed Control Synthesis for External Specifications

STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Symbolic Controller Synthesis for Discrete and Timed Systems

Hybrid Systems II
Two examples of verification of multirate timed automata with Kronos

RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium

SetExp: a method of transformation of timed automata into finite state automata

Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this article, we study the problem of controlling a plant described as a real-time discrete event system. The aimed objective is to ensure a conformance relation denoted tioco between the plant and the formal specification of the system, by means of a supervisor. We adopt a two-step approach. In Step 1, we express the problem into a non-real-time form, by using a transformation of timed automata (TA) into particular finite state automata called Set-Exp-Automata (SEA). The latter use two additional types of events, Set and Exp. And in Step 2, we propose a non-real-time control method suitable for SEA. We also propose a control architecture.