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.
Neves Egidio, L., Nayak, S. P., Della Rossa, M., Schmuck, A.-K., & Jungers, R. (2023). Poster Abstract: Towards Seamless Reactivity of Hybrid Control. HSCC 2023, 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, TX, USA. https://hdl.handle.net/2078.5/105633