×
卢卡·劳伦蒂;亚历山德罗·阿巴特;卢卡·博托卢西;卢卡·卡德利;塞斯卡，米兰;玛尔塔·奎亚特科夫斯卡

切换扩散的可达性计算，有限抽象，具有可验证和可调整的精度。 （英语） Zbl 1369.93728号

2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。55-64 (2017).

引用于2文件

MSC公司：

93E25型 随机控制中的计算方法（MSC2010）
60 H10型 随机常微分方程（随机分析方面）
93个B03 可达集，可达性
60J10型 马尔可夫链（离散状态空间上的离散时间马尔可夫过程）

关键词：

有限抽象;数值计算;可达性和安全性分析;随机混合模型;开关扩散;时间和空间离散化
PDF格式BibTeX公司 XML格式引用
\textit{L.Laurenti}等人，《第20届ACM混合系统国际会议论文集：计算与控制》，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。55-64（2017年；Zbl 1369.93728）
全文： 内政部