• 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