About: Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	We present an algorithm for falsifying safety properties of hybrid systems, i.e., for finding a, trajectory to an unsafe state. The approach is to approximate how close a point is to being an initial point, of an error trajectory using a real-valued quality function, and then to use numerical optimisation to search for all optimum of this function. The function is computed by running simulations, where information coming from abstractions computed by a verification algorithm is exploited to determine whether a simulation looks promising and should be continued or cancelled. This information becomes more reliable as the abstraction becomes more refined. We thus interleave falsification and verification attempts. We present an algorithm for falsifying safety properties of hybrid systems, i.e., for finding a, trajectory to an unsafe state. The approach is to approximate how close a point is to being an initial point, of an error trajectory using a real-valued quality function, and then to use numerical optimisation to search for all optimum of this function. The function is computed by running simulations, where information coming from abstractions computed by a verification algorithm is exploited to determine whether a simulation looks promising and should be continued or cancelled. This information becomes more reliable as the abstraction becomes more refined. We thus interleave falsification and verification attempts. (en)
Title	Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (en)
skos:prefLabel	Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (en)
skos:notation	RIV/67985807:_____/09:00333922!RIV10-AV0-67985807
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GC201/08/J020), Z(AV0Z10300504)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Ratschan, Stefan
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Ústav informatiky AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	315067
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/09:00333922
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	hybridní dynamické systémy; hledání chyb (en)
http://linked.open.../riv/klicoveSlovo	hledání chyb hybridní dynamické systémy
http://linked.open...ontrolniKodProRIV	[4F7157A1CE91]
http://linked.open...v/mistoKonaniAkce	Zurich
http://linked.open...i/riv/mistoVydani	Berlin
http://linked.open...i/riv/nazevZdroje	Tests and Proofs
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology
http://linked.open...UplatneniVysledku	2009
http://linked.open...iv/tvurceVysledku	Ratschan, Stefan Smaus, J. G.
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open...ain/vavai/riv/wos	000272046300012
http://linked.open.../riv/zahajeniAkce	2009-07-02 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace
number of pages	16 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	978-3-642-02948-6
is http://linked.open...avai/riv/vysledek of	Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software