On Ladder Logic Bombs in Industrial Control Systems.
Naman GovilAnand AgrawalNils Ole TippenhauerPublished in: CoRR (2017)
Keyphrases
- control system
- industrial automation
- industrial applications
- modal logic
- automated reasoning
- multi valued
- real time
- predicate logic
- critical infrastructure
- neural network
- artificial intelligence
- knowledge representation
- asynchronous circuits
- control scheme
- industrial environment
- technology transfer
- real environment
- classical logic
- control law
- control algorithm
- learning algorithm
- machine learning