时间迁移系统自动售茶机s011121取茶s1s3s52s22s4找钱/取钱2退钱s6s7出茶取钱{x}x<10x>=10量的变化*时间迁移系统x==0||t==0*系统运行过程描述:例子t0x=1,t=0t1t2y==0||t==1t3x=0s0y=1,t=1s1s2s3y=0无约束<1<5无约束无约束<2<8无约束*z0z12z35z67z97z46z20z24z47抽象状态变化图:z78z55b,{u},trueb,{u},u<1b,{},u<5a,{v},truea,{v},trueb,{u},u<1* a a b bz0z12 z12 z12 z20 z24u=, u= u= u= u==, u= u= u= u== v= v= v= v== v= v= v= v=*时间迁移系统动作信息系统状态时钟变量状态变化初始状态符号抽象状态变量集合五元组状态集合时间迁移系统*时间迁移系统:例子标号集合:状态集合:时钟变量集合:迁移关系:初始状态集:{a,b}{z0,z1,z2,z3,…}{u,v}{(z0,a,{v},true,z12),…}{z0}时钟变量相关公式*时间迁移系统:例子S0S1aS2S3d,y>2x:=0by:=0cx<1*时间迁移系统:例子
时间迁移系统 来自淘豆网m.daumloan.com转载请标明出处.
