Compositional Synthesis with Parametric Reactive Controllers

DOI10.1145/2883817.2883842zbMath1364.93252OpenAlexW2342349499MaRDI QIDQ2988986

Ufuk Topcu, Salar Moarref, Rajeev Alur

Publication date: 19 May 2017

Published in: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2883817.2883842

zbMATH Keywords

formal methodscontroller synthesisreactive synthesiscompositional synthesisrobot motion planningparametric reactive controllers

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Synthesis problems (93B50)

Related Items (1)

Compositional and symbolic synthesis of reactive controllers for multi-agent systems

This page was built for publication: Compositional Synthesis with Parametric Reactive Controllers