Rutgers The State University of New Jersey - New Brunswick.;
机译:具有约束的基于非最小状态空间模型的连续时间模型预测控制
机译:具有约束的基于非最小状态空间模型的连续时间模型预测控制
机译:Delta执行可有效地进行面向对象程序的状态空间探索
机译:增量执行可有效地进行面向对象程序的状态空间探索
机译:基于模型的控制设计中神经网络模型到状态空间模型的转换
机译:用于从动物传播标签快速控制Argos位置的连续时间 - 空间模型
机译:高效的符号监督综合和防护生成:评估状态空间探索的分区技术
机译:基于穷举状态空间探测算法的航空航天系统安全性能形式化验证