|
Published Articles >> Table of Contents >> Abstract
The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
pp. 60-69
On Observability in Timed Continuous Petri Net Systems
Jorge Julvez, Universidad de Zaragoza, Spain
Emilio Jimenez, Universidad de La Rioja, Spain
Laura Recalde, Universidad de Zaragoza, Spain
Manuel Silva, Universidad de Zaragoza, Spain
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10002
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
Citation:
Jorge Julvez, Emilio Jimenez, 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
|
|
