1 citations · 2 across the 4 of their papers we have counts for
4 papers · 1 filter
Control-Based Planning over Probability Mass Function Measurements via Robust Linear Programming
Mehdi Kermanshah, Calin Belta, Roberto Tron
We propose an approach to synthesize linear feedback controllers for linear systems in polygonal environments. Our method focuses on designing a robust controller that can account…
Robustness Measures and Monitors for Time Window Temporal Logic
Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron +1
Temporal logics (TLs) have been widely used to formalize interpretable tasks for cyber-physical systems. Time Window Temporal Logic (TWTL) has been recently proposed as a specifica…
HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements
Kacper Wardega, Max von Hippel, Roberto Tron +2
Emerging multi-robot systems rely on cooperation between humans and robots, with robots following automatically generated motion plans to service application-level tasks. Given the…
Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations
Kacper Wardega, Max von Hippel, Roberto Tron +2
The Weighted-Mean Subsequence Reduced (W-MSR) algorithm, the state-of-the-art method for Byzantine-resilient design of decentralized multi-robot systems, is based on discarding out…