cell-to-cell mapping; discrete-event systems; qualitative modelling; stochastic automata;
机译:定时自动机对动力系统的完整抽象
机译:Parma Polyhedra库:寻求一套完整的数值抽象,以分析和验证硬件和软件系统
机译:在与量化输入和量化输出观测值进行通信的情况下进行FIR系统识别
机译:计算量化系统的完整抽象
机译:控制,通信和计算语言(C3L):在复杂的分布式系统开发中完成设计周期。
机译:计算系统化学的中级抽象
机译:面向大脑脑计算理论的计算抽象,如分层抽象Dana H. Ballard(麻省理工学院出版社,剑桥,马萨诸塞州,2015年)。