OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation
Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas

TL;DR
This paper introduces OneVision, a novel algorithm that automatically converts centralized controllers into distributed controllers with delay compensation for robotic systems, improving robustness and performance in the presence of communication delays.
Contribution
It presents a general method for synthesizing distributed controllers from arbitrary centralized controllers using optimal control and delay compensation, applicable to various robotic applications.
Findings
The algorithm effectively manages communication delays in robotic systems.
Closed-loop stability is proven under certain conditions.
Experimental results show significant performance improvements over baselines.
Abstract
We propose a new algorithm to simplify the controller development for distributed robotic systems subject to external observations, disturbances, and communication delays. Unlike prior approaches that propose specialized solutions to handling communication latency for specific robotic applications, our algorithm uses an arbitrary centralized controller as the specification and automatically generates distributed controllers with communication management and delay compensation. We formulate our goal as nonlinear optimal control -- using a regret minimizing objective that measures how much the distributed agents behave differently from the delay-free centralized response -- and solve for optimal actions w.r.t. local estimations of this objective using gradient-based optimization. We analyze our proposed algorithm's behavior under a linear time-invariant special case and prove that the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed Control Multi-Agent Systems · Advanced Control Systems Optimization · Formal Methods in Verification
