An Approximate Semantic Model of Hybrid Systems
Shihan Yang, Houwen Liu, Qiong Yu, Jinzhao Wu · 2015
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.