Symbolic Control Design for Monotone Systems with Directed Specifications

Eric S. Kim, Murat Arcak, and Sanjit A. Seshia. Symbolic Control Design for Monotone Systems with Directed Specifications. Automatica, 83:10–19, 2017.

Download

[HTML] 

Abstract

We study the control of monotone systems when the objective is to maintain trajectories in a directed set (that is, either upper or lower set) within a signal space. We define the notion of a directed alternating simulation relation and show how it can be used to tackle common bottlenecks in abstraction-based controller synthesis. First, we develop sparse abstractions to speed up the controller synthesis procedure by reducing the number of transitions. Next, we enable a compositional synthesis approach by employing directed assume–guarantee contracts between systems. In a vehicle traffic network example, we synthesize an intersection signal controller while dramatically reducing runtime and memory requirements compared to previous approaches.

BibTeX

@article{kim-automatica17,
  author    = {Eric S. Kim and
               Murat Arcak and
               Sanjit A. Seshia},
  title     = {Symbolic Control Design for Monotone Systems with Directed Specifications},
  journal   = {Automatica},
  volume    = {83},
  pages     = {10--19},
  year      = {2017},
  abstract = {We study the control of monotone systems when the objective is to maintain trajectories in a directed set (that is, either upper or lower set) within a signal space. We define the notion of a directed alternating simulation relation and show how it can be used to tackle common bottlenecks in abstraction-based controller synthesis. First, we develop sparse abstractions to speed up the controller synthesis procedure by reducing the number of transitions. Next, we enable a compositional synthesis approach by employing directed assume–guarantee contracts between systems. In a vehicle traffic network example, we synthesize an intersection signal controller while dramatically reducing runtime and memory requirements compared to previous approaches.},
}