Supervisory control of extended timed event graphs (Q1879135)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Supervisory control of extended timed event graphs |
scientific article |
Statements
Supervisory control of extended timed event graphs (English)
0 references
22 September 2004
0 references
The dioid formalism is used for exploring the dynamics of extended timed event graphs (ETEGs) related to place delay. The approach to supervisory control of ETEGs yields a necessary and sufficient condition for the ideals of the set of firing time sequences of transitions to be controllable. The paper also shows that all the strongly controllable subsets of the set of firing time sequences of transitions form a complete lattice.
0 references
supervisory control
0 references
timed event graphs
0 references
dioids
0 references
strong controllability
0 references
complete lattice
0 references
