State constrained reachability for stochastic hybrid systems

DOI10.1016/j.nahs.2010.10.008zbMath1225.93100OpenAlexW1994031299MaRDI QIDQ547913

Marius C. Bujorianu, Manuela L. Bujorianu

Publication date: 27 June 2011

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: http://eprints.maths.manchester.ac.uk/1483/1/adhs09final.pdf

zbMATH Keywords

stochastic hybrid systemsmultilayer modelsstate constrained reachability analysistrajectory designviewpoints

Mathematics Subject Classification ID

Dynamic programming in optimal control and differential games (49L20) Stochastic programming (90C15) Dynamic programming (90C39) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03)

Related Items

On potential kernels associated with random dynamical systems, State constrained reachability for stochastic hybrid systems, A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems

Cites Work

• State constrained reachability for stochastic hybrid systems
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• A general definition of capacity
• Excursions of a Markov process
• On generators of subordinate semigroups
• Boundary value problems for elliptic integro-differential operators
• Stochastic hybrid systems. Theory and safety critical applications.
• On capacitability and measurability
• A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
• Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
• Compactness of stopping times
• Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
• On the Dirichlet problem for second-order elliptic integro-differential equations
• Planning Algorithms
• NOTES ON TRANSFORMATIONS OF MARKOV PROCESSES CONNECTED WITH MULTIPLICATIVE FUNCTIONALS
• Integrated Formal Methods
• The condenser problem
• The condenser problem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item