On decidability of existence of nonblocking supervisors resilient to smart sensor attacks.
Rong SuPublished in: Autom. (2023)
Keyphrases
- intrusion detection and prevention
- sensor networks
- description logics
- wireless sensor
- malicious attacks
- sensor data
- countermeasures
- query answering
- real time
- sensor fusion
- continuous queries
- smart grid
- traffic analysis
- knowledge base
- terrorist attacks
- complementarity problems
- chosen plaintext
- intrusion detection
- data management
- multi sensor
- digital images
- smart environments
- database systems
- decision procedures
- web services
- database