Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems

Ratnangshu Das, Aiman Aatif Bayezeed, Pushpak Jagtap

This paper provides a discretization-free solution to the synthesis of approx-imation-free closed-form controllers for unknown nonlinear systems to enforce complex properties expre…