嵌入式/网络物理系统 | Timed Automata
Einführungerweitern um UhrenUhrenUhren durch x,y,z … aus C repräsentiertnicht negative reelle ZahlVC: Menge der UhrenbelegungUhrenbedingungen Φ(C)\Phi(C)Φ(C)An Transitionen: GuardsAn Zuständen: InvariantenSemantikZeitschritte (l,v)→(l,v+δ)(l,
复制链接