User: Guest  Login
Title:

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

Document type:
Konferenzbeitrag
Author(s):
Lercher, Florian; Althoff, Matthias
Pages contribution:
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...     »
Book / Congress title:
Computer Aided Verification (CAV)
Year:
2024
Language:
en
Fulltext / DOI:
doi:10.1007/978-3-031-65633-0_12
Notes:
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 statement:
© 2024 The Author(s)
CC license:
by, http://creativecommons.org/licenses/by/4.0
 BibTeX