摘要
M.Al Khatib、A.Girard和T.Dang。 2016年，验证和综合嵌入式控制器的定时合同。 在 第19届混合系统国际会议论文集：计算与控制。 美国医学会，115-124。 谷歌学者 
数字图书馆 
M.Al Khatib、A.Girard和T.Dang。 2017年，根据定时合同安排嵌入式控制器。 在 第20届混合系统国际会议论文集：计算与控制。 美国医学会，131--140。 谷歌学者 数字图书馆 M.Al Khatib、A.Girard和T.Dang。 2017.使用可达性分析对线性脉冲系统进行稳定性验证和定时合同合成。 非线性分析：混合系统 25 (2017), 211--226. 谷歌学者 交叉引用 
A.Benveniste、B.Caillaud、A.Ferrari、L.Mangeruca、R.Passerone和C.Sofronis。 2007年。基于合同的多视点规范和设计。 在 组件和对象形式化方法国际研讨会。 施普林格，200-225。 谷歌学者 F.布兰奇尼。 1999.在控制中设置不变性。 Automatica公司 35, 11 (1999), 1747--1767. 谷歌学者 数字图书馆 D.P.Borgers、R.Geiselhart和W.P.M.H.Heemels。 2017年，大型非线性网络控制系统中控制质量和服务质量之间的权衡。 非线性分析：混合系统 23 (2017), 142--165. 谷歌学者 交叉引用 D.P.博格和W.P.M.H.赫梅尔斯。 2014.具有本地网络的大规模网络控制系统的稳定性分析：混合小收益方法。 在 第17届混合动力系统：计算与控制国际会议论文集。 美国医学会，103--112。 谷歌学者 数字图书馆 S.Dashkovskiy和M.Kosmykov。 2013.互联混合系统的输入-状态稳定性。 Automatica公司 49, 4 (2013), 1068--1074. 谷歌学者 数字图书馆 S.Dashkovskiy、M.Kosmykov、A.Mironchenko和L.Naujok。 2012.使用Lyapunov方法，具有和不具有时滞的互联脉冲系统的稳定性。 非线性分析：混合系统 6, 3 (2012), 899--915. 谷歌学者 交叉引用 S.Dashkovskiy、B.S.Rüffer和F.R.Wirth。 2007.一般网络的ISS小增益定理。 控制、信号和系统数学 19, 2 (2007), 93--122. 谷歌学者 交叉引用 L.De Moura和N.Björner。 2008年。Z3：高效的SMT求解器。 在 系统构建和分析工具和算法国际会议。 施普林格，337--340。 谷歌学者 数字图书馆 P.Derler、E.A.Lee、S.Tripakis和M.Törngren。 2013年，网络物理系统设计合同。 在 ACM/IEEE第四届网络物理系统国际会议记录。 美国医学会，109-118。 谷歌学者 数字图书馆 D.Freirich和E.Fridman。 2016.具有本地网络的系统的分散网络控制：延时方法。 Automatica公司 69 (2016), 201--209. 谷歌学者 数字图书馆 R.Goebel、R.G.Sanfelice和A.R.Teel。 2009年，混合动力系统。 IEEE控制系统 29, 2 (2009), 28--93. 谷歌学者 交叉引用 W.P.M.H.Heemels、D.P.Borgers、N.van de Wouw、D.Nesic和A.R.Teel。 2013.具有异步通信的非线性网络控制系统的稳定性分析：小收益方法。 在 决策与控制（CDC），2013年IEEE第52届年会。 IEEE，4631--4637。 谷歌学者 E.S.Kim、M.Arcak和S.A.Seshia。 2016。单调动力系统的定向规范和假设挖掘。 在 第19届混合系统国际会议论文集：计算与控制。 ACM，21-30。 谷歌学者 数字图书馆 C.勒格尔尼克。 2009 线性连续动力学混合系统的可达性分析。 博士论文。 约瑟夫-福里埃大学（UniversityéJoseph-Fourier-Grenoble I）。 谷歌学者 C.Le Guernic和A.Girard。 2010年。使用支持函数对线性系统进行可达性分析。 非线性分析：混合系统 4, 2 (2010), 250--262. 谷歌学者 交叉引用 E.A.Lee。 2008年。网络物理系统：设计挑战。 在 第11届IEEE面向对象实时分布式计算（ISORC）研讨会。 IEEE，363--369。 谷歌学者 数字图书馆 J.Legriel、C.Le Guernic、S.Cotton和O.Maler。 2010年。多准则优化问题的帕累托前沿近似。 在 系统构造和分析工具和算法国际会议。 施普林格，69岁至83岁。 谷歌学者 数字图书馆 R.Rajkumar、I.Lee、L.Sha和J.Stankovic。 2010年，网络物理系统：下一次计算革命。 在 设计自动化会议（DAC），2010年第47届ACM/IEEE。 IEEE，731--736。 谷歌学者 数字图书馆 A.Sangiovanni-Vincentelli、W.Damm和R.Passerone。 2012年，《驯服弗兰肯斯坦博士：基于合同的网络物理系统设计》。 欧洲控制杂志 18, 3 (2012), 217--238. 谷歌学者 E.D.Sontag和Y.Wang。 1995.关于输入-状态稳定性特性的特征。 系统和控制信件 24, 5 (1995), 351--359. 谷歌学者 数字图书馆 A.Swikir和M.Zamani。 2018年。系统网络有限抽象的合成：一种小收益方法。 arXiv预打印arXiv:1805.06271 (2018). 谷歌学者
建议
基于模糊Lyapunov-Krasovskii泛函的时滞模糊互联系统稳定性分析与分散H∞控制 本文研究时变时滞连续模糊互联系统的稳定性分析和H∞模糊控制器设计。 模糊互联系统由N个互联时滞Takagi-SugenoT-S模糊控制器组成。。。 嵌入式控制器时序契约的验证与综合 HSCC’16：第19届混合系统国际会议论文集：计算与控制 嵌入式控制器实现的时间契约规定了对执行某些操作（例如采样、驱动、计算等）的时间瞬间的约束。本文考虑了验证控制器性能的问题。。。 定时契约下嵌入式控制器的调度 HSCC’17：第20届混合系统国际会议论文集：计算与控制 嵌入式控制器实现的时间契约规定了对执行某些操作（例如采样、驱动、计算等）的时间瞬间的约束。以前的几项工作都集中于对……的稳定性分析。。。
