Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction

Keyphrases

• Efficient Synthesis 100%
• Failed Attacks 100%
• Sensor Deception Attacks 100%
• Equivalence Relation 50%
• Attacker 50%
• Computationally Expensive 25%
• Computational Complexity 25%
• Intrusion Detection 25%
• Supervisory Control 25%
• Synthesis Methods 25%
• Computational Effort 25%
• Synthesis Problem 25%
• Original System 25%
• Detection Module 25%
• Hijack 25%
• Complete Solution 25%
• Limited Observation 25%
• Partially Observed Systems 25%
• System Guarantee 25%

Computer Science

• Successful Attack 100%
• Attackers 50%
• Equivalence Relation 50%
• Computational Complexity 25%
• Intrusion Detection 25%
• Computational Effort 25%

Mathematics

• Equivalence Relation 100%
• Computational Effort 50%
• Complete Solution 50%