Abstract:The paper focuses on the problem of formal synthesis of controllers for
control-affine nonlinear systems against complex properties. Our goal is
to design a closed-form control policy that guarantees the satisfaction
of complex properties that are expressed using ( ω)-regular
languages and equivalently recognized by Non-deterministic Büchi
Automata (NBA). We propose leveraging a funnel-based control approach to
provide a closed-form solution to the problem. Our approach decomposes
the specification represented… Show more
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.