Academic Journal
Approximate Equivalence of the Hybrid Automata with Taylor Theory
| Title: | Approximate Equivalence of the Hybrid Automata with Taylor Theory |
|---|---|
| Authors: | Anping He, Jinzhao Wu, Shihan Yang, Hongyan Tan |
| Source: | Journal of Applied Mathematics, Vol 2014 (2014) |
| Publisher Information: | Hindawi Limited, 2014. |
| Publication Year: | 2014 |
| Collection: | LCC:Mathematics |
| Subject Terms: | Mathematics, QA1-939 |
| More Details: | Hybrid automaton is a formal model for precisely describing a hybrid system in which the computational processes interact with the physical ones. The reachability analysis of the polynomial hybrid automaton is decidable, which makes the Taylor approximation of a hybrid automaton applicable and valuable. In this paper, we studied the simulation relation among the hybrid automaton and its Taylor approximation, as well as the approximate equivalence relation. We also proved that the Taylor approximation simulates its original hybrid automaton, and similar hybrid automata could be compared quantitatively, for example, the approximate equivalence we proposed in the paper. |
| Document Type: | article |
| File Description: | electronic resource |
| Language: | English |
| ISSN: | 1110-757X 1687-0042 |
| Relation: | https://doaj.org/toc/1110-757X; https://doaj.org/toc/1687-0042 |
| DOI: | 10.1155/2014/850789 |
| Access URL: | https://doaj.org/article/da1e9afb25af46dd9a10411710b2b864 |
| Accession Number: | edsdoj.1e9afb25af46dd9a10411710b2b864 |
| Database: | Directory of Open Access Journals |
| ISSN: | 1110757X 16870042 |
|---|---|
| DOI: | 10.1155/2014/850789 |
| Published in: | Journal of Applied Mathematics |
| Language: | English |