Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (Q6100443)
From MaRDI portal
scientific article; zbMATH DE number 7700161
Language | Label | Description | Also known as |
---|---|---|---|
English | Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder |
scientific article; zbMATH DE number 7700161 |
Statements
Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (English)
0 references
22 June 2023
0 references
privacy-preserving
0 references
supervisory control
0 references
opacity enforcement
0 references
dynamic mask
0 references
edit function
0 references
supervisor
0 references
0 references
0 references
0 references