Combining Artificial Intelligence planning advantages to assist preliminary formal analysis on Industrial Control System cybersecurity vulnerabilities.
Xinxin LouKarl WaedtYuan GaoInes Ben ZidVenesa WatsonPublished in: ECAI (2018)
Keyphrases
- formal analysis
- control system
- artificial intelligence
- formal methods
- fuzzy logic
- agent model
- planning problems
- closed loop
- ban logic
- areas of artificial intelligence
- industrial applications
- real time
- expert systems
- control law
- control algorithm
- heuristic search
- software engineering
- databases
- control strategy
- metamodel
- motion planning
- building blocks
- fuzzy control
- cognitive science
- knowledge representation
- computational intelligence
- computer science
- intelligent behavior