Approximate Completed Trace Equivalence of Three Dimensional t-Model Nonlinear Algebraic Hybrid Systems

被引：3

作者：

Yang, Hao ^{[1
]}

Wu, Jinzhao ^{[2
,3
]}

Zhang, Zhiwei ^{[1
]}

Liu, Yang ^{[1
]}

机构：

[1] Chinese Acad Sci, Chengdu Inst Comp Applicat, Beijing 100864, Peoples R China

[2] Guangxi Univ Nationalities, Guangxi Key Lab Hybrid Computat & IC Design Anal, Nanning, Peoples R China

[3] Beijing Jiaotong Univ, Sch Comp & Informat Technol, Beijing, Peoples R China

来源：

APPLIED MATHEMATICS & INFORMATION SCIENCES | 2013年 / 7卷 / 05期

基金：

国家教育部博士点专项基金资助; 中国国家自然科学基金;

关键词：

Three dimensional t-model nonlinear algebraic program; three dimensional t-model nonlinear algebraicHybrid Systems; completed trace equivalence;

D O I：

10.12785/amis/070506

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

In order to optimize programs of three dimensional t-model nonlinear algebraic Hybrid Systems and eliminate system states, approximate completed trace equivalence of three dimensional t-model nonlinear algebraic Hybrid Systems is proposed. Firstly, the three dimensional t-model nonlinear algebraic program is used to describe the system continuous transition behavior. Then, the approximate of three dimensional t-model nonlinear algebraic Hybrid System is established. Whether trace is approximate or not could be decided through three dimensional t-model nonlinear algebraic Hybrid System trace approximate algorithm. Next, it put forward the approximate completed trace equivalence of three dimensional t-model nonlinear algebraic Hybrid Systems. It can optimize three dimensional t-model nonlinear algebraic program as well as reduce the number of system states. The experiment result shows that this method is effective.

引用

下载

页码：1693 / 1697

页数：5

共 13 条

[1] Approximate completed trace equivalence of real-time linear algebraic Hybrid Automata
Liu, Zhi
Computer Modelling and New Technologies, 2014, 18 (10): : 104 - 108
[2] Completed trace equivalence of inhomogeneous linear algebraic Hybrid Automata
Huang, Lei
Liu, Zhi
Computer Modelling and New Technologies, 2014, 18 (10): : 109 - 113
[3] Approximate completed trace equivalence of linear algebra transition systems
Yang, Hao
He, Anping
Zhang, Zhiwei
Yang, Shihan
liu, Yang
Advances in Intelligent Systems and Computing, 2013, 212 : 233 - 237
[4] Approximate trace equivalence of real-time linear algebraic transition systems
Zhang, Hui
Wu, Jinzhao
Tan, Hongyan
Yang, Hao
Computer Modelling and New Technologies, 2014, 18 (07): : 36 - 40
[5] An Approximate Model Based on Feature Matrix for Nonlinear Hybrid Systems
Yang, Shihan
Yu, Qiong
PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS, MODELING AND SIMULATION (AMMS 2017), 2017, 153 : 190 - 194
[6] An approximate model on three-dimensional groundwater infiltration in sewer systems
Guo, Shuai
Yang, Yulong
Zhang, Yiping
WATER SCIENCE AND TECHNOLOGY, 2017, 75 (02) : 306 - 312
[7] Hybrid three-dimensional variation and particle filtering for nonlinear systems
Leng Hong-Ze
Song Jun-Qiang
CHINESE PHYSICS B, 2013, 22 (03)
[8] Hybrid three-dimensional variation and particle filtering for nonlinear systems
冷洪泽
宋君强
Chinese Physics B, 2013, (03) : 230 - 235
[9] A three dimensional hybrid fully nonlinear potential flow and Navier Stokes model for wave structure interactions
Saincher, Shaswat
Sriram, V.
OCEAN ENGINEERING, 2022, 266
[10] Hybrid Computing Model for Decomposed Partial Differential Equation Systems arising from Microstructural Three-Dimensional Problems
Schrader, K.
Koenke, C.
PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL STRUCTURES TECHNOLOGY, 2010, 93

← 1 2 →