1. A barrier function approach to finite-time stochastic system verification and control. (March 2021) Authors: Santoyo, Cesar; Dutreix, Maxence; Coogan, Samuel Journal: Automatica Issue: Volume 125(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A contractive approach to separable Lyapunov functions for monotone systems. (August 2019) Authors: Coogan, Samuel Journal: Automatica Issue: Volume 106(2019) Page Start: 349 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Abstraction-based synthesis for stochastic systems with omega-regular objectives. (August 2022) Authors: Dutreix, Maxence; Huh, Jeongmin; Coogan, Samuel Journal: Nonlinear analysis Issue: Volume 45(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Continuous Reachability Task Transition Using Control Barrier Functions. Issue 2 (2020) Authors: Srinivasan, Mohit; Santoyo, Cesar; Coogan, Samuel Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 9696 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Continuous Reachability Task Transition Using Control Barrier Functions⁎This work was supported in part by the National Science Foundation under award #1749357. C. Santoyo was supported by the NSF Graduate Research Fellowship Program under Grant No. DGE1650044. Issue 2 (2020) Authors: Srinivasan, Mohit; Santoyo, Cesar; Coogan, Samuel Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 9696 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Finite abstraction of mixed monotone systems with discrete and continuous inputs. (February 2017) Authors: Coogan, Samuel; Arcak, Murat Journal: Nonlinear analysis Issue: Volume 23(2017) Page Start: 254 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Management of intersections with multi-modal high-resolution data. (July 2016) Authors: Muralidharan, Ajith; Coogan, Samuel; Flores, Christopher; Varaiya, Pravin Journal: Transportation research Issue: Volume 68(2016) Page Start: 101 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Management of intersections with multi-modal high-resolution data. (July 2016) Authors: Muralidharan, Ajith; Coogan, Samuel; Flores, Christopher; Varaiya, Pravin Journal: Transportation research Issue: Volume 68(2016) Page Start: 101 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Multi-Level Electric Vehicle Charging Facilities with Limited Resources. Issue 2 (2020) Authors: Santoyo, Cesar; Nilsson, Gustav; Coogan, Samuel Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 15428 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Offset optimization in signalized traffic networks via semidefinite relaxation. (June 2017) Authors: Coogan, Samuel; Kim, Eric; Gomes, Gabriel; Arcak, Murat; Varaiya, Pravin Journal: Transportation research Issue: Volume 100(2017) Page Start: 82 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