Minimizing the Information Leakage Regarding High-Level Task Specifications

Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties

“…where the margin function M G(•) is defined in (18), ζ is a positive constant, the external time t is usually set to be 0.…”

“…For the learning aspect, there has been a growing interest in learning (inferring) dense-time temporal logic formulae from system trajectories [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14]. Such temporal logic formulae have been used as high-level knowledge or specifications in many applications in robotics [15], [16], [17], [18], power systems [19], [20], [21], [22], smart buildings [23], [24], agriculture [25], etc. We infer dense-time temporal logic formulae from the temperature and humidity sensor data as dense-time temporal logics can effectively capture the time-related features in the transient period when people enter a room.…”

Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach

“…Besides, there has been no work in optimal control of epidemic models with formal specifications (e.g., expressed in temporal logic formulas). Control synthesis with temporal logic specifications: There are three main categories of approaches to designing controllers that meet temporal logic specifications [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27]. The first category of approaches abstract the system as a transition system and transform the control syntheses problem into a series of constrained reachability problems [28], [29], [30].…”

Robust Inference and Verification of Temporal Logic Classifier-in-the-loop Systems

“…With the increasing development of artificial intelligence and machine learning, there has been a growing interest in learning (inferring) dense-time temporal logic formulas from system trajectories [2,3,4,5,6,7,8,9,10,11,12,13]. Such temporal logic formulas have been used as high-level knowledge or specifications in many applications in robotics [14,15,16,17], power systems [18,19,20,21], smart buildings [22,23], agriculture [24], etc. We use the temporal logic inference methods to infer temporal logic formulas that can classify different actions of the system based on the environment.…”