@prefix epid: <https://pure.iiasa.ac.at/id/> .
  @prefix void: <http://rdfs.org/ns/void#> .
  @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
  @prefix cc: <http://creativecommons.org/ns#> .
  @prefix ep: <http://eprints.org/ontology/> .
  @prefix eprel: <http://eprints.org/relation/> .
  @prefix doi: <https://doi.org/> .
  @prefix dc: <http://purl.org/dc/elements/1.1/> .
  @prefix bibo: <http://purl.org/ontology/bibo/> .
  @prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#> .
  @prefix owl: <http://www.w3.org/2002/07/owl#> .
  @prefix event: <http://purl.org/NET/c4dm/event.owl#> .
  @prefix skos: <http://www.w3.org/2004/02/skos/core#> .
  @prefix foaf: <http://xmlns.com/foaf/0.1/> .
  @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
  @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
  @prefix dct: <http://purl.org/dc/terms/> .

<>
	foaf:primaryTopic <https://pure.iiasa.ac.at/id/eprint/4498>;
	rdfs:comment "The repository administrator has not yet configured an RDF license."^^xsd:string .

<https://pure.iiasa.ac.at/id/document/4046>
	dct:hasPart <https://pure.iiasa.ac.at/id/eprint/4498/1/WP-95-098.pdf>;
	ep:hasFile <https://pure.iiasa.ac.at/id/eprint/4498/1/WP-95-098.pdf>;
	rdf:type bibo:Document,
		ep:Document;
	rdfs:label "The Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems (Text)"^^xsd:string .

<https://pure.iiasa.ac.at/id/document/10069>
	dct:hasPart <https://pure.iiasa.ac.at/id/eprint/4498/2/indexcodes.txt>;
	ep:hasFile <https://pure.iiasa.ac.at/id/eprint/4498/2/indexcodes.txt>;
	eprel:isIndexCodesVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:isVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:isVolatileVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	rdf:type ep:Document;
	rdfs:label "The Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems (Other)"^^xsd:string .

<https://pure.iiasa.ac.at/id/document/10075>
	dct:hasPart <https://pure.iiasa.ac.at/id/eprint/4498/3/lightbox.jpg>;
	ep:hasFile <https://pure.iiasa.ac.at/id/eprint/4498/3/lightbox.jpg>;
	eprel:isVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:isVolatileVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:islightboxThumbnailVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	rdf:type ep:Document;
	rdfs:label "The Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems (Other)"^^xsd:string .

<https://pure.iiasa.ac.at/id/document/10076>
	dct:hasPart <https://pure.iiasa.ac.at/id/eprint/4498/4/preview.jpg>;
	ep:hasFile <https://pure.iiasa.ac.at/id/eprint/4498/4/preview.jpg>;
	eprel:isVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:isVolatileVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:ispreviewThumbnailVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	rdf:type ep:Document;
	rdfs:label "The Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems (Other)"^^xsd:string .

<https://pure.iiasa.ac.at/id/document/10077>
	dct:hasPart <https://pure.iiasa.ac.at/id/eprint/4498/5/medium.jpg>;
	ep:hasFile <https://pure.iiasa.ac.at/id/eprint/4498/5/medium.jpg>;
	eprel:isVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:isVolatileVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:ismediumThumbnailVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	rdf:type ep:Document;
	rdfs:label "The Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems (Other)"^^xsd:string .

<https://pure.iiasa.ac.at/id/document/10078>
	dct:hasPart <https://pure.iiasa.ac.at/id/eprint/4498/6/small.jpg>;
	ep:hasFile <https://pure.iiasa.ac.at/id/eprint/4498/6/small.jpg>;
	eprel:isVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:isVolatileVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:issmallThumbnailVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	rdf:type ep:Document;
	rdfs:label "The Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems (Other)"^^xsd:string .

<https://pure.iiasa.ac.at/id/document/81348>
	dct:hasPart <https://pure.iiasa.ac.at/id/eprint/4498/7/WP-95-098.pdf>;
	ep:hasFile <https://pure.iiasa.ac.at/id/eprint/4498/7/WP-95-098.pdf>;
	eprel:isCoversheetVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:isVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	eprel:isVolatileVersionOf <https://pure.iiasa.ac.at/id/document/4046>;
	rdf:type ep:Document;
	rdfs:label "The Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems (Other)"^^xsd:string .

