商迁移系统相关论文
混合系统是连续动态过程和离散事件动态过程并存,且相互影响、相互作用的一类动态系统。八十年代后期,随着微型计算机、大型通讯网......
混合系统是连续变量过程和离散事件过程并存，且相互交换信息的一类动态系统。八十年代后期，随着微型计算机、大型通讯网和微处理器在......
形式验证是混合系统中的重要研究方向,Checkmate是基于MATLAB/Simulink和Stateflow工具箱开发的一种混合系统建模、仿真和形式验证......
针对仿真对不存在或难以寻找的问题，利用商迁移系统，给出了混合系统的验证过程.结合倒立摆模型给出的只对状态空间切换表面进行离散......
