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:
ICCPS (2020)
Keyphrases
</>
temporal logic
cyber physical systems
model checking
control system
cyber physical
modal logic
verification method
linear temporal logic
computation tree logic
physical world
belief revision
dynamic constraints
data acquisition
transition systems
anomaly detection
decision making
information systems