Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments

Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments

This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex time-sensitive tasks in the presence of an adversary. The time-sensitive task is specified as a formula in the metric interval temporal logic (MITL). CPSs that operate in adversar...

Full description

Bibliographic Details
Main Authors: Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
Format: Article
Language:English
Published: MDPI AG 2023-03-01
Series:Games
Subjects:
MITL specification
control synthesis
adversary
robustness
Stackelberg game
Online Access:https://www.mdpi.com/2073-4336/14/2/30

Internet

https://www.mdpi.com/2073-4336/14/2/30

Similar Items