Abstract | ||
---|---|---|
A hybrid system is a dynamical system with both discrete and continuous components. In order to study the modeling and verification aspects of hybrid system, in this paper we first introduce a specification approach combining interface automata, initialized multirate hybrid automata and Z language, which is named MZIA. Meanwhile we propose a refinement relation on MZIAs. Then we give an algorithm for checking refinement relation between MZIAs with finite domain and demonstrate the correctness of the algorithm. |
Year | Venue | Field |
---|---|---|
2014 | CoRR | Discrete mathematics,Computer science,Automaton,Correctness,Algorithm,Theoretical computer science,Hybrid system,Dynamical system |
DocType | Volume | Citations |
Journal | abs/1410.3773 | 0 |
PageRank | References | Authors |
0.34 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Guo-Zheng Li | 1 | 368 | 42.62 |
Zining Cao | 2 | 0 | 0.68 |
Zheng Gao | 3 | 0 | 0.34 |