Optimized State Space Grids for Abstractions

DOI10.1109/TAC.2016.2642794zbMath1390.93419arXiv1711.01637OpenAlexW3099113746MaRDI QIDQ4566928

Matthias Rungger, Alexander Weber, Gunther Reißig

Publication date: 27 June 2018

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1711.01637

Mathematics Subject Classification ID

Synthesis problems (93B50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (5)

Alexander Borisovich Kurzhanskiĭ (on the occasion of his 75th birthday) ⋮ Abstraction-based control synthesis using partial information ⋮ ABS: A formally correct software tool for space-efficient symbolic synthesis ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Lazy controller synthesis for monotone transition systems and directed safety specifications

This page was built for publication: Optimized State Space Grids for Abstractions