control system synthesis; discrete event systems; bipartite transition system; maximally permissive nonblocking supervisors; maximally permissive supervisors; nonblocking all inclusive controller; nonprefix-closed sublanguage; partially observed discrete event systems; synthesis algorithm; Automata; Discrete-event systems; Law; Safety; Supervisory control; System recovery;
机译:部分观测离散事件系统的最大允许监督者的综合
机译:SCLTL约束下部分观察到的离散事件系统的在线合成
机译:离散事件系统的最大允许不透明度增强管理器的模块化综合
机译:关于部分观测的离散事件系统中的最大允许:验证和综合
机译:部分观测的离散事件系统的财产执法
机译:具有部分观测的时变协变量的周期性事件数据的混合效应模型:吸烟的生态瞬时评估
机译:在SCLTL约束下部分观察到的离散事件系统的允许监督员在线合成
机译:部分观测离散事件系统的控制中的共同作用..建模,分析和模拟(mas)