马蒂亚斯·阿尔霍夫;布鲁斯·H·克罗。 非线性微分代数系统的可达性分析。 （英语） Zbl 1360.93082号 IEEE传输。自动。控制 59，第2期，371-383（2014）. 评论：未发送评论稿。 引用于13文件 MSC公司： 93个B03 可达集，可达性 93B40码 系统理论中的计算方法（MSC2010） 软件：Modelica公司;Matlab公司;SpaceEx公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Althoff}和\textit{B.H.Krogh}，IEEE Trans。自动。控制59，No.2，371--383（2014；Zbl 1360.93082） 全文： 内政部