...
机译:在无与伦比的观测下离散事件系统中的当前状态不透明度强制执行
SIST Southwest Jiaotong University;
ISE Macau University of Science and Technology;
DIEE University of Cagliari;
DIEE University of Cagliari;
Opacity; Discrete event systems; Supervisory control; Finite state automata;
机译:在无与伦比的观测下离散事件系统中的当前状态不透明度强制执行
机译:通过在事件观察中随机播放来强制当前状态不透明
机译:离散事件系统的最大允许不透明度增强管理器的模块化综合
机译:在事件观测中通过随机播放执行当前状态不透明度
机译:验证和实施离散事件系统中基于状态的不透明性概念。
机译:具有动态事件观察的离散事件系统的可检测性
机译:用于实施离散事件系统的分散和关节不透明度性能的插入功能的合成
机译:不可靠观测下离散事件系统的随机事件计数器