<https://pure.iiasa.ac.at/id/eprint/4498#authors>
	rdf:_1 <https://pure.iiasa.ac.at/id/person/ext-7347>;
	rdf:_2 <https://pure.iiasa.ac.at/id/person/ext-AL0659> .

<https://pure.iiasa.ac.at/id/eprint/4498/1/WP-95-098.pdf>
	rdfs:label "WP-95-098.pdf"^^xsd:string .

<https://pure.iiasa.ac.at/id/eprint/4498/2/indexcodes.txt>
	rdfs:label "indexcodes.txt"^^xsd:string .

<https://pure.iiasa.ac.at/id/eprint/4498/3/lightbox.jpg>
	rdfs:label "lightbox.jpg"^^xsd:string .

<https://pure.iiasa.ac.at/id/eprint/4498/4/preview.jpg>
	rdfs:label "preview.jpg"^^xsd:string .

<https://pure.iiasa.ac.at/id/eprint/4498/5/medium.jpg>
	rdfs:label "medium.jpg"^^xsd:string .

<https://pure.iiasa.ac.at/id/eprint/4498/6/small.jpg>
	rdfs:label "small.jpg"^^xsd:string .

<https://pure.iiasa.ac.at/id/eprint/4498/7/WP-95-098.pdf>
	rdfs:label "WP-95-098.pdf"^^xsd:string .

<https://pure.iiasa.ac.at/id/eprint/4498/>
	dc:format "text/html";
	dc:title "HTML Summary of #4498 \n\nThe Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems\n\n";
	foaf:primaryTopic <https://pure.iiasa.ac.at/id/eprint/4498> .

<https://pure.iiasa.ac.at/id/eprint/4498>
	bibo:abstract "We characterize in this paper the epigraph of the value function of a discounted infinite horizon optimal control problem as the viability kernel of an auxiliary differential inclusion. Then the viability kernel algorithm applied to this problem provides the value function of the discretized optimal control problem as the supremum of a nondecreasing sequence of functions iteratively defined. We also use the fact that an upper Painleve-Kuratowski limit of closed viability domains is a viability domain to prove the convergence of the discrete value functions."^^xsd:string;
	bibo:authorList <https://pure.iiasa.ac.at/id/eprint/4498#authors>;
	bibo:status <http://purl.org/ontology/bibo/status/published>;
	dct:creator <https://pure.iiasa.ac.at/id/person/ext-7347>,
		<https://pure.iiasa.ac.at/id/person/ext-AL0659>;
	dct:date "1995-09";
	dct:isPartOf <https://pure.iiasa.ac.at/id/repository>;
	dct:publisher <https://pure.iiasa.ac.at/id/org/ext-e2e9ea4afd5433cf617d867b497b5e00>;
	dct:title "The Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems"^^xsd:string;
	ep:hasDocument <https://pure.iiasa.ac.at/id/document/4046>,
		<https://pure.iiasa.ac.at/id/document/10069>,
		<https://pure.iiasa.ac.at/id/document/10075>,
		<https://pure.iiasa.ac.at/id/document/10076>,
		<https://pure.iiasa.ac.at/id/document/10077>,
		<https://pure.iiasa.ac.at/id/document/10078>,
		<https://pure.iiasa.ac.at/id/document/81348>;
	rdf:type bibo:Article,
		bibo:Manuscript,
		ep:EPrint,
		ep:MonographEPrint;
	rdfs:seeAlso <https://pure.iiasa.ac.at/id/eprint/4498/> .

<https://pure.iiasa.ac.at/id/org/ext-e2e9ea4afd5433cf617d867b497b5e00>
	foaf:name "WP-95-098"^^xsd:string;
	rdf:type foaf:Organization .

<https://pure.iiasa.ac.at/id/person/ext-7347>
	foaf:familyName "Aubin"^^xsd:string;
	foaf:givenName "J.-P."^^xsd:string;
	foaf:name "J.-P. Aubin"^^xsd:string;
	rdf:type foaf:Person .

<https://pure.iiasa.ac.at/id/person/ext-AL0659>
	foaf:familyName "Frankowska"^^xsd:string;
	foaf:givenName "H."^^xsd:string;
	foaf:name "H. Frankowska"^^xsd:string;
	rdf:type foaf:Person .