Proceedings of the 2015 International Conference on Modeling, Simulation and Applied Mathematics

An Approximate Semantic Model of Hybrid Systems

Authors
Shihan Yang, Houwen Liu, Qiong Yu, Jinzhao Wu
Corresponding Author
Shihan Yang
Available Online August 2015.
DOI
https://doi.org/10.2991/msam-15.2015.24How to use a DOI?
Keywords
hybrid systems; approximate analyzing model; incomplete decomposition; error analysis
Abstract
Hybrid system is a dynamic system. However, it is difficult to formally analyze hybrid systems due to the continuous parts. In this paper, we propose an approximate semantic model of hybrid systems, in order to employ formal analyzing techniques; furthermore, the error could be under control. This method is based on incomplete low-up matrix decomposition, which is used to generate approximating transition between states for the continuous components of hybrid systems. The technique reduces the complexity of analyzing computation. Moreover, the model is also used to approximating control the transition conditions, which simplifies the conditions.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Proceedings
2015 International Conference on Modeling, Simulation and Applied Mathematics
Part of series
Advances in Intelligent Systems Research
Publication Date
August 2015
ISBN
978-94-6252-104-9
ISSN
1951-6851
DOI
https://doi.org/10.2991/msam-15.2015.24How to use a DOI?
Open Access
This is an open access article distributed under the CC BY-NC license.

Cite this article

TY  - CONF
AU  - Shihan Yang
AU  - Houwen Liu
AU  - Qiong Yu
AU  - Jinzhao Wu
PY  - 2015/08
DA  - 2015/08
TI  - An Approximate Semantic Model of Hybrid Systems
BT  - 2015 International Conference on Modeling, Simulation and Applied Mathematics
PB  - Atlantis Press
SN  - 1951-6851
UR  - https://doi.org/10.2991/msam-15.2015.24
DO  - https://doi.org/10.2991/msam-15.2015.24
ID  - Yang2015/08
ER  -