Uncertainty-Aware Signal Temporal Logic Inference

Safe Control under Uncertainty with Probabilistic Signal Temporal Logic

Safe control of dynamical systems that satisfy temporal invariants expressing various safety properties is a challenging problem that has drawn the attention of many researchers. However, making the assumption that such temporal properties are deterministic is far from the reality. For example, a robotic system might employ a camera sensor and a machine learned system to identify obstacles. Con...

On Signal Temporal Logic

Uncertainty, fuzzy logic, and signal processing

In this paper we focus on model-based statistical signal processing and how some problems that are associated with it can be solved using fuzzy logic. We explain how uncertainty (which is prevalent in statistical signal processing applications) can be handled within the framework of fuzzy logic. Type-1 singleton and non-singleton fuzzy logic systems (FLSs) are reviewed. Type-2 FLSs, which are r...

A Temporal Logic for Planning under Uncertainty

Dealing with uncertainty in the context of planning has been an active research subject in AI. Addressing the case when uncertainty evolves over time can be difficult. In this work, we provide a solution to this problem by proposing a temporal logic to reason about quantities and probability. For this logic, we provide a PSPACE SAT algorithm together with a complete calculus. The algorithm enab...

Robust Online Monitoring of Signal Temporal Logic

Requirements of cyberphysical systems (CPS) can be rigorously specified using Signal Temporal Logic (STL). STL comes equipped with semantics that are able to quantify how robustly a given signal satisfies an STL property. In a setting where signal values over the entire time horizon of interest are available, efficient algorithms for offline computation of the robust satisfaction value have bee...