Fetching the paper…
Reading the bibliography…
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite-time horizon.
Safe policy synthesis in multi-agent pomdps via discrete-time barrier functions
Ahmadi, M., Singletary, A., Burdick, J. W., and Ames, A. D. (2019) · 1903
Earlier work this paper cites.
Control barrier functions: Theory and applications
Ames, A. D., Coogan, S., Egerstedt, M., Notomista, G., Sreenath, K., and Tabuada, P. (2019) · 1903
Earlier work this paper cites.
Formal synthesis of stochastic systems via control barrier certificates
Jagtap, P., Soudjani, S., and Zamani, M. (2019) · 1905
Earlier work this paper cites.
Finite time stochastic stability and the analysis of tracking systems
Kushner, H. (1966) · 1966
Earlier work this paper cites.
Stochastic stability and control
Kushner, H. J. (1967) · 1967
Earlier work this paper cites.
Introduction to stochastic control
Kushner, H. (1971) · 1971
Earlier work this paper cites.
Stochastic differential equations : an introduction with applications
ؘksendal, B. (1998) · 1998
Earlier work this paper cites.
Sdpt3 - a matlab software package for semidefinite programming, version 1.3
Toh, K., Todd, M., and Tutuncu, R. (1999) · 1999
Earlier work this paper cites.
Solving semidefinite-quadratic-linear programs using sdpt3
Toh, K. C., Todd, M. J., and Tutuncu, R. (2003) · 2003
Cited alongside, same era.
Stochastic safety verification using barrier certificates
Prajna, S., Jadbabaie, A., and Pappas, G. J. (2004) · 2004
Cited alongside, same era.
A framework for worst-case and stochastic safety verification using barrier certificates
Prajna, S., Jadbabaie, A., and Pappas, G. (2007) · 2007
Cited alongside, same era.
Constructive safety using control barrier functions
Wieland, P. and Allgöwer, F. (2007) · 2007
Cited alongside, same era.
Finite-time regional verification of stochastic non-linear systems
Steinhardt, J. and Tedrake, R. (2012) · 2012
Cited alongside, same era.
An Introduction to Mathematical Population Dynamics: Along the Trail of Volterra and Lotka
Iannelli, M. and Pugliese, A. (2015) · 2015
Later among the works it cites.
Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation
Agrawal, A. and Sreenath, K. (2017) · 2017
Later among the works it cites.
Control barrier function based quadratic programs for safety critical systems
Ames, A. D., Xu, X., Grizzle, J. W., and Tabuada, P. (2017) · 2017
Later among the works it cites.
Safety barrier certificates for collisions-free multirobot systems
Wang, L., Ames, A. D., and Egerstedt, M. (2017) · 2017
Later among the works it cites.
Temporal logic verification of stochastic systems using barrier certificates
Jagtap, P., Soudjani, S., and Zamani, M. (2018) · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Papachristodoulou, A., Anderson, J., Valmorbida, G., Prajna, S., Seiler, P., and Parrilo, P. A. (2013) · 2013
Cited alongside, same era.
Control barrier function based quadratic programs with application to adaptive cruise control
Ames, A. D., Grizzle, J. W., and Tabuada, P. (2014) · 2014
Cited alongside, same era.
Control barrier function based quadratic programs with application to bipedal robotic walking
Hsu, S.-C., Xu, X., and Ames, A. D. (2015) · 2015
Cited alongside, same era.
Input-to-state safety with control barrier functions
Kolathaya, S. and Ames, A. D. (2018) · 2018
Later among the works it cites.
Formally correct composition of coordinated behaviors using control barrier certificates
Li, A., Wang, L., Pierpaoli, P., and Egerstedt, M. (2018) · 2018
Later among the works it cites.
Verification and control for finite-time safety of stochastic systems via barrier functions
Santoyo, C., Dutreix, M., and Coogan, S. D. (2019) · 2019
Closest in time.