Generating specification for multi-robot system by hierarchical discrete controller synthesis

机译：通过分层控制器估计器算法对具有两层领导者的多机器人系统的编队控制

机译：离散大规模复杂系统的智能控制器分级控制

机译：具有REACH-and Live规范的非线性系统的无记忆控制器的完全合成

机译：离散事件系统的建模，规范和控制器综合

机译：时间逻辑规范下的多机器人系统可扩展控制合成

机译：线性离散时间非因果多速率系统的最优预览控制器设计

机译：根据时间逻辑规范对混合控制器进行分层综合

机译：分别评估逻辑电路的方法和设备，准备产品规格数据库的方法和设备，用于评估产品规格的方法和设备以及用于自动生成逻辑电路层次结构的方法和设备

机译：根据报表规范，系统和计算机程序生成OLAP查询时补偿等级不平衡的方法

机译：层次规范，包含规范和层次包含规范输入站