Approximate Simulation for Algebraic Transition Systems

DOI

10.2991/icaset-18.2018.9How to use a DOI?

Keywords

Metric, Algebraic Transition System, Simulation.

Abstract

As the real-time systems and embedded systems are developing, behaviors of systems has become hybrid with the fusion of discrete and continuous components. Traditional labeled transition system could only describe discrete systems. In this paper, we proposed a new type of labeled transition system which called algebraic transition system. The algebraic transition system can describe behaviors of hybrid systems. On the algebraic transition system, an approximate simulation relation was defined, which is a better choice for reducing complexity and providing more robust relationships between systems.

Copyright

© 2018, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Ning Zhou
AU  - Jun Fu
AU  - Xiao-gang Wang
PY  - 2018/04
DA  - 2018/04
TI  - Approximate Simulation for Algebraic Transition Systems
BT  - Proceedings of the 2018 8th International Conference on Applied Science, Engineering and Technology (ICASET 2018)
PB  - Atlantis Press
SP  - 43
EP  - 48
SN  - 2352-5401
UR  - https://doi.org/10.2991/icaset-18.2018.9
DO  - 10.2991/icaset-18.2018.9
ID  - Zhou2018/04
ER  -