机译:建立有意义的闭环DES定时模型以进行验证
Laboratoire Universitaire de Recherche en Production Automatisee, Ecole Normale Superieure de Cachan, F-94230 Cachan, France;
Laboratoire Universitaire de Recherche en Production Automatisee, Ecole Normale Superieure de Cachan, F-94230 Cachan, France,Institut Superieur de Mecanique de Paris, F-93400 Saint-Ouen, France;
Formal methods; Plant model; Concurrent evolutions; Urgency; GRAFCET; Model-checking;
机译:在机器人中建模闭环机构以进行校准
机译:通过模型抽象和完善对医疗设备进行闭环验证
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:用于建立一个非常灵活的机翼生成模型的颤动方法的验证
机译:实时构建,更新和验证裂缝模型,以进行硬岩隧道掘进。
机译:利用小波分析进行3D建筑物建模的地面和空中激光扫描数据集成
机译:构建用于验证目的的闭环DEs的有意义的定时模型