[IEEE 2019 IEEE Conference on Control Technology and Applications (CCTA) - Hong Kong, China (2019.8.19-2019.8.21)] 2019 IEEE Conference on Control Technology and Applications (CCTA) - Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions
Santoyo, Cesar, Dutreix, Maxence, Coogan, SamuelYear:
2019
DOI:
10.1109/ccta.2019.8920407
File:
PDF, 968 KB
2019