Poster Abstract: Towards Seamless Reactivity of Hybrid Control

Neves Egidio, Lucas;Nayak,Satya Prakash;Della Rossa, Matteo;Schmuck, Anne-Kathrin;Jungers, Raphaël
(2023) HSCC 2023, 26th ACM International Conference on Hybrid Systems: Computation and Control — Location: San Antonio, TX, USA (9.May.2023)

Files

main.pdf
  • Open Access
  • Adobe PDF
  • 728.55 KB

Details

Authors
  • Neves Egidio, Lucasorcid-logoUCLouvain
    Author
  • Nayak,Satya PrakashMPI-SWS, Germany
    Author
  • Della Rossa, MatteoUCLouvain
    Author
  • Schmuck, Anne-KathrinMPI-SWS, Germany
    Author
  • Author
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.
Affiliations

Citations

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