Abstracts; Computational modeling; Lattices; Safety; Semantics; Switches; Abstract Interpretation; Controller Synthesis; Hybrid Systems; Safety; Switched Systems;
机译:后退地平线控制器的无限地平线性能
机译:最佳无限地平线分散联网控制器,通信不可靠
机译:具有周期无限视域控制器的飞行器控制
机译:无限的地平线安全控制器综合通过析取多面体抽象解释
机译:二次半赋值问题,析取程序和整数变量的Base-2展开的多面体逼近。
机译:多面体低聚倍半硅氧烷纳米材料的心血管应用:展望未来
机译:通过析取多面体抽象解释的无限水平安全控制器综合。
机译:析取规划,多面体兼并技术和非指定析取切割平面