The Verification and Control of Interacting Similar Discrete-Event Systems (Q3427785)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Verification and Control of Interacting Similar Discrete-Event Systems |
scientific article |
Statements
The Verification and Control of Interacting Similar Discrete-Event Systems (English)
0 references
27 March 2007
0 references
control
0 references
discrete-event systems
0 references
isomorphic behavior
0 references
distributed systems
0 references
