摘要
提出一种新型的混合 Petri子网建模和描述方法 ,离散化这种混合子网后 ,利用双子代数理论推出其线性代数方程组 ,在代数框架下研究混合系统的可达性 .
Control Community is more and more attracted by hybrid dynamic systems. This paper will put forward a novel hybrid Petri sub\|net based modeling and describing method, called HTEG(Hybrid Timed Event Graph). In the mean time a corresponding algorithm is presented to discretize this kind of sub\|net. Then we will define five classes of functions on a monoid to form a Dioid which is adopted to derive linear algebraic equations of a discretized HTEG. Therefore, by adopting this method, we can continue studying the reachability of such hybrid systems under the algebraic framework. It is the goal of this method. In the end, an example will show the feasibility of this method.
基金
国家自然科学基金资助项目! (6 96 35 0 10 )
