摘要
R.Alur、V.Forejt、S.Moarref和A.Trivedi。 有界速率多模系统的安全可调度性。 技术报告。 arXiv:1302.0745{cs.LO}。 谷歌学者 
R.Alur、A.Trivedi和D.Wojtczak。 恒速多模系统的最优调度。 在HSCC中，第75-84页。 ACM，2012年。 谷歌学者 数字图书馆 
F.布兰奇尼。 不确定线性系统的约束控制。 优化理论与应用杂志，71:465-4841991。 谷歌学者 数字图书馆 F.布兰奇尼。 设置控件中的不变性。 Automatica，35（11）：1747-17671999。 谷歌学者 数字图书馆 T·A·亨辛格。 混合自动机理论。 在LICS中，第278--292页。 IEEE组件。 Soc.出版社，1996年。 谷歌学者 数字图书馆 T.A.Henzinger、B.Horowitz和R.Majumdar。 矩形混合游戏。 在CONCUR 99中，第320-335页。 斯普林格，1999年。 谷歌学者 数字图书馆 T.A.Henzinger和P.W.Kopke。 矩形混合自动机的离散时间控制。 TCS，221（1-2）：369--392999年。 谷歌学者 数字图书馆 M.Heymann、L.Feng、G.Meyer和S.Resmerita。 一类混合系统中Zeno行为的分析。 IEEE交易。 自动。 控制。， 50:376--383, 2005. 谷歌学者 交叉引用 
M.Jurdzinski、J.Sproston和F.Laroussinie。 一个或两个时钟的概率时间自动机模型检验。 Comp.中的逻辑方法。 科学，4（3）：2008年12月。 谷歌学者 交叉引用 J.Le Ny和G.J.Pappas。 鲁棒控制器规范的顺序组成。 《机器人与自动化》，第5190-5195页，2012年。 谷歌学者 交叉引用 J.Liu、N.Ozay、U.Topcu和R.Murray。 时序逻辑规范的交换协议综合。 美国控制会议，第727-734页，2012年。 谷歌学者 A.Maitra和W.Sudderth。 具有Borel可测回报的有限可加随机对策。 国际博弈论杂志，27（2）：257--2671998。 谷歌学者 数字图书馆 T.X.Nghiem、M.Behl、R.Mangharam和G.J.Pappas。 减少峰值需求的控制系统的绿色调度。 在决策与控制（CDC）和ECC中，第5131-5136页。 IEEE，2011年12月。 谷歌学者 数字图书馆 T.X.Nghiem、M.Behl、G.J.Pappas和R.Mangharam。 绿色调度：为降低峰值功率而调度控制系统。 国际绿色计算大会，第1-8页，2011年7月。 谷歌学者 数字图书馆 L.T.X.Phan、I.Lee和O.Sokolsky。 多模式系统的组成分析。 在Euromicro实时系统会议上。 （ECRTS），第6-9页。 IEEE，2010年。 谷歌学者 数字图书馆
建议
有界速率多模系统的可调度性 物联网嵌入式计算专刊、大数据专刊和定期论文专刊 有界状态多模系统是在有限模式集之间自由切换的混合系统，其动力学由有限数量的实值变量指定，这些变量具有在给定有界集内变化的模式相关速率。 调度程序。。。 恒速多模系统的最优调度 HSCC’12：第15届ACM混合系统国际会议论文集：计算与控制 恒速多模系统是一种混合系统，可以在有限的一组模式之间自由切换，其动力学由有限个具有模式相关恒速的实值变量指定。 这样的可调度性问题。。。 控制抢占以提高多核系统的可调度性 RTSS’12:2012 IEEE第33届实时系统研讨会论文集 随着多核芯片越来越多地用于嵌入式实时系统，对实时多处理器调度的兴趣重新燃起。 虽然任务可能是抢占式或非抢占式的（由于其事务操作），但最后期限保证是。。。
