Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence (Q2828481)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence |
scientific article |
Statements
Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence (English)
0 references
26 October 2016
0 references
discrete-event systems
0 references
bisimulation equivalence
0 references
non-deterministic systems
0 references
decentralized supervisory control
0 references
0 references
0 references
0 references
0 references
