Scipediacontent: Scipediacontent moved page Draft Content 402705714 to Kim et al 2019a

2020-10-14T13:55:04Z

Scipediacontent moved page Draft Content 402705714 to Kim et al 2019a

Scipediacontent: Created page with " == Abstract == Successfully synthesizing controllers for complex dynamical systems and specifications often requires leveraging domain knowledge as well as making difficult..."

2020-10-14T13:55:02Z

Created page with " == Abstract == Successfully synthesizing controllers for complex dynamical systems and specifications often requires leveraging domain knowledge as well as making difficult..."

New page

== 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.

Document type: Part of book or chapter of book

== Full document ==
<pdf>Media:Draft_Content_402705714-beopen895-4680-document.pdf</pdf>

== Original document ==

The different versions of the original document can be found in:

* [http://arxiv.org/abs/1905.09503 http://arxiv.org/abs/1905.09503]

* [http://dx.doi.org/10.1007/978-3-030-25540-4_34 http://dx.doi.org/10.1007/978-3-030-25540-4_34]

* [https://link.springer.com/content/pdf/10.1007%2F978-3-030-25540-4_34.pdf https://link.springer.com/content/pdf/10.1007%2F978-3-030-25540-4_34.pdf] under the license cc-by

← Older revision	Revision as of 13:55, 14 October 2020
(No difference)

Kim et al 2019a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 402705714 to Kim et al 2019a

Scipediacontent: Created page with " == Abstract == Successfully synthesizing controllers for complex dynamical systems and specifications often requires leveraging domain knowledge as well as making difficult..."