DocumentCode
2577477
Title
Probabilistic bisimulations of switching and resetting diffusions
Author
Abate, Alessandro
Author_Institution
Delft Center for Syst. & Control, TU, Netherlands
fYear
2010
fDate
15-17 Dec. 2010
Firstpage
5918
Lastpage
5923
Abstract
This contribution presents sufficient conditions for the existence of probabilistic bisimulations between two diffusion processes that are additionally endowed with switching and resetting behaviors. A probabilistic bisimulation between two stochastic processes is defined by means of a bisimulation function, which induces an approximation metric over the distance between the two processes. The validity of the proposed sufficient conditions results in the explicit characterization of one such bisimulation function. The conditions depend on contractivity properties of the two stochastic processes.
Keywords
simulation; stochastic processes; contractivity properties; probabilistic bisimulations; stochastic processes; switching-resetting diffusions; Computational modeling; Mathematical model; Measurement; Probabilistic logic; Silicon; Stochastic processes; Switches;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control (CDC), 2010 49th IEEE Conference on
Conference_Location
Atlanta, GA
ISSN
0743-1546
Print_ISBN
978-1-4244-7745-6
Type
conf
DOI
10.1109/CDC.2010.5717751
Filename
5717751
Link To Document