Comparison of Hybrid Systems and Fluid Stochastic PetriNets

  • Authors:

  • Bruno Tuffin;Dong S. Chen;Kishor S. Trivedi

  • Affiliations:

  • Center for Advanced Computing and Communication, Department of Electrical and Computer Engineering, Duke University, Durham, NC 27708-0291, U.S.A.;Center for Advanced Computing and Communication, Department of Electrical and Computer Engineering, Duke University, Durham, NC 27708-0291, U.S.A.;Center for Advanced Computing and Communication, Department of Electrical and Computer Engineering, Duke University, Durham, NC 27708-0291, U.S.A.

  • Venue:
  • Discrete Event Dynamic Systems
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Hybrid Systems are modelsof interacting digital and continuous devices with applicationsin the control of aircraft, computers, or modern cars for instance.Concurrently, Fluid Stochastic Petri Nets (FSPNs) have been introducedas an extension of stochastic Petri nets to model physical systemsthat contain continuous fluid quantities controlled by discretelogic, as well as a means to deal with the possible state explosionof discrete models. Of course, an FSPN is by definition a hybridsystem but in this paper, we compare a general hybrid systemsformalism with FSPN formalism. The conclusion of this paper,suplemented by some examples, is that fluid stochastic Petrinets and hybrid system formalism can be converted from one tothe other. Although there is a price to pay for such a conversion,the conversion can transfer the solution methods from one tothe other and thus help the development of both formalisms.