Redirigiendo al acceso original de articulo en 20 segundos...
Inicio  /  Information  /  Vol: 10 Par: 11 (2019)  /  Artículo
ARTÍCULO
TITULO

Approximate Completed Trace Equivalence of ILAHSs Based on SAS Solving

Honghui He    
Jinzhao Wu and Juxia Xiong    

Resumen

The ILAHS (inhomogeneous linear algebraic hybrid system) is a kind of classic hybrid system. For the purpose of optimizing the design of ILAHS, one important strategy is to introduce equivalence to reduce the states. Recent advances in the hybrid system indicate that approximate trace equivalence can further simplify the design of ILAHS. To address this issue, the paper first introduces the trajectory metric ???????? d t r j for measuring the deviation of two hybrid systems? behaviors. Given a deviation ??=0 e = 0 , the original ILAHS of H1 H 1 can be transformed to the approximate ILAHS of H2 H 2 , then in trace equivalence semantics, H2 H 2 is further reduced to H3 H 3 with the same functions, and hence H1 H 1 is ?? e -approximate trace equivalent to H3 H 3 . In particular, ??=0 e = 0 is a traditional trace equivalence. We implement an approach based on RealRootClassification to determine the approximation between the ILAHSs. The paper also shows that the existing approaches are only special cases of our method. Finally, we illustrate the effectiveness and practicality of our method on an example.

 Artículos similares

       
 
Zeeshan Tariq, Naveed Khan, Darryl Charles, Sally McClean, Ian McChesney and Paul Taylor    
Real-world business processes are dynamic, with event logs that are generally unstructured and contain heterogeneous business classes. Process mining techniques derive useful knowledge from such logs but translating them into simplified and logical segme... ver más
Revista: Algorithms

 
Xue Fang, Zhigang Zeng, Siyi Hu, Xiaohui Li, Zuxing Chen, Shuai Chen and Bowen Zhu    
Frequent volcanic activity has occurred in the Okinawa Trough (OT) during the late Quaternary, which attracted much attention to the origin of volcanic rocks. Pumice collected from the seafloor has been extensively investigated, whereas few studies paid ... ver más

 
Miikka Karhu, Veli Kujanpää, Harri Eskelinen and Antti Salminen    
In thick section laser welding, filler metal addition is usually required to improve joint fit-up tolerances or to control the chemical composition of the weld metal. With deep and narrow welds produced using an over-alloyed filler metal, it may be chall... ver más
Revista: Applied Sciences

 
Karin Hellauer, Dorothea Mergel, Aki S. Ruhl, Josefine Filter, Uwe Hübner, Martin Jekel and Jörg E. Drewes    
Managed aquifer recharge (MAR) systems are an efficient barrier for many contaminants. The biotransformation of trace organic chemicals (TOrCs) strongly depends on the redox conditions as well as on the dissolved organic carbon availability. Oxic and oli... ver más
Revista: Water