Extended Versions
Under Review/In Progress
Galarza-Jimenez, F. ; Zamani, M. ; and Jafarpour, S. Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis. Under Review [PDF]
Galarza-Jimenez, F. and Zamani, M. Control Synthesis for Large-Scale Systems via Parity Certificates . Under Review [PDF]
Galarza-Jimenez, F. and Zamani, M. Closest-Approach Barriers. Under Review [PDF]