×
托马索·德罗西

萨波：多项式动力系统的可达性计算和参数综合。 （英语） Zbl 1369.68257号

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

引用于4文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
93个B03 可达集，可达性
93亿B50 合成问题
93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统）

关键词：

伯恩斯坦系数;动力系统;参数综合;可达性

软件：

凯伊迈拉;SpaceEx公司;高超声速;C2e2型;S-TaLiRo公司;萨波;流量*;违约;日/日;d到达
PDF格式BibTeX公司 XML格式引用
\textit{T.Dreossi}，in：第20届ACM混合系统国际会议论文集：计算与控制，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。29-34（2017年；Zbl 1369.68257）
全文： 内政部 arXiv公司