Stability analysis of planar probabilistic piecewise constant derivative systems

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

Authors Spandan Das, Pavithra Prabhakar 

Publication date 2 June 2023

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

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

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)

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.

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

Cites Work

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

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)