Hybrid systems tools for compiling controllers for cyber-physical systems
From MaRDI portal
Publication:434457
DOI10.1007/s10626-011-0117-8zbMath1242.93084MaRDI QIDQ434457
Patrick Martin, Magnus B. Egerstedt
Publication date: 10 July 2012
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-011-0117-8
93C95: Application models in control theory
93C85: Automated systems (robots, etc.) in control theory
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)