This HTML5 document contains 47 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n23http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n13http://purl.org/net/nknouf/ns/bibtex#
n17http://linked.opendata.cz/resource/domain/vavai/projekt/
n14http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/resource/domain/vavai/subjekt/
n12http://linked.opendata.cz/ontology/domain/vavai/
n22http://linked.opendata.cz/resource/domain/vavai/zamer/
n11https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n21http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F11%3A00365291%21RIV12-AV0-67985807/
n20http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985807%3A_____%2F11%3A00365291%21RIV12-AV0-67985807
rdf:type
skos:Concept n12:Vysledek
dcterms: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.
dcterms:title
Incremental Computation of Succinct Abstractions for Hybrid Systems Incremental Computation of Succinct Abstractions for Hybrid Systems
skos:prefLabel
Incremental Computation of Succinct Abstractions for Hybrid Systems Incremental Computation of Succinct Abstractions for Hybrid Systems
skos:notation
RIV/67985807:_____/11:00365291!RIV12-AV0-67985807
n12:predkladatel
n18:ico%3A67985807
n3:aktivita
n15:P n15:Z
n3:aktivity
P(GC201/08/J020), P(GD201/09/H057), P(OC10048), Z(AV0Z10300504)
n3:dodaniDat
n20:2012
n3:domaciTvurceVysledku
Ratschan, Stefan n14:5532167
n3:druhVysledku
n10:D
n3:duvernostUdaju
n19:S
n3:entitaPredkladatele
n8:predkladatel
n3:idSjednocenehoVysledku
204127
n3:idVysledku
RIV/67985807:_____/11:00365291
n3:jazykVysledku
n4:eng
n3:klicovaSlova
abstraction; incremental refinement; hybrid system; safety property
n3:klicoveSlovo
n6:abstraction n6:hybrid%20system n6:safety%20property n6:incremental%20refinement
n3:kontrolniKodProRIV
[C6B6EF40B2CB]
n3:mistoKonaniAkce
Aalborg
n3:mistoVydani
Berlin
n3:nazevZdroje
Formal Modeling and Analysis of Timed Systems
n3:obor
n16:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n17:GD201%2F09%2FH057 n17:GC201%2F08%2FJ020 n17:OC10048
n3:rokUplatneniVysledku
n20:2011
n3:tvurceVysledku
Ratschan, Stefan Dzetkulič, Tomáš
n3:typAkce
n23:WRD
n3:zahajeniAkce
2011-09-21+02:00
n3:zamer
n22:AV0Z10300504
s:numberOfPages
15
n21:doi
10.1007/978-3-642-24310-3_19
n13:hasPublisher
Springer-Verlag
n11:isbn
978-3-642-24309-7