A control synthesis approach for time discrete event systems
In this paper, we introduce a control synthesis method for discrete event systems whose behavior is dependent on explicit values of time. Our goal is to control the occurrence dates of the controllable events so that the functioning of the system respects given specifications. The system to be controlled is modeled by a time Petri net. In a previous work we proposed a systematic method to build the timed automaton which models the exact behavior of a time Petri net. Furthermore, the forbidden behaviors of the system are modeled by forbidden timed automaton locations. This paper focuses on the control synthesis method, which consists in computing new firing conditions for the timed automaton transitions so that the forbidden locations are no longer reachable.
Year of publication: |
2006
|
---|---|
Authors: | Sava, Alexandru Tiberiu ; Alla, Hassane |
Published in: |
Mathematics and Computers in Simulation (MATCOM). - Elsevier, ISSN 0378-4754. - Vol. 70.2006, 5, p. 250-265
|
Publisher: |
Elsevier |
Subject: | Time discrete event systems | Control synthesis | Time automaton | Time Petri net |
Saved in:
Saved in favorites
Similar items by subject
-
Robust satisfaction of metric interval temporal logic objectives in adversarial environments
Niu, Luyao, (2023)
- More ...
Similar items by person
-
A gas storage example as a benchmark for hybrid modelling: a comparative study
Champagnat, Ronan, (1998)
-
Les réseaux de Petri continus à vitesses fonction du temps
Dubois, Eric, (1994)
- More ...