University of Michigan.;
机译:关于在受控Petri网建模的离散事件动态系统中强制执行活动的监管策略的存在
机译:Biemarility强制实施与非叛徒规范的非定义离散事件系统的监督控制
机译:固定初始信用能量问题的部分观测定量离散事件系统的监督控制
机译:在由部分控制的Petri网建模的离散事件动态系统中强制执行活动的监管策略的存在尚无法确定
机译:具有输出的离散事件系统的监督控制:应用于混合系统。
机译:在基于DLT / SDN的IoT系统中定义和实施安全配置文件的安全体系结构
机译:论部分控制petri网模拟离散事件动态系统的生存监管策略
机译:离散事件系统的监督控制:超可控和可观察的语言。