控制器合成相关论文
实时系统是指能够在指定或确定的时间内完成事件处理的计算机应用系统,其正确性不仅仅取决于其计算逻辑的正确性,并且与计算结果的......
保证计算机系统的正确性和可靠性是计算机研究和开发人员的首要任务。模型检测是保证计算机系统正确性和可靠性的有力手段。当人们......
控制器合成是针对给定的获胜目标,在开放的实时系统环境中,自动地寻找获胜策略的过程.这个策略可以表述为一系列的符号化状态和动......
