Hongyan Tan

Learn More
In order to optimize linear algebra transition systems, a kind of hybrid system, approximate equivalence semantics for linear algebra transition systems is proposed. The semantics is called approximation ready trace semantics. The work is based on the ready trace semantics for concrete process algebra and numerical approximate calculation theory in algebra.(More)
To verify the safety of nonlinear dynamical systems based on inductive invariants, key issues include defining the most complete inductive condition and discovering an inductive invariant that satisfies the specified inductive condition. In this paper, to lay a solid foundation for future research into the safety verification of semi-algebraic dynamical(More)
Semantic collision is inevitable while building a domain ontology from heterogeneous data sources (semi-)automatically. Therefore, the semantic consistency is indispensable precondition for building a correct ontology. In this paper, a model-checking-based method is proposed to handle the semantic consistency problem with a kind of middle-model methodology,(More)
  • 1