Stability analysis of planar probabilistic piecewise constant derivative systems

DOI10.1007/978-3-031-16336-4_10zbMATH Open1522.93183arXiv2109.08265MaRDI QIDQ6160779FDOQ6160779

Authors: Spandan Das, Pavithra Prabhakar 

Publication date: 2 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Abstract: In this paper, we study the probabilistic stability analysis of a subclass of stochastic hybrid systems, called the Planar Probabilistic Piecewise Constant Derivative Systems (Planar PPCD), where the continuous dynamics is deterministic, constant rate and planar, the discrete switching between the modes is probabilistic and happens at boundary of the invariant regions, and the continuous states are not reset during switching. These aptly model piecewise linear behaviors of planar robots. Our main result is an exact algorithm for deciding absolute and almost sure stability of Planar PPCD under some mild assumptions on mutual reachability between the states and the presence of non-zero probability self-loops. Our main idea is to reduce the stability problems on planar PPCD into corresponding problems on Discrete Time Markov Chains with edge weights.

Full work available at URL: https://arxiv.org/abs/2109.08265

Recommendations

• On the partial stability in probability of nonlinear stochastic systems
• Publication:4889710
• Stability of a class of stochastic differential systems
• On the stability of systems with stochastically variable parameters
• scientific article; zbMATH DE number 1263370
• A notion of stability in probability of stochastic nonlinear systems
• scientific article; zbMATH DE number 227367
• Stabilizabiltty of certain stochastic systems
• scientific article; zbMATH DE number 1330927
• scientific article; zbMATH DE number 3339874

zbMATH Keywords

convergencestabilitydiscrete-time Markov chainprobabilistic piecewise constant derivative systems

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete-time control/observation systems (93C55) Stochastic stability in control theory (93E15)

Cites Work

• Switching in systems and control
• Stability analysis for stochastic hybrid systems: a survey
• Hybrid Systems: Computation and Control
• What's decidable about hybrid automata?
• An introduction to hybrid dynamical systems
• Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
• Title not available (Why is that?)
• Asymptotic stability in distribution of stochastic differential equations with Markovian switching.
• Almost sure exponential stabilisation of stochastic systems by state-feedback control
• Introduction to probability models
• Automatic Abstraction Refinement for Timed Automata
• Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
• Hybridization methods for the analysis of nonlinear systems
• Hybrid Systems: Computation and Control
• On the decidability of stability of hybrid systems
• Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
• Hybrid automata-based CEGAR for rectangular hybrid systems
• Title not available (Why is that?)
• Almost sure exponential stability and stochastic stabilization of stochastic differential systems with impulsive effects
• Lyapunov abstractions for inevitability of hybrid systems
• Asymptotic stability in distribution of stochastic systems with semi-Markovian switching
• Almost sure exponential stability of dynamical systems driven by Lévy processes and its application to control design for magnetic bearings

Cited In (1)

• Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems

This page was built for publication: Stability analysis of planar probabilistic piecewise constant derivative systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160779)