吴义钦;瓦苏马提·拉曼;布莱克·罗林斯。;圣菲拉福顿;Sanjit A.Seshia。 综合模糊处理策略以确保隐私和实用性。 (英语) Zbl 1426.68085号 J.自动化。推理 60,第1期,107-131(2018).MSC公司:68第27页 65年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{Y.-C.Wu}等人,J.Autom。推理60,编号1,107-131(2018;Zbl 1426.68085) 全文: 内政部 链接
布莱克·罗林斯。;B.埃里克·伊德斯蒂 混合控制系统中组合不变性和可达性规范的伪造。 (英语) Zbl 1379.93003号 离散事件动态。系统。 27,第2期,463-479(2017).MSC公司:93甲13 93立方 93个B03 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.C.Rawlings}和\textit{B.E.Ydstie},离散事件动态。系统。27,第2号,463--479(2017;Zbl 1379.93003) 全文: 内政部