Approximate Simulation for Algebraic Transition Systems
- 10.2991/icaset-18.2018.9How to use a DOI?
- Metric, Algebraic Transition System, Simulation.
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.
- © 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/).
Cite this article
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 -