Verification and enforcement of current-state opacity based on a state space approach (Q6099923)
From MaRDI portal
scientific article; zbMATH DE number 7699752
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification and enforcement of current-state opacity based on a state space approach |
scientific article; zbMATH DE number 7699752 |
Statements
Verification and enforcement of current-state opacity based on a state space approach (English)
0 references
21 June 2023
0 references
current-state opacity
0 references
partially-observed discrete event systems
0 references
supervisory control
0 references
semi-tensor product
0 references
algebraic state space
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
