Signal temporal logic synthesis under Model Predictive Control: A low complexity approach
In this paper, we focus on the challenging problem of model predictive control (MPC) for
dynamics systems with high-level tasks formulated as signal temporal logic (STL). The state …
dynamics systems with high-level tasks formulated as signal temporal logic (STL). The state …
Multi-Agent Robust Control Synthesis from Global Temporal Logic Tasks
This paper focuses on the heterogeneous multi-agent control problem under global
temporal logic tasks. We define a specification language, called extended capacity temporal …
temporal logic tasks. We define a specification language, called extended capacity temporal …
Heterogeneous Multi-Agent Reinforcement Learning based on Adaptive Curiosity for Traffic Signal Control
Intelligent Traffic Signal Control (TSC) aims to optimize urban traffic management. However,
the traditional fixed-cycle intersection signal stands as one of the main factors causing traffic …
the traditional fixed-cycle intersection signal stands as one of the main factors causing traffic …
Robust Traffic Flow Control using Signal Spatio-Temporal Logic
SV Patil, K Hashimoto, M Kishida - 2023 European Control …, 2023 - ieeexplore.ieee.org
For reliable traffic control at signalized crossings, this study examines the traffic signal
optimization problem using formal methods. Our earlier research considered model …
optimization problem using formal methods. Our earlier research considered model …