韩慧珍；里卡多·桑费利斯（Ricardo G.Sanfelice）。 混合动力系统的线性时序逻辑：特征和充分条件。 （英语） Zbl 1441.93132号 非线性分析。，混合系统。 36，文章ID 100865，第18页（2020）.MSC公司：93立方 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Han}和\textit{R.G.Sanfelice}，非线性分析。，混合系统。36，文章ID 100865，18 p.（2020；Zbl 1441.93132） 全文： 内政部 arXiv公司
里卡多·桑费利斯；大卫·科普；尼亚涅兹，巴勃罗 Matlab/Simulink中混合系统仿真的工具箱。混合方程（HyEQ）工具箱。 （英语） Zbl 1364.93383号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。101-106 (2013).MSC公司：93立方 65日元 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{R.Sanfelice}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。101-106（2013；Zbl 1364.93383） 全文： 内政部