Approximate equivalence and synchronization of metric transition systems-Reference-Cited by-同舟云学术

Approximate equivalence and synchronization of metric transition systems

Published:2009-02 Issue:2 Volume:58 Page:94-101
ISSN:0167-6911
Container-title:Systems & Control Letters
language:en
Short-container-title:Systems & Control Letters

Author:

Julius A. Agung,D’Innocenzo Alessandro,Di Benedetto Maria Domenica,Pappas George J.

Publisher

Elsevier BV

Subject

Electrical and Electronic Engineering,Mechanical Engineering,General Computer Science,Control and Systems Engineering

Reference27 articles.

1. Compositional abstractions of hybrid control systems;Tabuada;Discrete Event Dynamic Systems,2005

2. Discrete abstraction of hybrid systems;Alur;Proceedings of the IEEE,2000

3. Bisimilar linear systems;Pappas;Automatica,2003

4. Equivalence of dynamical systems by bisimulation;van der Schaft;IEEE Transactions on Automatic Control,2004

5. G. Pola, A.J. van der Schaft, M. Di Benedetto, Achievable bisimilar behaviour of abstract systems, in: Proc. 44th IEEE Conf. Decision and Control, IEEE, Seville, 2005

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formally Verified C Code Generation from Hybrid Communicating Sequential Processes;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13

2. Compositional Approximately Bisimilar Abstractions of Interconnected Systems;IFAC-PapersOnLine;2023

3. Approximate Safety Properties in Metric Transition Systems;IEEE Transactions on Reliability;2022-03

4. Approximate Simulation for Transition Systems with Regular Expressions;Communications in Computer and Information Science;2022

5. Simulation Relations and Applications in Formal Methods;Lecture Notes in Computer Science;2022