An Approximate Semantic Model of Hybrid Systems

DOI

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.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

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  - Proceedings of the 2015 International Conference on Modeling, Simulation and Applied Mathematics
PB  - Atlantis Press
SP  - 108
EP  - 111
SN  - 1951-6851
UR  - https://doi.org/10.2991/msam-15.2015.24
DO  - 10.2991/msam-15.2015.24
ID  - Yang2015/08
ER  -