Supervisory control of extended timed event graphs (Q1879135): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:06, 5 March 2024
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