机译:最大允许的控制系统合成非确定性和模态逻辑
Eindhoven Univ Technol Eindhoven Netherlands;
Eindhoven Univ Technol Eindhoven Netherlands;
Vrije Univ Amsterdam Amsterdam Netherlands;
Controlled system synthesis; Modal logic; Non-determinism; Maximal permissiveness; Controllability; Partial bisimulation;
机译:最大允许的控制系统合成非确定性和模态逻辑
机译:离散事件系统的最大允许不透明度增强管理器的模块化综合
机译:部分观察下定时离散事件系统的最大允许监控
机译:模态逻辑的最大允许控制系统综合
机译:用于多模式控制的混合系统设计和嵌入式控制器综合。
机译:模糊PID逻辑控制的无刷电机驱动控制系统的建模与仿真
机译:非确定性和模态逻辑的最大允许控制系统综合