Fetching the paper…
Reading the bibliography…
With the growing interest in deploying robots in unstructured and uncertain environments, there has been increasing interest in factoring risk into safety-critical control development.
M. Srinivasan, S. Coogan, and M. Egerstedt, “Control of multi-agent systems with finite time control barrier certificates and temporal logic,” in 2018 IEEE Conference on Decision and Control (CDC) . IEEE, 2018, pp. 1991–1996
1996
Earlier work this paper cites.
T. J. Linsmeier and N. D. Pearson, “Value at risk,” Financial Analysts Journal , vol. 56, no. 2, pp. 47–67, 2000
2000
Earlier work this paper cites.
R. T. Rockafellar, S. Uryasev, et al. , “Optimization of conditional value-at-risk,” Journal of risk , vol. 2, pp. 21–42, 2000
2000
Earlier work this paper cites.
F. Andersson, H. Mausser, D. Rosen, and S. Uryasev, “Credit risk optimization with conditional value-at-risk criterion,” Mathematical programming , vol. 89, no. 2, pp. 273–291, 2001
2001
Earlier work this paper cites.
N. Larsen, H. Mausser, and S. Uryasev, “Algorithms for optimization of value-at-risk,” in Financial engineering, E-commerce and supply chain . Springer, 2002, pp. 19–46
2002
Earlier work this paper cites.
S. Thrun, W. Burgard, and D. Fox, Probabilistic Robotics (Intelligent Robotics and Autonomous Agents) . The MIT Press, 2005
2005
Earlier work this paper cites.
S. Prajna, A. Jadbabaie, and G. J. Pappas, “A framework for worst-case and stochastic safety verification using barrier certificates,” IEEE Transactions on Automatic Control , vol. 52, no. 8, pp. 1415–1428, 2007
2007
Earlier work this paper cites.
M. C. Campi and S. Garatti, “The exact feasibility of randomized solutions of uncertain convex programs,” SIAM Journal on Optimization , vol. 19, no. 3, pp. 1211–1230, 2008
2008
Earlier work this paper cites.
A. Donzé, “Breach, a toolbox for verification and parameter synthesis of hybrid systems,” in International Conference on Computer Aided Verification . Springer, 2010, pp. 167–170
2010
Earlier work this paper cites.
A. Donzé and O. Maler, “Robust satisfaction of temporal logic over real-valued signals,” in International Conference on Formal Modeling and Analysis of Timed Systems . Springer, 2010, pp. 92–106
2010
Earlier work this paper cites.
Y. Annpureddy, C. Liu, G. Fainekos, and S. Sankaranarayanan, “S-taliro: A tool for temporal logic falsification for hybrid systems,” in International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Springer, 2011, pp. 254–257
2011
Cited alongside, same era.
J. Steinhardt and R. Tedrake, “Finite-time regional verification of stochastic non-linear systems,” The International Journal of Robotics Research , vol. 31, no. 7, pp. 901–923, 2012
2012
Cited alongside, same era.
K. J. Åström, Introduction to stochastic control theory . Courier Corporation, 2012
2012
Cited alongside, same era.
C. L. McGhan, T. Vaquero, A. R. Subrahmanya, O. Arslan, R. Murray, M. D. Ingham, M. Ono, T. Estlin, B. Williams, and M. Elaasar, “The resilient spacecraft executive: An architecture for risk-aware operations in uncertain environments,” in Aiaa Space 2016 , 2016, p. 5541
2016
Cited alongside, same era.
L. Lindemann and D. V. Dimarogonas, “Control barrier functions for multi-agent systems under conflicting local signal temporal logic tasks,” IEEE control systems letters , vol. 3, no. 3, pp. 757–762, 2019
2019
Later among the works it cites.
M. Ahmadi, M. Ono, M. D. Ingham, R. M. Murray, and A. D. Ames, “Risk-averse planning under uncertainty,” in 2020 American Control Conference (ACC) . IEEE, 2020, pp. 3305–3312
2020
Later among the works it cites.
2020
Later among the works it cites.
A. Majumdar and M. Pavone, “How should a robot assess risk? towards an axiomatic theory of risk in robotics,” in Robotics Research . Springer, 2020, pp. 75–84
2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A. D. Ames, X. Xu, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs for safety critical systems,” IEEE Transactions on Automatic Control , vol. 62, no. 8, pp. 3861–3876, 2016
2016
Cited alongside, same era.
S. Haesaert, P. M. Van den Hof, and A. Abate, “Data-driven and model-based verification via bayesian identification and reachability analysis,” Automatica , vol. 79, pp. 115–126, 2017
2017
Cited alongside, same era.
R. Wisniewski and M. L. Bujorianu, “Stochastic safety analysis of stochastic hybrid systems,” in 2017 IEEE 56th Annual Conference on Decision and Control (CDC) . IEEE, 2017, pp. 2390–2395
2017
Cited alongside, same era.
J. V. Deshmukh, A. Donzé, S. Ghosh, X. Jin, G. Juniwal, and S. A. Seshia, “Robust online monitoring of signal temporal logic,” Formal Methods in System Design , vol. 51, no. 1, pp. 5–30, 2017
2017
Cited alongside, same era.
S. Ghosh, F. Berkenkamp, G. Ranade, S. Qadeer, and A. Kapoor, “Verifying controllers against adversarial examples with bayesian optimization,” in 2018 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2018, pp. 7306–7313
2018
Cited alongside, same era.
T. Dreossi, D. J. Fremont, S. Ghosh, E. Kim, H. Ravanbakhsh, M. Vazquez-Chanlatte, and S. A. Seshia, “Verifai: A toolkit for the formal design and analysis of artificial intelligence-based systems,” in International Conference on Computer Aided Verification . Springer, 2019, pp. 432–442
2019
Cited alongside, same era.
S. Wilson, P. Glotfelter, L. Wang, S. Mayya, G. Notomista, M. Mote, and M. Egerstedt, “The robotarium: Globally impactful opportunities, challenges, and lessons learned in remote-access, distributed control of multirobot systems,” IEEE Control Systems Magazine , vol. 40, no. 1, pp. 26–44, 2020
2020
Later among the works it cites.
A. Corso, R. Moss, M. Koren, R. Lee, and M. Kochenderfer, “A survey of algorithms for black-box safety validation of cyber-physical systems,” Journal of Artificial Intelligence Research , vol. 72, pp. 377–428, 2021
2021
Later among the works it cites.
C. Santoyo, M. Dutreix, and S. Coogan, “A barrier function approach to finite-time stochastic system verification and control,” Automatica , vol. 125, p. 109439, 2021
2021
Later among the works it cites.
M. Ahmadi, U. Rosolia, M. D. Ingham, R. M. Murray, and A. D. Ames, “Constrained risk-averse markov decision processes,” in The 35th AAAI Conference on Artificial Intelligence (AAAI-21) , 2021
2021
Later among the works it cites.
M. Ahmadi, X. Xiong, and A. D. Ames, “Risk-averse control via cvar barrier functions: Application to bipedal robot locomotion,” IEEE Control Systems Letters , vol. 6, pp. 878–883, 2022
2022
Closest in time.