Funder
Air Force Office of Scientific Research
National Science Foundation
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09
2. BOCoSy: Small but Powerful Symbolic Output-Feedback Control;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04
3. On abstraction-based controller design with output feedback;Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control;2020-04-17