Supervisory control of extended timed event graphs (Q1879135)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2101815
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Supervisory control of extended timed event graphs |
scientific article; zbMATH DE number 2101815 |
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
0.8419869542121887
0 references
0.8375527262687683
0 references
0.8375527262687683
0 references
0.7984147667884827
0 references
0.7981706261634827
0 references
