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 :
بازگشت