Login / Signup
Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks.
Luyao Niu
Bhaskar Ramasubramanian
Andrew Clark
Linda Bushnell
Radha Poovendran
Published in:
CoRR (2020)
Keyphrases
</>
temporal logic
cyber physical systems
model checking
control system
modal logic
cyber physical
reactive systems
verification method
linear temporal logic
physical world
mazurkiewicz traces
cyber security
social networks
information systems
decision making
transition systems