A new class of Petri nets for modeling and property verification of switched stochastic systems

Document Type

Article

Publication Date

7-1-2015

Abstract

Switched stochastic systems (SSS) can be used to describe hybrid systems with randomness. However, the languages to describe their discrete switching logic and stochastic dynamic processes are different, and this difference makes their design and analysis hard. This paper proposes a new Petri net model, namely stochastic-differential Petri net (S-DPN), to describe both discrete switching logic, represented by a Markov chain, and stochastic dynamic processes, represented by a set of stochastic differential equations. We then apply a model checking technique to S-DPN to check the correctness of the requirements of SSS. A temperature control system is used to demonstrate the effectiveness of our method.

Identifier

84932644412 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Systems

External Full Text Location

https://doi.org/10.1109/TSMC.2014.2379654

e-ISSN

21682232

ISSN

21682216

First Page

1087

Last Page

1100

Issue

7

Volume

45

Grant

61170015

This document is currently not available here.

Share

COinS