Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors

DOI10.1145/2883817.2883832zbMath1364.93258OpenAlexW2336884378MaRDI QIDQ2988987

Hadas Kress-Gazit, Jonathan De Castro

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

zbMATH Keywords

verificationnonlinear systemsmotion planningcontroller synthesisbarrier certificates

Mathematics Subject Classification ID

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

Related Items (1)

Automated generation of dynamics-based runtime certificates for high-level control

This page was built for publication: Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors