Stephen Chong先生;拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼;向、健 网络物理系统传感器攻击的定量稳健性分析。 (英语) Zbl 07807961号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Chong}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023;Zbl 07807961) 全文: 内政部
拉诺特、拉格罗;马西莫·梅罗;法比奥·莫加维罗 线性有界周期计算机物理系统的可判定性。 (英语) Zbl 07120144号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。87-98 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,摘自:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。87-98(2019年;Zbl 07120144) 全文: 内政部
劳拉·博泽利;拉诺特、拉格罗 线性时间混合逻辑的复杂性和简洁性问题。 (英语) Zbl 1187.68292号 西奥。计算。科学。 411,第2期,454-469(2010).MSC公司:65年第68季度 68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{R.Lanotte},Theor。计算。科学。411,第2号,454--469(2010;Zbl 1187.68292) 全文: 内政部
拉诺特、拉格罗 具有实变量、整数变量和数组的混合系统的表达能力。 (英语) Zbl 1145.68462号 J.汽车。语言梳。 12,第3号,373-405(2007).MSC公司:65年第68季度 03C98号 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte},J.Autom(雷诺特)。语言梳。12,第3号,373--405(2007;Zbl 1145.68462) 全文: 内政部
拉诺特、拉格罗;西蒙·蒂尼 混合系统的泰勒近似。 (英语) Zbl 1078.93044号 Morari,Manfred(编辑)等人,《混合系统:计算和控制》。2005年3月9日至11日,瑞士苏黎世,2005年HSCC第八届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25108-1/pbk)。计算机科学课堂讲稿3414,402-416(2005)。MSC公司:93立方 65年第68季度 41A10号 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}和\textit{S.Tini},莱克特。注释计算。科学。3414、402--416(2005;Zbl 1078.93044) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼 单调混合系统。 (英语) Zbl 1081.68048号 J.计算。系统。科学。 71,第1号,34-69(2005).MSC公司:65年第68季度 60年第68季度 93A10号 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}和\textit{A.Maggiolo-Schettini},J.Compute。系统。科学。71,第1号,34--69(2005;Zbl 1081.68048) 全文: 内政部