University of California, Berkeley.;
机译:受控离散时间随机混合系统的概率可达性和安全性
机译:部分退化的随机过程的概率到达避免计算
机译:离散时间随机混合系统的验证:随机可避免的决策问题
机译:离散时间随机混合系统的概率可达性和安全集计算
机译:随机混合系统的状态估计和最优控制:理论和应用。
机译:通过计算可达集来控制随机生化系统的控制机制
机译:通过高斯过程对不确定随机混合系统的概率可达性
机译:线性混合系统的实现理论第二部分:可达性,可观测性和极小性;分析