...
机译:行为组成的监督控制
Department of Computing and Information Systems, The University of Melbourne, Melbourne, Vic., Australia;
School of Computer Science and Information Technology, RMIT University, Melbourne, Vic., Australia;
School of Computer Science and Information Technology, RMIT University, Melbourne, Vic., Australia;
Generators; History; Supervisory control; Artificial intelligence; Discrete-event systems; Maintenance engineering; Process control;
机译:通过反应合成和自动化规划的组成监控控制
机译:监督控制和组成验证中的渐进事件
机译:监督控制中的组合验证
机译:行为组成符合监督控制
机译:实现可证明正确的服务:通过监督控制综合实现自动化服务组合
机译:无传感器矢量控制感应电动机驱动系统的自适应监督滑模模糊小脑模型关节控制器
机译:行为构成的监督控制