On-the-fly symbolic synthesis with memory reduction guarantees.

Elisei Macoveiciuc, Gunther Reissig.
On-the-fly symbolic synthesis with memory reduction guarantees.
IEEE Trans. Automat. Control, vol. 68, no. 4, Apr 2023, pp. 2576-2583.

Full text. (Definitive publication; restricted access.)

Abstract:
We present novel on-the-fly abstraction-based controller synthesis algorithms for two fundamental specifications - invariance and optimal reachability. In contrast to existing methods, the algorithms we propose do not require pre-computation or storage of any large abstraction parts. This translates to orders of magnitude of reduction in memory consumption compared to standard methods. Moreover, our algorithms fully apply to general non-linear systems and provide controllers that do not posses any additional conservatism. We demonstrate the successful synthesis of controllers for a problem that was previously unsolvable due to excessive memory and time consumption.

BibTeX entry:

@Article{MacoveiciucReissig23,
 author = {Elisei Macoveiciuc and Gunther Reissig},
 title = {On-the-fly symbolic synthesis with memory reduction guarantees},
 journal = {IEEE Trans. Automat. Control},
 year = 2023,
 volume = 68,
 number = 4,
 pages = {2576-2583},
 month = apr,
 doi = {10.1109/TAC.2022.3188483}
}

Impressum und Haftungsausschluß