状态流 43篇文献引用(1989–2023) 软件作者: MathWorks公司。 相关软件: Simulink;Matlab;托勒密… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
S-TaLiRo型 26篇文献引用(2011–2023) 软件作者: Annpureddy,Yashwanth;刘,车;费内科斯(Fainekos,Georgios);桑卡拉纳拉亚南,斯里拉姆 相关软件: 违约;SpaceEx;流量*… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
C2e2型 在14份文件中引用(2016–2022) 软件作者: P.Duggirala、S.Mitra、M.Viswanathan、M.Potok 相关软件: SpaceEx;流量*;CORA… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
机构动态仿真模块组 引用于9份文件(2005–2023) 软件作者: 格兰·理查德·J。 相关软件: Matlab;Visual Basic;VBA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
Simulink编码器 3份文件引用(2009–2016) 软件作者: MathWorks公司。 相关软件: Simulink;Matlab;鲁棒控制工具箱… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
仄洛斯 6篇文献引用(2013年-2023年) 软件作者: 蒂莫西·伯克(Timothy Bourke)、马克·普泽特(Marc Pouzet) 相关软件: Simulink;状态流;LUSTRE… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
汽车MOTGen 4份文件引用(2009–2021) 软件作者: Ambar A.Gadkari;阿南·耶奥利卡尔(Anand Yeolekar);J.Suresh;S.Ramesh;斯瓦鲁普·莫哈利克;K.C.沙希达尔 相关软件: PHAVer;Simulink;Dymola… 主要字段: 计算机科学(68-XX)
LySHA公司 4份文件引用(2012–2021) 软件作者: Duggirala,Parasara Sridhar;萨扬·密特拉 相关软件: 凯伊迈拉;凯伊迈拉X;流量*… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
混合跟踪验证程序 2份文件引用(2012–2017) 软件作者: 黄振奇;萨扬·密特拉 相关软件: GRKLib;S-TaLiRo;状态流… 主要字段: 动力系统与遍历理论(37-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)