形式校验论文

论文题目:混合动态系统中几个关键技术的研究论文类型:博士论文论文专业:控制理论与控制工程作者:郅跃茹导师:诸静关键词:混合动态系统,混合控制,被切换系统,离散事件系统,监控,混...