Tell a friend
Print
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, pp. 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.
Full text not available from this repository.
Official URL: https://link.springer.com/chapter/10.1007/978-3-031-28083-2_6
Abstract
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.
| Item URL in elib: | https://elib.dlr.de/194640/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||
| Title: | Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients | ||||||||||||||||
| Authors: |
| ||||||||||||||||
| Date: | 2023 | ||||||||||||||||
| Journal or Publication Title: | 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023 | ||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||
| Open Access: | No | ||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||
| In SCOPUS: | Yes | ||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||
| Volume: | 13896 | ||||||||||||||||
| DOI: | 10.1007/978-3-031-28083-2_6 | ||||||||||||||||
| Page Range: | pp. 87-104 | ||||||||||||||||
| Editors: |
| ||||||||||||||||
| Publisher: | Springer | ||||||||||||||||
| Series Name: | Lecture Notes in Computer Science | ||||||||||||||||
| ISSN: | 0302-9743 | ||||||||||||||||
| ISBN: | 978-303128082-5 | ||||||||||||||||
| Status: | Published | ||||||||||||||||
| Keywords: | Model refinement Bisimulation quotient Control | ||||||||||||||||
| Event Title: | 20th International Conference on Relational and Algebraic Methods in Computer Science - RAMiCS 2023 | ||||||||||||||||
| Event Location: | Augsburg, Deutschland | ||||||||||||||||
| Event Type: | international Conference | ||||||||||||||||
| Event Start Date: | 3 April 2023 | ||||||||||||||||
| Event End Date: | 6 April 2023 | ||||||||||||||||
| Organizer: | DLR | ||||||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||
| HGF - Program: | Space | ||||||||||||||||
| HGF - Program Themes: | Space System Technology | ||||||||||||||||
| DLR - Research area: | Raumfahrt | ||||||||||||||||
| DLR - Program: | R SY - Space System Technology | ||||||||||||||||
| DLR - Research theme (Project): | R - Project Factory of the Future | ||||||||||||||||
| Location: | Augsburg | ||||||||||||||||
| Institutes and Institutions: | Institute of Structures and Design > Automation and Production Technology | ||||||||||||||||
| Deposited By: | Glück, Dr. Roland | ||||||||||||||||
| Deposited On: | 19 Apr 2023 09:10 | ||||||||||||||||
| Last Modified: | 24 Apr 2024 20:55 |
Repository Staff Only: item control page
