abstraction; assumption/commitment; discrete controllers; model checking; verification;
机译:PID-RLNN控制器,用于离散模式LFC的三扇区水热混合分布式发电解调电力系统
机译:离散事件系统的鲁棒监控控制器的模块化实现
机译:定时离散事件系统的控制器模块化综合方法
机译:分布式混合系统离散控制器的模块化分析
机译:插电式混合动力汽车电池交换模块的分布式监控控制器设计
机译:混合系统周期轨道鲁棒稳定的分散反馈控制器:在双足步行中的应用
机译:分布式混合系统离散控制器的模块化分析