机译:交互类似离散事件系统的验证和控制
control; discrete-event systems; isomorphic behavior; distributed systems; DECENTRALIZED SUPERVISORY CONTROL; MODEL CHECKING; EXPLOITING SYMMETRY; MODULAR CONTROL; COMPLEXITY; AUTOMATA; DESIGN;
机译:交互类似离散事件系统的验证和控制
机译:由有限状态自动机建模的离散事件系统的新可预测性验证测试
机译:关于离散事件系统的透明度验证
机译:快速开发结构化仿真模型以验证离散事件控制系统
机译:使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
机译:用于交互式医疗IT系统验证的模型检查
机译:相互作用的相似离散事件系统的验证和控制*