Tell a friend
Print
Glück, Roland (2024) A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems. In: 21st International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2024, 14787, pp. 119-134. Springer. Relational and Algebraic Methods in Computer Science - 21st International Conference, 2024-08-19 - 2024-08-22, Prag, Tschechische Republik. doi: 10.1007/978-3-031-68279-7_8. ISBN 978-303168278-0. ISSN 0302-9743.
Full text not available from this repository.
Official URL: https://link.springer.com/chapter/10.1007/978-3-031-68279-7_8
Abstract
This work considers a special type of bisimulations between transition systems labeled with elements drawn from a dioid. In contrast to the traditional approach, all edges of the systems under consideration bear unique edge labels. Bisimulations between such systems are defined via 0-1-matrices and share some properties with common bisimulations. A particular focus is on bisimulation equivalences and their induced quotients where we show some observations regarding linear equations, eigenvectors, and eigenvalues.
| Item URL in elib: | https://elib.dlr.de/206155/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||
| Title: | A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems | ||||||||||||||||
| Authors: |
| ||||||||||||||||
| Date: | August 2024 | ||||||||||||||||
| Journal or Publication Title: | 21st International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2024 | ||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||
| Open Access: | No | ||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||
| In SCOPUS: | Yes | ||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||
| Volume: | 14787 | ||||||||||||||||
| DOI: | 10.1007/978-3-031-68279-7_8 | ||||||||||||||||
| Page Range: | pp. 119-134 | ||||||||||||||||
| Editors: |
| ||||||||||||||||
| Publisher: | Springer | ||||||||||||||||
| Series Name: | Lecture Notes in Computer Science | ||||||||||||||||
| ISSN: | 0302-9743 | ||||||||||||||||
| ISBN: | 978-303168278-0 | ||||||||||||||||
| Status: | Published | ||||||||||||||||
| Keywords: | Dioid Bisimulation Matrix | ||||||||||||||||
| Event Title: | Relational and Algebraic Methods in Computer Science - 21st International Conference | ||||||||||||||||
| Event Location: | Prag, Tschechische Republik | ||||||||||||||||
| Event Type: | international Conference | ||||||||||||||||
| Event Start Date: | 19 August 2024 | ||||||||||||||||
| Event End Date: | 22 August 2024 | ||||||||||||||||
| Organizer: | Faculty of Arts, Charles University, Prag | ||||||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||
| HGF - Program: | Space | ||||||||||||||||
| HGF - Program Themes: | Robotics | ||||||||||||||||
| DLR - Research area: | Raumfahrt | ||||||||||||||||
| DLR - Program: | R RO - Robotics | ||||||||||||||||
| DLR - Research theme (Project): | R - Synergy project Factory of the Future Extended | ||||||||||||||||
| Location: | Augsburg | ||||||||||||||||
| Institutes and Institutions: | Institute of Structures and Design > Automation and Production Technology | ||||||||||||||||
| Deposited By: | Glück, Dr. Roland | ||||||||||||||||
| Deposited On: | 23 Oct 2024 16:54 | ||||||||||||||||
| Last Modified: | 05 Nov 2024 09:36 |
Repository Staff Only: item control page
