loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
On Observability in Timed Continuous Petri Net Systems
Enschede, the Netherlands
September 27-September 30
ISBN: 0-7695-2185-1
Jorge J?lvez, Universidad de Zaragoza, Spain
Emilio Jim?nez, Universidad de La Rioja, Spain
Laura Recalde, Universidad de Zaragoza, Spain
Manuel Silva, Universidad de Zaragoza, Spain
Fluidification is a classical relaxation technique for approximated performance evaluation of discrete systems. In this paper we deal with T-timed fully continuous Petri Nets working under infinite servers semantics, what leads to (deterministic) piecewise linear differential systems. Switches among dynamic linear systems are triggered by internal events through minimum operators on marking variables. The observability problem consists of estimating the (initial) marking from a partial measure. This paper is devoted to observability concepts and criteria in this particular class of systems, not to the observers design. The concept of structural observability, regarding to the possibility of estimating the marking of places for any speed of the transitions is introduced and studied for the subclass of Join-Free Petri Nets (JF). For non Join-Free Petri Nets, conditions to compute suitable estimates will be established.
Citation:
Jorge J?lvez, Emilio Jim?nez, Laura Recalde, Manuel Silva, "On Observability in Timed Continuous Petri Net Systems," qest, pp.60-69, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.