Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications (Q5002129)
From MaRDI portal
scientific article; zbMATH DE number 7375083
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications |
scientific article; zbMATH DE number 7375083 |
Statements
Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications (English)
0 references
26 July 2021
0 references
