米歇尔·博雷尔;路易斯·科洛迪 非线性常微分方程中的线性化、模型约简和可达性。 （英语） Zbl 07714976号 Lin，Anthony W.（编辑）等人，《可达性问题》。第16届国际会议，RP 2022，德国凯泽斯劳滕，2022年10月17日至21日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13608, 49-66 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}和\textit{L.Collodi}，莱克特。注释计算。科学。13608、49-66（2022；Zbl 07714976） 全文： 内政部
塞斯·费迪南德·威尔第;尼古拉斯·科奇杜普尔;马蒂亚斯·阿尔霍夫;曼纽尔·马佐 STL规范下非线性连续时间系统闭式采样控制器的形式化综合。 （英语） Zbl 1485.93338号 Automatica公司 139，文章ID 110184，13 p.（2022）.MSC公司：93元57 93立方厘米 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{C.F.Verdier}等人，Automatica 139，文章ID 110184，13 p.（2022；Zbl 1485.93338） 全文： 内政部 arXiv公司 OA许可证