43 citations · 168 across the 35 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
eess.SY2015★ 6 cited
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis
Robert Mattila, Yilin Mo, Richard M. Murray
In this paper, we consider the problem of synthesizing correct-by-construction controllers for discrete-time dynamical systems. A commonly adopted approach in the literature is to…
cs.LO2015★ 4 cited
Symbolic construction of GR(1) contracts for synchronous systems with full information
Ioannis Filippidis, Richard M. Murray
This work proposes a symbolic algorithm for the construction of assume-guarantee specifications that allow multiple agents to cooperate. Each agent is assigned goals expressed in a…