...
机译:混合自动机:从验证到实施
Air Force Res Lab, Dayton, OH USA;
Univ Texas Arlington, Arlington, TX 76019 USA;
Australian Natl Univ, Canberra, ACT, Australia;
Vanderbilt Univ, 221 Kirkland Hall, Nashville, TN 37235 USA;
Univ Texas Arlington, Arlington, TX 76019 USA;
Univ Freiburg, Freiburg, Germany;
Hybrid automata; Model-based design; Simulink; Stateflow;
机译:具有有限双仿真的概率混合自动机的验证和控制
机译:使用基于反例片段的规范放宽进行验证:模块化/并行线性混合自动机的情况
机译:具有测量不确定度的混合自动机可诊断性验证
机译:模块化线性混合自动机的一种新的基于抽象优化的验证器及其实现
机译:使用持续方法进行安全验证的基于稳定性的混合自动机。
机译:混合自动机库:用于混合建模和实时可视化的灵活平台
机译:使用细化验证和混合自动机的实时软件的演绎性可调度性验证方法