An Approximate Semantic Model of Hybrid Systems
Shihan Yang, Houwen Liu, Qiong Yu, Jinzhao Wu
Available Online August 2015.
- https://doi.org/10.2991/msam-15.2015.24How to use a DOI?
- hybrid systems; approximate analyzing model; incomplete decomposition; error analysis
- 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.
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 -