Characterization, verification and computation of robust controlled invariants for monotone dynamical systems

Adnane Saoud, Murat Arcak. Characterization, verification and computation of robust controlled invariants for monotone dynamical systems. MCSS, 36(1):71-100, March 2024. [doi]

Abstract

Abstract is missing.