4 papers
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis
Eric S. Kim, Murat Arcak, Sanjit A. Seshia
Successfully synthesizing controllers for complex dynamical systems and specifications often requires leveraging domain knowledge as well as making difficult computational or mathe…
Abstractions for Symbolic Controller Synthesis are Composable
Eric S. Kim, Murat Arcak
Translating continuous control system models into finite automata allows us to use powerful discrete tools to synthesize controllers for complex specifications. The abstraction con…
Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety
Eric S. Kim, Murat Arcak, Sanjit A. Seshia +2
Distributed controllers are often necessary for a multi-agent system to satisfy safety properties such as collision avoidance. Communication and coordination are key requirements i…
Sparsity-Sensitive Finite Abstraction
Felix Gruber, Eric S. Kim, Murat Arcak
Abstraction of a continuous-space model into a finite state and input dynamical model is a key step in formal controller synthesis tools. To date, these software tools have been li…