Over Approximate Flow Pipeline Volume Algorithm for Three Variables Real-Time Linear Algebraic Hybrid Automaton
Hao Yang · 2017
In order to compute trajectory of three variables real-time linear algebraic Hybrid Automaton, three dimensional over approximate flow pipeline volume algorithm for three variables real-time linear algebraic Hybrid Automaton is proposed.Firstly, it defines the three variables real-time linear algebraic program and three variables real-time linear algebraic Hybrid Automaton.And then, it introduces flow pipe approximate method and gives three conclusions of continuous transition relation.Next it obtains three dimensional over approximate flow pipeline volume algorithm.Finally, fighter flight movement automaton example proves algorithm validation.