Approximate completed trace equivalence of real-time linear algebraic Hybrid Automata

Zhi Liu 

Sichuan College of Architectural Technology, China

In allusion to design simpler software system, the paper proposes approximate completed trace equivalence of real-time linear algebraic Hybrid Automata. Firstly, it pulls real-time linear algebraic program into Hybrid Automaton and establishes real-time linear algebraic Hybrid Automaton. Next, it uses matrix Frobenius norm to analyse approximation of real-time linear algebraic Hybrid Automata. Afterwards, it gets approximate completed trace equivalence of real-time linear algebraic Hybrid Automata. Finally, the Email virus spreading automata example shows that approximate completed trace equivalence of real-time algebraic Hybrid Automata can simplify automaton.