Improving the Feasibility of Moment-Based Safety Analysis for Stochastic Dynamics

Research output: Contribution to journalArticlepeer-review

Abstract

Given a dynamical system modeled via stochastic differential equations (SDEs), we evaluate the safety of the system through its exit-time moments. Using appropriate semidefinite positive matrix constraints, an SDP moment-based approach can be used to compute moments of the exit time. However, the approach is impeded when analyzing higher dimensional physical systems as the dynamics are limited to polynomials. Computational scalability is also poor as the dimensionality of the state grows, largely due to the combinatorial growth of the optimization program. We propose methods to make feasible the safety analysis of higher dimensional physical systems. The restriction to polynomial dynamics is lifted by using state augmentation, which allows one to generate the optimization for a broader class of nonlinear stochastic systems. We then reformulate the constraints to mitigate the computational limitations associated with an increase in state dimensionality. We employ our methods on two example processes to characterize their safety via exit times and show the ability to handle multidimensional systems that were previously unsupported by the existing SDP method of moments.

Original languageEnglish (US)
Pages (from-to)3752-3759
Number of pages8
JournalIEEE Transactions on Automatic Control
Volume68
Issue number6
DOIs
StatePublished - Jun 1 2023
Externally publishedYes

Keywords

  • Differential equations
  • Mathematical models
  • Method of moments
  • Mobile robots
  • Optimization
  • Safety
  • Scalability
  • Autonomous systems
  • uncertain systems
  • Markov processes
  • stochastic systems

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'Improving the Feasibility of Moment-Based Safety Analysis for Stochastic Dynamics'. Together they form a unique fingerprint.

Cite this