Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141)
From MaRDI portal
scientific article; zbMATH DE number 7806832
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications |
scientific article; zbMATH DE number 7806832 |
Statements
Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (English)
0 references
20 February 2024
0 references
nondeterministic discrete event system
0 references
bisimulation equivalence
0 references
supervisory control
0 references
supervisor synthesis
0 references
0 references
0 references
0 references
