This paper studies the problem of synthesizing control policies for uncertain continuous-time
nonlinear systems from linear temporal logic (LTL) specifications using model-based …

This work presents an optimization-based control synthesis approach for an extension of
Signal Temporal Logic (STL) called weighted Signal Temporal Logic (wSTL). wSTL was …

The rising levels of autonomy exhibited by complex cyber-physical systems have brought
questions related to safety and adaptation to the forefront of the minds of controls and …

This paper is concerned with a compositional scheme for the construction of control barrier
certificates for interconnected discrete-time stochastic systems. The main objective is to …

In this paper we study the problem of synthesizing optimal control policies for uncertain
continuous-time nonlinear systems from syntactically co-safe linear temporal logic (scLTL) …

This work presents partial satisfaction control synthesis over an extension of Weighted
Signal Temporal Logic wSTL called wSTL+. The new specification language wSTL+ …

Temporal logic specifications have been used to express complex tasks for control systems.
Discretization-free approaches, which do not require discretizing the state and input spaces …

In this note, we propose a unified framework for the study of hybrid systems, where the tasks
of the systems are encoded as signal temporal logic (STL) specifications. First, we establish …

现有的基于时序逻辑任务的多体协同控制方法, 通常采用将时序任务描述为形式化语言后,
将其转化为自动机, 并与环境模型做乘积, 最后在乘积自动机中做图搜索等方式完成任务规划 …

Temporal logics are formal, expressive languages traditionally used in the computer science
area of formal methods to specify the correctness of digital circuits and computer programs …