Lattices; Model checking; Boolean algebra; Upper bound; Uncertain systems; Indexes;
机译:基于多值Lyapunov函数的结构可变控制系统的设计与仿真
机译:多值寄存器模拟的复杂性:回顾性(主题演讲)
机译:多值寄存器模拟的复杂性:回顾性(主题演讲)
机译:多值系统模拟*
机译:多值动量图和Gel'fand-Cetlin系统的凸性。
机译:具有多值元素的离散动力系统中的集成信息(φ)
机译:快速读取如何影响多值寄存器模拟