Estimator-based reactive synthesis under incomplete information

DOI10.1145/2728606.2728626zbMath1366.68167OpenAlexW2073104588MaRDI QIDQ2988946

Rüdiger Ehlers, Ufuk Topcu

Publication date: 19 May 2017

Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2728606.2728626

Mathematics Subject Classification ID

Transportation, logistics and supply chain management (90B06) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

BOCoSy: Small but Powerful Symbolic Output-Feedback Control ⋮ Deadlock-free output feedback controller design based on approximately abstracted observers ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• On Fixed Points of Strictly Causal Functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• Hybrid Systems: Computation and Control

This page was built for publication: Estimator-based reactive synthesis under incomplete information