A numerical approximation scheme for reachability analysis of stochastic hybrid systems with state-dependent switchings

2007 ◽  
Author(s):  
Maria Prandini ◽  
Jianghai Hu
Keyword(s):  
Hybrid Systems ◽  
Numerical Approximation ◽  
Approximation Scheme ◽  
Reachability Analysis ◽  
Stochastic Hybrid Systems ◽  
State Dependent

scholarly journals Multiobjective Output Feedback Control of a Class of Stochastic Hybrid Systems with State-Dependent Noise

2007 ◽  
Vol 2007 ◽  
pp. 1-26 ◽  
Author(s):  
S. Aberkane ◽  
J. C. Ponsart ◽  
D. Sauter
Keyword(s):  
Feedback Control ◽  
Hybrid Systems ◽  
Output Feedback ◽  
Fault Tolerant ◽  
Output Feedback Control ◽  
Fault Detection And Isolation ◽  
Stochastic Hybrid Systems ◽  
Quadratic Constraints ◽  
Integral Quadratic Constraints ◽  
State Dependent

This paper deals with dynamic output feedback control of continuous-time active fault tolerant control systems with Markovian parameters (AFTCSMP) and state-dependent noise. The main contribution is to formulate conditions for multiperformance design, related to this class of stochastic hybrid systems, that take into account the problematic resulting from the fact that the controller only depends on the fault detection and isolation (FDI) process. The specifications and objectives under consideration include stochastic stability,ℋ2andℋ∞(or more generally,stochastic integral quadratic constraints) performances. Results are formulated as matrix inequalities. The theoretical results are illustrated using a classical example from literature.

scholarly journals ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems

10.29007/mh2c ◽  
2018 ◽  
Author(s):  
Fedor Shmarov ◽  
Paolo Zuliani
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis ◽  
Stochastic Hybrid Systems

In this paper we present a summary of our work on probability reachability in stochastic hybrid systems (SHS). In particular, we give an overview of ProbReach, a tool for computing probabilistic reachability in SHS which we introduced in our HSCC 2015 paper. We also present and an overview of our recent theoretical extensions and modification of the tool.

Sign in / Sign up

Export Citation Format

Share Document