Versenden
Drucken
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, Seiten 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.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: https://link.springer.com/chapter/10.1007/978-3-031-68279-7_8
Kurzfassung
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.
| elib-URL des Eintrags: | https://elib.dlr.de/206155/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||
| Titel: | A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | August 2024 | ||||||||||||||||
| Erschienen in: | 21st International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2024 | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Nein | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Ja | ||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||
| Band: | 14787 | ||||||||||||||||
| DOI: | 10.1007/978-3-031-68279-7_8 | ||||||||||||||||
| Seitenbereich: | Seiten 119-134 | ||||||||||||||||
| Herausgeber: |
| ||||||||||||||||
| Verlag: | Springer | ||||||||||||||||
| Name der Reihe: | Lecture Notes in Computer Science | ||||||||||||||||
| ISSN: | 0302-9743 | ||||||||||||||||
| ISBN: | 978-303168278-0 | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | Dioid Bisimulation Matrix | ||||||||||||||||
| Veranstaltungstitel: | Relational and Algebraic Methods in Computer Science - 21st International Conference | ||||||||||||||||
| Veranstaltungsort: | Prag, Tschechische Republik | ||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
| Veranstaltungsbeginn: | 19 August 2024 | ||||||||||||||||
| Veranstaltungsende: | 22 August 2024 | ||||||||||||||||
| Veranstalter : | Faculty of Arts, Charles University, Prag | ||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||
| HGF - Programmthema: | Robotik | ||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||
| DLR - Forschungsgebiet: | R RO - Robotik | ||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Synergieprojekt Factory of the Future Extended | ||||||||||||||||
| Standort: | Augsburg | ||||||||||||||||
| Institute & Einrichtungen: | Institut für Bauweisen und Strukturtechnologie > Automation und Produktionstechnologie | ||||||||||||||||
| Hinterlegt von: | Glück, Dr. Roland | ||||||||||||||||
| Hinterlegt am: | 23 Okt 2024 16:54 | ||||||||||||||||
| Letzte Änderung: | 05 Nov 2024 09:36 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
