English
Related papers

Related papers: Continuous compliance: a proxy-based monitoring fr…

200 papers

This paper presents a tool for addressing a key component in many algorithms for planning robot trajectories under uncertainty: evaluation of the safety of a robot whose actions are governed by a closed-loop feedback policy near a nominal…

Robotics · Computer Science 2017-06-05 Edward Schmerling , Marco Pavone

Analytical, free of time consuming Monte Carlo simulations, framework for credit portfolio systematic risk metrics calculations is presented. Techniques are described that allow calculation of portfolio-level systematic risk measures…

Risk Management · Quantitative Finance 2011-07-14 Mikhail Voropaev

Monitoring means to observe a system for any changes which may occur over time, using a monitor or measuring device of some sort. In this paper we formulate a problem of monitoring dates of maximal risk of a financial position. Thus, the…

Risk Management · Quantitative Finance 2009-02-17 Erick Trevino Aguilar

We develop a formalism for insurance profit optimisation for the in-force business constraint by regulatory and risk policy related requirements. This approach is applicable to Life, P&C and Reinsurance businesses and applies in all…

Statistical Finance · Quantitative Finance 2025-11-19 Jan Maelger

Robust estimators for linear regression require non-convex objective functions to shield against adverse affects of outliers. This non-convexity brings challenges, particularly when combined with penalization in high-dimensional settings.…

Computation · Statistics 2025-08-08 David Kepplinger , Siqi Wei

Demand for high-performance, robust, and safe autonomous systems has grown substantially in recent years. These objectives motivate the desire for efficient safety-theoretic reasoning that can be embedded in core decision-making tasks such…

Robotics · Computer Science 2022-12-27 Kristoffer M. Frey , Ted J. Steiner , Jonathan P. How

Analytical, free of time consuming Monte Carlo simulations, framework for credit portfolio systematic risk metrics calculations is presented. Techniques are described that allow calculation of portfolio-level systematic risk measures…

Risk Management · Quantitative Finance 2010-08-02 Mikhail Voropaev

We present a Monte Carlo simulation framework for analysing the risk involved in deploying real-time control systems in safety-critical applications, as well as an algorithm design technique allowing one (in certain situations) to robustify…

Optimization and Control · Mathematics 2022-08-04 Mads R. Bisgaard , Lukas Hewing , Alexander Domahidi

Multi-objective probabilistic model checking provides a way to verify several, possibly conflicting, quantitative properties of a stochastic system. It has useful applications in controller synthesis and compositional probabilistic…

Logic in Computer Science · Computer Science 2015-03-20 Vojtech Forejt , Marta Kwiatkowska , David Parker

Sampling-based approaches are widely used in systems without analytic models to estimate risk or find optimal control. However, gathering sufficient data in such scenarios can be prohibitively costly. On the other hand, in many situations,…

Systems and Control · Electrical Eng. & Systems 2026-02-16 Zhuoyuan Wang , Takashi Tanaka , Yongxin Chen , Yorie Nakahira

In the current insurance literature, prediction of insurance claims in the regression problem is often performed with a statistical model. This model-based approach may potentially suffer from several drawbacks: (i) model misspecification,…

Machine Learning · Statistics 2025-09-30 Liang Hong

Under Solvency II, the Value-at-Risk (VaR) is applied, although there is broad consensus that the Expected Shortfall (ES) constitutes a more appropriate risk measure. Moving towards ES would necessitate specifying the corresponding ES…

Mathematical Finance · Quantitative Finance 2026-03-16 Christian Laudagé , Jörn Sass

Mean-reverting portfolios with volatility and sparsity constraints are of prime interest to practitioners in finance since they are both profitable and well-diversified, while also managing risk and minimizing transaction costs. Three main…

Optimization and Control · Mathematics 2024-01-22 Ahmad Mousavi , George Michailidis

We describe and analyze a variance reduction approach for Monte Carlo (MC) sampling that accelerates the estimation of statistics of computationally expensive simulation models using an ensemble of models with lower cost. These lower cost…

Computation · Statistics 2021-05-04 Alex A. Gorodetsky , Gianluca Geraci , Mike Eldred , John D. Jakeman

In predictive modeling with simulation or machine learning, it is critical to accurately assess the quality of estimated values through output analysis. In recent decades output analysis has become enriched with methods that quantify the…

Methodology · Statistics 2023-10-27 Kimia Vahdat , Sara Shashaani

In the second part of our series we suggest new definitions of credit bond duration and convexity that remain consistent across all levels of credit quality including deeply distressed bonds and introduce additional risk measures that are…

Pricing of Securities · Quantitative Finance 2009-12-24 Arthur M. Berd , Roy Mashal , Peili Wang

Following several episodes of financial market turmoil in recent decades, changes in systemic risk have drawn growing attention. Therefore, we propose surveillance schemes for systemic risk, which allow to detect misspecified systemic risk…

Econometrics · Economics 2026-01-14 Timo Dimitriadis , Yannick Hoga

Autonomous systems must sustain justified confidence in their correctness and safety across their operational lifecycle-from design and deployment through post-deployment evolution. Traditional assurance methods often separate…

Software Engineering · Computer Science 2025-11-20 Dhaminda B. Abeywickrama , Michael Fisher , Frederic Wheeler , Louise Dennis

An ever-increasing demand for high-performance silicon sensors requires complex sensor designs that are challenging to simulate and model. The combination of electrostatic finite element simulations with a transient Monte Carlo approach…

Estimating risk measures such as large loss probabilities and Value-at-Risk is fundamental in financial risk management and often relies on computationally intensive nested Monte Carlo methods. While Multi-Level Monte Carlo (MLMC)…

Computational Finance · Quantitative Finance 2025-10-23 Alexandre Boumezoued , Adel Cherchali , Vincent Lemaire , Gilles Pagès , Mathieu Truc