Earticle

초록

영어

In the paper, approximate ready trace equivalence for differential semi-algebraic hybrid system is proposed. The equivalence can be used to optimize differential semialgebraic hybrid system. The Concept is proposed on the basis of concrete process algebra and numerical analysis theory. In the approximate ready trace equivalence definition, we consider a cut operator for a polynomial and partial approximation for polynomial. Then we get a strict equivalence between two polynomials. Its advantage is that the new polynomial approximation method overcomes the drawback that traditional approximation method is not transitive, which can be used for automatic reasoning. In order to judge the two differential semi-algebraic hybrid system is equivalent, the axiom system for the approximate ready trace equivalence of differential semi-algebraic hybrid system is presented. This axiom system is a complete axiom system.

목차

Abstract
 1. Introduction
 2. Approximations and Ready Trace Equivalence
  2.1 Cut Operation π  for Polynomials and Taylor Expansions
  2.2 Ready Trace Equivalence of Labeled Transition System
  2.3 Approximate Ready Trace Equivalence of Linear Algebra Transition System
 3. Approximate Ready Trace Equivalence of Differential Semi-algebra Hybrid Systems
  3.1 Approximation for Differential Semi-algebra Hybrid Systems
  3.2 Equivalence of Differential Semi-algebra Hybrid Systems
  3.3 Approximate Ready Trace Equivalence of Differential Semi -algebra Hybrid Systems
 4. Axiom Systems for Approximate Ready Trace Equivalence of Differential Semi-algebraic Hybrid Systems
 5. Experiments
 Conclusions
 Acknowledgments
 References

키워드

저자

• Zhiwei Zhang [ Chengdu Institute of Computer Application, Chinese Academy of Sciences, 610041, Chengdu , China ]
• Jinzhao Wu [ Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis, Guangxi University for Nationalities, Nanning, 530006 , China; School of Computer and Information Technology, Beijing Jiaotong University, Beijing, 100044, China ] Corresponding author
• HouWen Liu [ Chengdu Aerospace Communication Device company Limited, 610041, Chengdu, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Hybrid Information Technology

• 간기

  격월간

• pISSN

  1738-9968

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605