马西莫·贝内雷塞蒂;马可·费拉 跟踪线性混合系统中的平滑轨迹。 （英语） Zbl 1381.93019号 Inf.计算。 257, 114-138 (2017).MSC公司：93个B03 93二氧化碳 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}和\textit{M.Faella}，Inf.Compute。257114--138（2017；Zbl 1381.93019） 全文： 内政部
马西莫·贝内雷塞蒂;马可·费拉 跟踪多面体边界上的可微分轨迹。 （英语） Zbl 1361.68115号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。193-202 (2013).MSC公司：65年第68季度 34A38型 34A60型 第68季度第60季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}和\textit{M.Faella}，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。193-202（2013；Zbl 1361.68115） 全文： 内政部
马西莫·贝内雷塞蒂;马可·费拉;斯特凡诺·米诺波利 线性混合系统开关控制器的自动综合：安全控制。 （英语） Zbl 1294.93041号 西奥。计算。科学。 493, 116-138 (2013).MSC公司：93二氧化碳 65年第68季度 91A80型 68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人，Theor。计算。科学。493116--138（2013年；Zbl 1294.93041） 全文： 内政部 arXiv公司
马西莫·贝内雷塞蒂;马可·费拉;斯特凡诺·米诺波利 线性混合系统的可达性博弈。 （英语） Zbl 1361.68116号 第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。65-74 (2012).MSC公司：65年第68季度 34A60型 91A80型 93B40码 93亿B50 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。65-74（2012年；兹bl 1361.68116） 全文： 内政部
马西莫·贝内雷塞蒂;马可·费拉;斯特凡诺·米诺波利 线性混合系统的高效精确综合。 （英语） Zbl 1457.68139号 D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54263-277（2011）。MSC公司：65年第68季度 第68季度第60季度 93个B05 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛M.Beneresetti｝等人，电子。程序。西奥。计算。科学。（EPTCS）54、263--277（2011；Zbl 1457.68139） 全文： arXiv公司 链接