# Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis

## TL;DR

This paper introduces a flexible framework for control synthesis that combines various techniques within the abstraction-based control pipeline, improving efficiency and adaptability for complex dynamical systems.

## Contribution

It presents a novel, extensible methodology based on relational interfaces to integrate multiple control synthesis techniques seamlessly.

## Key findings

- Memory usage reduced in control synthesis
- Runtime improvements demonstrated on Dubins vehicle example
- Framework enables custom and hybrid control procedures

## Abstract

Successfully synthesizing controllers for complex dynamical systems and specifications often requires leveraging domain knowledge as well as making difficult computational or mathematical tradeoffs. This paper presents a flexible and extensible framework for constructing robust control synthesis algorithms and applies this to the traditional abstraction-based control synthesis pipeline. It is grounded in the theory of relational interfaces and provides a principled methodology to seamlessly combine different techniques (such as dynamic precision grids, refining abstractions while synthesizing, or decomposed control predecessors) or create custom procedures to exploit an application's intrinsic structural properties. A Dubins vehicle is used as a motivating example to showcase memory and runtime improvements.