Publications

Conference Publications

• M. Srinivasan, C. Santoyo, S. Coogan "Continuous Reachability Task Transition Using Control Barrier Functions," International Federation of Automatic Control (IFAC) , 2020. (abstract)

• C. Santoyo, G. Nilsson, S. Coogan "Multi-Level Electric Vehicle Charging Facilities with Limited Resources," International Federation of Automatic Control (IFAC) , 2020. (abstract)

• M. Dutreix, C. Santoyo, M. Abate, S. Coogan. "Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions" American Control Conference (ACC), 2020. (abstract)

• C. Santoyo, M. Dutreix, S. Coogan, "Verification and control for finite-time safety of stochastic systems via barrier functions." In the proceedings of 2019 IEEE Conference on Control Technology and Applications (CCTA), 2019. (abstract)

Journal Publications

• C. Santoyo, G. Nilsson, and S. Coogan "Resource Aware Pricing for Electric Vehicle Charging," in submission , 2020. (abstract)

• C. Santoyo, M. Dutreix, S. Coogan "A barrier function approach to finite-time stochastic system verification and control," in submission , 2020. (abstract)