机译:基于BDD的安全关键离散事件系统故障安全监控控制器的综合
State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China;
National Engineering Research Center of Rail Transportation Operation and Control Systems, Beijing Jiaotong University, Beijing, China;
Department of Computer Science, University of York, York, U.K.;
Department of Electrical and Computer Engineering, Institute of Systems Engineering, Macau University of Science and Technology, New Jersey Institute of Technology, Macau, Newark, NJ, ChinaUSA;
Data structures; Boolean functions; Supervisory control; Petri nets; Safety; Discrete-event systems;
机译:离散事件系统的鲁棒监控控制器的模块化实现
机译:动态流量控制器的离散事件系统监控
机译:用于使用重叠分解和扩展的离散事件系统的分散监控控制器设计
机译:时间抽象离散事件系统监督控制器的综合与分析
机译:离散事件动态系统的监督控制器的设计和分析。
机译:无传感器矢量控制感应电动机驱动系统的自适应监督滑模模糊小脑模型关节控制器
机译:离散事件模型+时间逻辑=监督控制器:运动控制器的自动综合