Adnane Saoud, Murat Arcak. Characterization, verification and computation of robust controlled invariants for monotone dynamical systems. MCSS, 36(1):71-100, March 2024. [doi]
@article{SaoudA24,
title = {Characterization, verification and computation of robust controlled invariants for monotone dynamical systems},
author = {Adnane Saoud and Murat Arcak},
year = {2024},
month = {March},
doi = {10.1007/s00498-023-00368-z},
url = {https://doi.org/10.1007/s00498-023-00368-z},
researchr = {https://researchr.org/publication/SaoudA24},
cites = {0},
citedby = {0},
journal = {MCSS},
volume = {36},
number = {1},
pages = {71-100},
}