ToolboxLS

Clone of Ian M. Mitchell's ToolboxLS repository. (https://bitbucket.org/ian_mitchell/toolboxls)

IEEE-TAC-2021

Analysis code to generate figures and artifacts presented in Chapman, et al., “Risk-sensitive safety analysis using Conditional Value-at-Risk,” submitted to IEEE Transactions on Automatic Control, January 2021.

IEEE-TAC-2019

Analysis code to generate figures and artifacts presented in Chapman, et al., “Risk-sensitive safety specifications for stochastic systems using Conditional Value-at-Risk,” submitted to IEEE Transactions on Automatic Control, September 2019.

IEEE-TCST-2021

Analysis code to generate figures and artifacts presented in K. M. Smith and M. P. Chapman, “On Exponential Utility and Conditional Value-at-Risk as Risk-Averse Performance Criteria,” submitted to IEEE Transactions on Control Systems Technology, August 2021.

ReachabilityAnalysisAsADesignToolForStormwaterSystems

Analysis code to generate figures and artifacts presented in Chapman, et al., “Reachability Analysis as a Design Tool for Stormwater Systems,” in 6th IEEE Conference on Technologies for Sustainability, November 2018.