Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox
dc.contributor.author | Adelt, Julius | |
dc.contributor.author | Liebrenz, Timm | |
dc.contributor.author | Herber, Paula | |
dc.contributor.editor | Engels, Gregor | |
dc.contributor.editor | Hebig, Regina | |
dc.contributor.editor | Tichy, Matthias | |
dc.date.accessioned | 2023-01-18T13:38:51Z | |
dc.date.available | 2023-01-18T13:38:51Z | |
dc.date.issued | 2023 | |
dc.description.abstract | Reinforcement Learning (RL) is a powerful technique to control intelligent hybrid systems (HS) in dynamic and uncertain environments. However, formally guaranteeing safe behavior of intelligent HS is hard because formal descriptions are often not available in industrial design processes and hard to obtain for RL. Furthermore, the intertwined discrete and continuous behavior of hybrid systems results in limited scalability of automatic verification methods, such as model checking. This makes deductive verification desirable. In this paper, we summarize our approach for deductive verification of intelligent HS with embedded RL components that are modeled with Simulink and the RL Toolbox. This paper was originally published at the Formal Methods conference 2021 (FM21) [ALH21]. | en |
dc.identifier.isbn | 978-3-88579-726-5 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/40113 | |
dc.language.iso | en | |
dc.publisher | Gesellschaft für Informatik e.V. | |
dc.relation.ispartof | Software Engineering 2023 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-332 | |
dc.subject | Formal Verification | |
dc.subject | Theorem Proving | |
dc.subject | Hybrid Systems | |
dc.subject | Safe Reinforcement Learning | |
dc.title | Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox | en |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 30 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 29 | |
gi.conference.date | 20.–24. Februar 2023 | |
gi.conference.location | Paderborn | |
gi.conference.sessiontitle | Wissenschaftliches Hauptprogramm |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- paper1.pdf
- Größe:
- 282.45 KB
- Format:
- Adobe Portable Document Format