Stability analysis of planar probabilistic piecewise constant derivative systems
From MaRDI portal
Publication:6160779
DOI10.1007/978-3-031-16336-4_10zbMath1522.93183arXiv2109.08265MaRDI QIDQ6160779
Pavithra Prabhakar, Spandan Das
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
Discrete-time control/observation systems (93C55) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Stochastic stability in control theory (93E15) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stability analysis for stochastic hybrid systems: a survey
- Hybridization methods for the analysis of nonlinear systems
- What's decidable about hybrid automata?
- Switching in systems and control
- Almost sure exponential stability and stochastic stabilization of stochastic differential systems with impulsive effects
- An introduction to hybrid dynamical systems
- Almost sure exponential stabilisation of stochastic systems by state-feedback control
- Asymptotic stability in distribution of stochastic differential equations with Markovian switching.
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
- Lyapunov abstractions for inevitability of hybrid systems
- On the decidability of stability of hybrid systems
- Automatic Abstraction Refinement for Timed Automata
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
- Almost sure exponential stability of dynamical systems driven by Lévy processes and its application to control design for magnetic bearings
- Hybrid Systems: Computation and Control
- Asymptotic stability in distribution of stochastic systems with semi-Markovian switching
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Hybrid Systems: Computation and Control
