Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations.
Ipsita KoleySaurav Kumar GhoshSoumyajit DeyDebdeep MukhopadhyayAmogh Kashyap K. N.Sachin Kumar SinghLavanya LokeshJithin Nalu PurakkalNishant SinhaPublished in: DATE (2020)
Keyphrases
- real time
- complex systems
- formal methods
- object detection
- automatic detection
- neural network
- knowledge base
- distributed systems
- false alarms
- detection algorithm
- monitoring system
- single point of failure
- security issues
- formal model
- efficient implementation
- lightweight
- knowledge based systems
- computer systems
- decision support
- management system
- expert systems