Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence (Q2828481)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence |
scientific article; zbMATH DE number 6643294
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence |
scientific article; zbMATH DE number 6643294 |
Statements
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
Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence (English)
0 references
