Showing eess.SYShow all
3 papers · 1 filter
eess.SY2026
A Reactive Redistribution Mechanism for STL Tasks in Multi-Agent Systems Under Time-Varying Communication
Gregorio Marchesini, Bjarne Jan Jesse Moro, Siyuan Liu +2
We present a communication-aware task decomposition framework for multi-agent systems with collaborative relative configuration objectives specified in Signal Temporal Logic (STL),…
eess.SY2023
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
Xinyi Yu, Yiqi Zhao, Xiang Yin +1
The control of dynamical systems under temporal logic specifications among uncontrollable dynamic agents is challenging due to the agents' a-priori unknown behavior. Existing works…
eess.SY2023
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks
Chuwei Wang, Xinyi Yu, Jianing Zhao +2
Online monitoring is a widely used technique in assessing if the performance of the system satisfies some desired requirements during run-time operation. Existing works on online m…