A statistical approach for computing reachability of non-linear and stochastic dynamical systems (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• A statistical approach for computing reachability of non-linear and stochastic dynamical systems (Contributo in atti di convegno) (literal)

Anno

• 2014-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-319-10696-0_5 (literal)

Alternative label

• Bortolussi L., Sanguinetti G. (2014)
  A statistical approach for computing reachability of non-linear and stochastic dynamical systems
  in QEST 2014 - Quantitative Evaluation of Systems. 11th International Conference, Florence, Italy, 8-10 September 2014
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Bortolussi L., Sanguinetti G. (literal)

Pagina inizio

• 41 (literal)

Pagina fine

• 56 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• Grant agreement: 600708 Tipo Progetto: EU_FP7 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://dx.doi.org/10.1007/978-3-319-10696-0_5 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 8657 (literal)

Rivista

• Lecture notes in computer science (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 15 (literal)

Note

• PuMa (literal)
• ISI Web of Science (WOS) (literal)
• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTI, Pisa (IT); University of Edinburgh (UK). (literal)

Titolo

• A statistical approach for computing reachability of non-linear and stochastic dynamical systems (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-319-10696-0 (literal)

Abstract

• We present a novel approach to compute reachable sets of dynamical systems with uncertain initial conditions or parameters, leveraging state-of-the-art statistical techniques. From a small set of samples of the true reachable function of the system, expressed as a function of initial conditions or parameters, we emulate such function using a Bayesian method based on Gaussian Processes. Uncertainty in the reconstruction is reflected in confidence bounds which, when combined with template polyhedra ad optimised, allow us to bound the reachable set with a given statistical confidence. We show how this method works straightforwardly also to do reachability computations for uncertain stochastic models. (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR

• LUCA BORTOLUSSI (Unità di personale esterno)

Insieme di parole chiave

• Keywords of "A statistical approach for computing reachability of non-linear and stochastic dynamical systems" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR di

• LUCA BORTOLUSSI (Unità di personale esterno)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Lecture notes in computer science (Rivista)

Insieme di parole chiave di

• Keywords of "A statistical approach for computing reachability of non-linear and stochastic dynamical systems" (Insieme di parole chiave)