...
机译:综合用于定时系统的高效存储,无时钟存储和非Zeno安全控制器
IST Austria (Institute of Science and Technology Austria), Austria;
University of Porto, Portugal;
Timed automata and timed games; Safety objectives; Controller synthesis; Zeno systems;
机译:具有时滞和不稳定一阶加时滞系统的带积分器的双积分系统的二自由度控制器
机译:使用离散时间方法合成LTV连续时间系统的有限时间稳定
机译:定时离散事件系统的控制器模块化综合方法
机译:用于安全目标的内存高效实时控制器的综合
机译:用于线性时间不变系统的强大和最佳PID控制器合成
机译:基于斐波那契搜索算法的无人飞行器控制器实时无模型最小寻优自整定方法
机译:自动合成线性混合系统的开关控制器:安全控制