GenSys - A Scalable Fixed - point Engine for Maximal Controller Synthesis over Infinite State Spaces

Resilient Abstraction Based Controller Design

@misc{samuel2020resilient, title={Resilient Abstraction-Based Controller Design}, author={Stanly Samuel and Kaushik Mallik and Anne-Kathrin Schmuck and Daniel Neider}, booktitle={Conference on Decision and Control}, year={CDC 2020}, eprint={2008.06315}, archivePrefix={arXiv}, primaryClass={eess.SY} } https://ieeexplore.ieee.org/abstract/document/9303932 PDF: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9303932 GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces @article{samuel2021gensysarxiv, title={GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces}, author={Samuel, Stanly and D’Souza, Deepak and Komondoor, Raghavan}, journal={arXiv preprint arXiv:2107.08794}, year={2021} } https://2021.esec-fse.org/details/fse-2021-demonstrations/19/GenSys-A-Scalable-FixedPoint-Engine-for-Maximal-Controller-Synthesis-over-InfinitePDF: https://arxiv.org/pdf/2107.08794.pd