Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*
Keyword(s):
Keyword(s):
Keyword(s):
2017 ◽
Vol 16
(5s)
◽
pp. 1-20
◽
2020 ◽
Vol 29
(11)
◽
pp. 2050177