Boston University;
机译:离散随机系统的形式验证与综合
机译:随机最大加线性系统的形式验证
机译:随机变量的离散线性系统在有限模型信息下的最优控制设计
机译:验证分散式自适应系统的随机行为:基于形式建模和仿真的方法
机译:离散时间系统的形式验证和控制器综合。
机译:网络物理系统中控制模块的正式验证
机译:数字控制系统的实施技术,控制和动态系统的第70卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,390 PP,ISBN 0-12-0127702,99.00美元离散时间控制系统分析和设计,控制和动态系统的第71卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,410 PP,ISBN 0-12-0127715,99.00美元离散时间控制系统实现技术,控制和动态系统的第72卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,388 pp,ISBN 0-12-0127725,99.00美元的离散 - 时间随机控制系统,控制和动态系统的VOLUME 73:前进,理论与应用,C Leondes(ED),学术出版社,圣地亚哥,1995年,380页,ISBN 0-12-0127734,在离散和$ 99.00技术。连续稳健的系统,控制和动态系统的第74卷:理论和应用的进步,C. leondes(ed),学术出版社,圣地亚哥,1995,412 pp。,ISBN 0-12-0127741,99.00美元
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术