Poster Abstract: Towards Seamless Reactivity of Hybrid Control

Lucas Neves Egidio,Satya Prakash Nayak,Matteo Della Rossa,Anne-Kathrin Schmuck,Raphaël Jungers

HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control（2023）

引用 0|浏览3

暂无评分

摘要

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.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要