Versenden
Drucken
Glück, Roland (2023) Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients. In: 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, 13896, Seiten 87-104. Springer. 20th International Conference on Relational and Algebraic Methods in Computer Science - RAMiCS 2023, 2023-04-03 - 2023-04-06, Augsburg, Deutschland. doi: 10.1007/978-3-031-28083-2_6. ISBN 978-303128082-5. 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-28083-2_6
Kurzfassung
This paper is concerned with the refinement and control of a certain class of labelled transition systems, called plant automata, via bisimulation quotients.Refinement means that arbitrary transitions may be removed whereas control allows only removing edges with the same edge label.The goal is to ensure given LTL properties in the resulting plant automaton.We give a hardness result for refinement and control and investigate, in particular, the question whether refineability and controllability can be decided by looking at bisimulation quotients.
| elib-URL des Eintrags: | https://elib.dlr.de/194640/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||
| Titel: | Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | 2023 | ||||||||||||||||
| Erschienen in: | 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023 | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Nein | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Ja | ||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||
| Band: | 13896 | ||||||||||||||||
| DOI: | 10.1007/978-3-031-28083-2_6 | ||||||||||||||||
| Seitenbereich: | Seiten 87-104 | ||||||||||||||||
| Herausgeber: |
| ||||||||||||||||
| Verlag: | Springer | ||||||||||||||||
| Name der Reihe: | Lecture Notes in Computer Science | ||||||||||||||||
| ISSN: | 0302-9743 | ||||||||||||||||
| ISBN: | 978-303128082-5 | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | Model refinement Bisimulation quotient Control | ||||||||||||||||
| Veranstaltungstitel: | 20th International Conference on Relational and Algebraic Methods in Computer Science - RAMiCS 2023 | ||||||||||||||||
| Veranstaltungsort: | Augsburg, Deutschland | ||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
| Veranstaltungsbeginn: | 3 April 2023 | ||||||||||||||||
| Veranstaltungsende: | 6 April 2023 | ||||||||||||||||
| Veranstalter : | DLR | ||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||
| HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||
| DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Projekt Factory of the Future | ||||||||||||||||
| Standort: | Augsburg | ||||||||||||||||
| Institute & Einrichtungen: | Institut für Bauweisen und Strukturtechnologie > Automation und Produktionstechnologie | ||||||||||||||||
| Hinterlegt von: | Glück, Dr. Roland | ||||||||||||||||
| Hinterlegt am: | 19 Apr 2023 09:10 | ||||||||||||||||
| Letzte Änderung: | 24 Apr 2024 20:55 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
