Observation-assisted heuristic synthesis of covert attackers against unknown supervisors (Q2081087)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Observation-assisted heuristic synthesis of covert attackers against unknown supervisors |
scientific article |
Statements
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors (English)
0 references
12 October 2022
0 references
cyber-physical systems
0 references
discrete-event systems
0 references
covert attack
0 references
partial-observation
0 references
supervisor synthesis
0 references
unknown model
0 references
