Benutzer: Gast  Login
Titel:

Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Lercher, Florian; Althoff, Matthias
Seitenangaben Beitrag:
259-281
Abstract:
Hybrid systems are often safety-critical and at the same time difficult to formally verify due to their mixed discrete and continuous behavior. To address this issue, we propose a novel incremental verification algorithm for hybrid systems based on online monitoring techniques and reachability analysis. To this end, we develop a four-valued semantics for signal temporal logic that allows us to distinguish two types of uncertainty: one arising from set-based evaluation and another one from the...     »
Kongress- / Buchtitel:
Computer Aided Verification (CAV)
Jahr:
2024
Sprache:
en
Volltext / DOI:
doi:10.1007/978-3-031-65633-0_12
Hinweise:
This version of the contribution has been accepted for publication, after peer review (when applicable) but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: http://dx.doi.org/10.1007/978-3-031-65633-0_12
Copyright Informationen:
© 2024 The Author(s)
CC-Lizenz:
by, http://creativecommons.org/licenses/by/4.0
 BibTeX