Abstraction-Based Output-Feedback Control with State-Based Specifications

Anne-Kathrin Schmuck, Mehrdad Zareian

We consider abstraction-based design of output-feedback controllers for non-linear dynamical systems against specifications over state-based predicates in linear-time temporal logi…