Analysis of hybrid Petri nets with random discrete events

Hamed Ghasemieh

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

106 Downloads (Pure)

Abstract

More and more, our society and economy rely on the correct operation of, often hidden, critical infrastructures. These infrastructures such as the power grid and water and gas distribution networks, play an important role in our everyday life. Continuous supply of services from these assets is essential for people, organizations, and for the security and economy of our society. It is of substantial value to know or estimate how quickly such systems recover to acceptable levels of service after the occurrence of failures, natural disasters, e.g., fire, earthquakes, or cyber-attacks. Critical infrastructure and naturally hybrid, i.e., one needs both discrete and continuous quantities to realistically describe their behaviour. More-over, in many modern applications there is an intrinsic uncertainty. This is particularly true for dependability analysis of critical infrastructures, where one must model the occurrence of failure and repair in a system. In this dissertation we propose the use of an extended version of stochastic hybrid Petri nets. This modelling formalism combines discrete and continuous quantities with random discrete events. Furthermore, Petri nets provide a high level and easy-to-understand formalism. Particularly, we consider so called Hybrid Petri nets with General transitions (HPnG). The term general transition refers to the arbitrary nature of probability distribution that can be associated with stochastic variables in this model. HPnGs form a restricted subclass of stochastic hybrid models. The arbitrary nature of random discrete events in HPnGs is the main challenge for their analysis. We tackle the analysis of HPnGs by a conditioning argument on the occurrence times of random discrete events. This idea leads to an efficient generation of the underlying state space, which provides us with a structure such that measures of interest can be computed exacly and effectively. Unfortunately, the exact computation of measures of interests for complex systems by HPnGs, will be shown to be inefficient. To overcome this, we will also investigate approximation techniques, providing upper and lower bounds for measures of interest. The approximation techniques are based on discretizing, the support of stochastic variables. Moreover, by smart generation and exploration of only parts of the state space, we can come up with upper and lower bounds for the given measures of interest. We will also investigate the feasibility of the methods introduced in this thesis, by considering two real-world applications, namely, dependability analysis of a sewage treatment facility, and a model of a smart house.
Original languageEnglish
Awarding Institution
  • University of Twente
Supervisors/Advisors
  • Haverkort, Boudewijn Remigius Heinrich Maria, Supervisor
  • Remke, Anne Katharina Ingrid, Supervisor
Award date3 Feb 2017
Place of PublicationEnschede
Publisher
Print ISBNs978-90-365-4257-9
DOIs
Publication statusPublished - 3 Feb 2017

Fingerprint

Petri nets
Critical infrastructures
Intelligent buildings
Sewage treatment
Electric power distribution
Disasters
Probability distributions
Large scale systems
Earthquakes
Fires
Repair
Gases
Water

Keywords

  • IR-102980
  • METIS-320710

Cite this

Ghasemieh, Hamed. / Analysis of hybrid Petri nets with random discrete events. Enschede : University of Twente, 2017. 196 p.
@phdthesis{80b474590c2d498fba343d34b37fe531,
title = "Analysis of hybrid Petri nets with random discrete events",
abstract = "More and more, our society and economy rely on the correct operation of, often hidden, critical infrastructures. These infrastructures such as the power grid and water and gas distribution networks, play an important role in our everyday life. Continuous supply of services from these assets is essential for people, organizations, and for the security and economy of our society. It is of substantial value to know or estimate how quickly such systems recover to acceptable levels of service after the occurrence of failures, natural disasters, e.g., fire, earthquakes, or cyber-attacks. Critical infrastructure and naturally hybrid, i.e., one needs both discrete and continuous quantities to realistically describe their behaviour. More-over, in many modern applications there is an intrinsic uncertainty. This is particularly true for dependability analysis of critical infrastructures, where one must model the occurrence of failure and repair in a system. In this dissertation we propose the use of an extended version of stochastic hybrid Petri nets. This modelling formalism combines discrete and continuous quantities with random discrete events. Furthermore, Petri nets provide a high level and easy-to-understand formalism. Particularly, we consider so called Hybrid Petri nets with General transitions (HPnG). The term general transition refers to the arbitrary nature of probability distribution that can be associated with stochastic variables in this model. HPnGs form a restricted subclass of stochastic hybrid models. The arbitrary nature of random discrete events in HPnGs is the main challenge for their analysis. We tackle the analysis of HPnGs by a conditioning argument on the occurrence times of random discrete events. This idea leads to an efficient generation of the underlying state space, which provides us with a structure such that measures of interest can be computed exacly and effectively. Unfortunately, the exact computation of measures of interests for complex systems by HPnGs, will be shown to be inefficient. To overcome this, we will also investigate approximation techniques, providing upper and lower bounds for measures of interest. The approximation techniques are based on discretizing, the support of stochastic variables. Moreover, by smart generation and exploration of only parts of the state space, we can come up with upper and lower bounds for the given measures of interest. We will also investigate the feasibility of the methods introduced in this thesis, by considering two real-world applications, namely, dependability analysis of a sewage treatment facility, and a model of a smart house.",
keywords = "IR-102980, METIS-320710",
author = "Hamed Ghasemieh",
year = "2017",
month = "2",
day = "3",
doi = "10.3990/1.9789036542579",
language = "English",
isbn = "978-90-365-4257-9",
publisher = "University of Twente",
address = "Netherlands",
school = "University of Twente",

}

