机译：利用具有不确定性的能量定时自动机的最佳和鲁棒控制器合成
机译：具有时变延迟的T-S模糊系统的成员函数衍生物的稳定性分析和鲁棒H-Infinity控制器合成：输入 - 输出稳定性方法
机译：定时自动机和游戏中强大的可达性：一种基于游戏的方法
机译：定时Buechi自动机中的鲁棒控制器综合：一种符号方法
机译：用于线性时间不变系统的强大和最佳PID控制器合成
机译：心律对心房组织结构重塑的认识：定时自动机方法
机译：概率定时自动机的符号最佳预期时间可达性计算和控制器综合
机译：时间自动机无界完全符号模型检验的布尔方法
