About: Incremental Computation of Succinct Abstractions for Hybrid Systems

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

About: Incremental Computation of Succinct Abstractions for Hybrid Systems 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	In this paper, we introduce a new approach to computing abstractions for hybrid dynamical systems whose continuous behavior is governed by non-linear ordinary differential equations. The abstractions try to capture the reachability information relevant for a given safety property as succinctly as possible. This is achieved by an incremental refinement of the abstractions, simultaneously trying to avoid increases in their size as much as possible. The approach is independent of a concrete technique for computing reachability information, and can hence be combined with whatever technique suitable for the problem class at hand. We illustrate the usefulness of the technique with computational experiments. In this paper, we introduce a new approach to computing abstractions for hybrid dynamical systems whose continuous behavior is governed by non-linear ordinary differential equations. The abstractions try to capture the reachability information relevant for a given safety property as succinctly as possible. This is achieved by an incremental refinement of the abstractions, simultaneously trying to avoid increases in their size as much as possible. The approach is independent of a concrete technique for computing reachability information, and can hence be combined with whatever technique suitable for the problem class at hand. We illustrate the usefulness of the technique with computational experiments. (en)
Title	Incremental Computation of Succinct Abstractions for Hybrid Systems Incremental Computation of Succinct Abstractions for Hybrid Systems (en)
skos:prefLabel	Incremental Computation of Succinct Abstractions for Hybrid Systems Incremental Computation of Succinct Abstractions for Hybrid Systems (en)
skos:notation	RIV/67985807:_____/11:00365291!RIV12-AV0-67985807
http://linked.open...avai/predkladatel	Ústav informatiky AV ČR, v.v.i.
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GC201/08/J020), P(GD201/09/H057), P(OC10048), Z(AV0Z10300504)
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Dzetkulič, Tomáš 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	204127
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/11:00365291
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	abstraction; incremental refinement; hybrid system; safety property (en)
http://linked.open.../riv/klicoveSlovo	incremental refinement safety property abstraction hybrid system
http://linked.open...ontrolniKodProRIV	[C6B6EF40B2CB]
http://linked.open...v/mistoKonaniAkce	Aalborg
http://linked.open...i/riv/mistoVydani	Berlin
http://linked.open...i/riv/nazevZdroje	Formal Modeling and Analysis of Timed Systems
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems. Res Informatica Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology
http://linked.open...UplatneniVysledku	2011
http://linked.open...iv/tvurceVysledku	Dzetkulič, Tomáš Ratschan, Stefan
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2011-09-21 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace
number of pages	15 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/978-3-642-24310-3_19
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	978-3-642-24309-7
is http://linked.open...avai/riv/vysledek of	Incremental Computation of Succinct Abstractions for Hybrid Systems Incremental Computation of Succinct Abstractions for Hybrid Systems

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, 35 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software