Analysis of hybrid Petri nets with random discrete events. / Ghasemieh, Hamed.

Enschede : University of Twente, 2017. 196 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

TY - THES

T1 - Analysis of hybrid Petri nets with random discrete events

AU - Ghasemieh, Hamed

PY - 2017/2/3

Y1 - 2017/2/3

N2 - More and more, our society and economy rely on the correct operation of, often hidden, critical infrastructures. These infrastructures such as the power grid and water and gas distribution networks, play an important role in our everyday life. Continuous supply of services from these assets is essential for people, organizations, and for the security and economy of our society. It is of substantial value to know or estimate how quickly such systems recover to acceptable levels of service after the occurrence of failures, natural disasters, e.g., fire, earthquakes, or cyber-attacks. Critical infrastructure and naturally hybrid, i.e., one needs both discrete and continuous quantities to realistically describe their behaviour. More-over, in many modern applications there is an intrinsic uncertainty. This is particularly true for dependability analysis of critical infrastructures, where one must model the occurrence of failure and repair in a system. In this dissertation we propose the use of an extended version of stochastic hybrid Petri nets. This modelling formalism combines discrete and continuous quantities with random discrete events. Furthermore, Petri nets provide a high level and easy-to-understand formalism. Particularly, we consider so called Hybrid Petri nets with General transitions (HPnG). The term general transition refers to the arbitrary nature of probability distribution that can be associated with stochastic variables in this model. HPnGs form a restricted subclass of stochastic hybrid models. The arbitrary nature of random discrete events in HPnGs is the main challenge for their analysis. We tackle the analysis of HPnGs by a conditioning argument on the occurrence times of random discrete events. This idea leads to an efficient generation of the underlying state space, which provides us with a structure such that measures of interest can be computed exacly and effectively. Unfortunately, the exact computation of measures of interests for complex systems by HPnGs, will be shown to be inefficient. To overcome this, we will also investigate approximation techniques, providing upper and lower bounds for measures of interest. The approximation techniques are based on discretizing, the support of stochastic variables. Moreover, by smart generation and exploration of only parts of the state space, we can come up with upper and lower bounds for the given measures of interest. We will also investigate the feasibility of the methods introduced in this thesis, by considering two real-world applications, namely, dependability analysis of a sewage treatment facility, and a model of a smart house.

AB - More and more, our society and economy rely on the correct operation of, often hidden, critical infrastructures. These infrastructures such as the power grid and water and gas distribution networks, play an important role in our everyday life. Continuous supply of services from these assets is essential for people, organizations, and for the security and economy of our society. It is of substantial value to know or estimate how quickly such systems recover to acceptable levels of service after the occurrence of failures, natural disasters, e.g., fire, earthquakes, or cyber-attacks. Critical infrastructure and naturally hybrid, i.e., one needs both discrete and continuous quantities to realistically describe their behaviour. More-over, in many modern applications there is an intrinsic uncertainty. This is particularly true for dependability analysis of critical infrastructures, where one must model the occurrence of failure and repair in a system. In this dissertation we propose the use of an extended version of stochastic hybrid Petri nets. This modelling formalism combines discrete and continuous quantities with random discrete events. Furthermore, Petri nets provide a high level and easy-to-understand formalism. Particularly, we consider so called Hybrid Petri nets with General transitions (HPnG). The term general transition refers to the arbitrary nature of probability distribution that can be associated with stochastic variables in this model. HPnGs form a restricted subclass of stochastic hybrid models. The arbitrary nature of random discrete events in HPnGs is the main challenge for their analysis. We tackle the analysis of HPnGs by a conditioning argument on the occurrence times of random discrete events. This idea leads to an efficient generation of the underlying state space, which provides us with a structure such that measures of interest can be computed exacly and effectively. Unfortunately, the exact computation of measures of interests for complex systems by HPnGs, will be shown to be inefficient. To overcome this, we will also investigate approximation techniques, providing upper and lower bounds for measures of interest. The approximation techniques are based on discretizing, the support of stochastic variables. Moreover, by smart generation and exploration of only parts of the state space, we can come up with upper and lower bounds for the given measures of interest. We will also investigate the feasibility of the methods introduced in this thesis, by considering two real-world applications, namely, dependability analysis of a sewage treatment facility, and a model of a smart house.

KW - IR-102980

KW - METIS-320710

U2 - 10.3990/1.9789036542579

DO - 10.3990/1.9789036542579

M3 - PhD Thesis - Research UT, graduation UT

SN - 978-90-365-4257-9

PB - University of Twente

CY - Enschede

ER -