Poster Abstract: Towards Seamless Reactivity of Hybrid Control

Abstract

This poster presents a new technique to synthesize a reactive hybrid controller which actuates a non-linear control system in response to external logical inputs to fulfill an omega-regular specification over a finite set of logical input and observation predicates.