control system synthesis; discrete time systems; optimal control; probability; reachability analysis; safety systems; stochastic systems; control design; discrete time stochastic hybrid system; maximal probabilistic safe sets; maximally safe policies; probabilistic;
机译:受控离散时间随机混合系统的概率可达性和安全性
机译:离散时间随机混合系统的验证:随机可避免的决策问题
机译:部分可观察的离散时间随机混合系统的可达性
机译:离散时间随机混合系统的概率可达性和安全集合
机译:随机混合系统的概率可达性:理论,计算和应用。
机译:通过计算可达集来控制随机生化系统的控制机制
机译:部分可达性分析的计算技术 可观测离散时间随机混合系统
机译:离散时间混合随机系统的控制。