Fluid petri nets and hybrid model-checking: A comparative case study

M. Gribaudo, A. Horváth, A. Bobbio, E. Tronci, E. Ciancamerla, M. Minichino

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

Abstract

The modeling and analysis of hybrid systems is a recent and challenging research area which is actually dominated by two main lines: a functional analysis based on the description of the system in terms of discrete state (hybrid) automata (whose goal is to ascertain conformity and reachability properties), and a stochastic analysis (whose aim is to provide performance and dependability measures). This paper investigates a unifying view between formal methods and stochastic methods by proposing an analysis methodology of hybrid systems based on Fluid Petri Nets (FPNs). FPNs can be analyzed directly using appropriate tools. Our paper shows that the same FPN model can be fed to different functional analyzers for model checking. In order to extensively explore the capability of the technique, we have converted the original FPN into languages for discrete as well as hybrid as well as stochastic model checkers. In this way, a first comparison among the modeling power of well known tools can be carried out. Our approach is illustrated by means of a 'real world' hybrid system: the temperature control system of a co-generative plant.

Lingua originaleInglese
pagine (da-a)239-257
Numero di pagine19
RivistaReliability Engineering and System Safety
Volume81
Numero di pubblicazione3
DOI
Stato di pubblicazionePubblicato - 1 set 2003
Pubblicato esternamente

Fingerprint

Entra nei temi di ricerca di 'Fluid petri nets and hybrid model-checking: A comparative case study'. Insieme formano una fingerprint unica.

Cita questo