史蒂芬·般若;阿里·贾德巴比;乔治·帕帕斯。 使用屏障证书进行最坏情况和随机安全验证的框架。 （英文） Zbl 1366.93711号 IEEE传输。自动。控制 52，第8期，1415-1428（2007）. 编辑评论：未交付评论副本。 引用于70文件 MSC公司： 93E24型 随机控制系统的最小二乘法及其相关方法 93立方厘米 信息不完整的控制/观测系统 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） PDF格式BibTeX公司 XML格式引用 \textit{S.Prajna}等人，IEEE Trans。自动。对照52，编号8，1415-1428（2007年；兹bl 1366.93711） 全文： 内政部