Probabilistic Reachability for Hybrid Dynamics System

Aug 14, 2024
Reachability analysis consists of forward reachable set and backward reachable set.

A deterministic and stochastic hybrid dynamics system is essential for dealing with the complex behaviour and stochastic optimal control among multiple agents in a reach-avoid game. Considering the heterogeneous interactions among multiple agents of a complex system, many challenges remain in implementing such a hybrid system.

Reachability

Publications

DCFCI: a probabilistic game strategy for stochastic hybrid systems with reachability

A deterministic and stochastic dynamics model for the reach-avoid games is decoupled into a non-cooperative probabilistic game and a cooperative probabilistic game.
PDF Project
DCFCI: a probabilistic game strategy for stochastic hybrid systems with reachability

Probabilistic Reachability in Stochasitic Multiplayer Reach-Avoid Games

Our work provides a first attempt to address such a problem in stochastic environment and has shown some preliminary results.
PDF Project
Probabilistic Reachability in Stochasitic Multiplayer Reach-Avoid Games