No label defined (Q4782090)
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 1836405
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1836405 |
Statements
27 November 2002
0 references
temporal safety
0 references
supervisory control
0 references
discrete-event systems
0 references
invariance control
0 references
0.8377420902252197
0 references
0.8209286332130432
0 references
0.8086866140365601
0 references
0.7944756746292114
0 references
0.7733331322669983
0 references
The author studies the supervisory control of logical discrete-event systems modelled entirely within a temporal logic framework. The author shows that beyond the usual development of the expected basic results on supervisor existence and synthesis, the temporal logic systems analysis for the invariance control of an arbitrary past formula yields now structural insights into the existence of safety control. The full proofs of results are omitted. For the entire collection see [Zbl 0996.00058].
0 references
