A Robustness-Based Confidence Measure for Hybrid System Falsification

Verification of hybrid systems is very challenging, if not impossible, due to their continuous dynamics that leads to infinite state space. As a countermeasure, falsification is usually applied to show that a specification does not hold, by searching for a falsifying input as a counterexample that r...

Celý popis

Podrobná bibliografie

Vydáno v:	IEEE transactions on computer-aided design of integrated circuits and systems Ročník 42; číslo 5; s. 1718 - 1731
Hlavní autoři:	Takisaka, Toru, Zhang, Zhenya, Arcaini, Paolo, Hasuo, Ichiro
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.05.2023 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	Algorithms Confidence Confidence measure Extraterrestrial measurements falsification Heuristic algorithms Hybrid systems Robustness Robustness (mathematics) Semantics signal temporal logic Space exploration Specifications Testing Vehicle dynamics
ISSN:	0278-0070, 1937-4151
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!