...
机译:通过定时自动机验证连续动力系统
Department of Computer Science, Aalborg University, Aalborg, Denmark;
Section for Automation & Control, Aalborg University, Aalborg, Denmark;
timed automata; verification; reachability; lyapunov functions;
机译:基于Mori-Zwanzig和MITL的连续时间动力系统统计验证方法
机译:使用动态线性混合自动机对动态可重构系统进行规范和验证
机译:如何验证安全的实时系统:模型检查和定时自动机在生产单元案例研究中的应用
机译:验证连续概率定时自动机的定量性质
机译:基于连续间隔元胞自动机的多模块动态密码系统。
机译:时间步长重新缩放可恢复连续时间动态非平衡离散兰格文积分的性质系统篇
机译:通过定时自动机验证连续动力系统