We study the problem of approximating a stochastic, possibly hybrid, system by means of some abstracted model to the purpose of simplifying the analysis of properties such as probabilistic safety and reachability. We suppose that the property to be analyzed depends on the behavior of some output signal of the system and that the model is designed in order to reproduce that signal as close as possible, for the different possible realizations of the stochastic input affecting the system. The idea developed in this paper is to assess the quality of a model as an approximation of a stochastic system by testing how close are their output signals over a finite number of input realizations. Under suitable assumptions, we show that, with high confidence, the quality assessed on a few input realizations is guaranteed to hold also for all the unseen ones except for a set of pre-defined probability epsilon. The proposed approach can be applied to an arbitrary system, the only requirement being to be able to run multiple simulations of its behavior for different input realizations.

A simulation-based approach to the approximation of stochastic hybrid systems

GARATTI, SIMONE;PRANDINI, MARIA
2012-01-01

Abstract

We study the problem of approximating a stochastic, possibly hybrid, system by means of some abstracted model to the purpose of simplifying the analysis of properties such as probabilistic safety and reachability. We suppose that the property to be analyzed depends on the behavior of some output signal of the system and that the model is designed in order to reproduce that signal as close as possible, for the different possible realizations of the stochastic input affecting the system. The idea developed in this paper is to assess the quality of a model as an approximation of a stochastic system by testing how close are their output signals over a finite number of input realizations. Under suitable assumptions, we show that, with high confidence, the quality assessed on a few input realizations is guaranteed to hold also for all the unseen ones except for a set of pre-defined probability epsilon. The proposed approach can be applied to an arbitrary system, the only requirement being to be able to run multiple simulations of its behavior for different input realizations.
2012
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems
978-3-902823-00-7
AUT
File in questo prodotto:
File Dimensione Formato  
ADHS12_0076_FI.pdf

Accesso riservato

: Pre-Print (o Pre-Refereeing)
Dimensione 125.84 kB
Formato Adobe PDF
125.84 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/661527
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact