Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics
From MaRDI portal
Publication:4559500
DOI10.1109/TAC.2018.2793463zbMath1423.93064arXiv1607.03193OpenAlexW2962710540MaRDI QIDQ4559500
Publication date: 4 December 2018
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1607.03193
Related Items (3)
BOCoSy: Small but Powerful Symbolic Output-Feedback Control ⋮ Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications ⋮ Deadlock-free output feedback controller design based on approximately abstracted observers
This page was built for publication: Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics