Supervisory control of extended timed event graphs (Q1879135): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s10255-003-0103-5 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2111404599 / rank | |||
Normal rank | |||
Revision as of 23:10, 19 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
