Loading...
Please wait, while we are loading the content...
Similar Documents
Observability of timed continuous petri nets: a class of hybrid systems ⋆.
| Content Provider | CiteSeerX |
|---|---|
| Author | Mahulea, Cristian Recalde, Laura Silva, Manuel |
| Abstract | Abstract: Timed continuous Petri net systems with infinite server semantics are piecewise linear systems. This paper addresses several problems regarding the state observability of these systems. We assume that the initial marking/state is not known and measuring some places we want to estimate all the others. First, a study of the different linear systems corresponding to a continuous Petri net system is performed. It is shown that in some cases, some of them are redundant, and so can be disregarded. The notion of distinguishable configurations is introduced. It helps to give a necessary and sufficient criterion for the observability in infinitesimal time. Using results from linear structured systems (Commault et al. (2005)), the concept of generic observability is introduced and it is studied in the case of join free nets. 1. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | State Observability Timed Continuous Petri Net Infinite Server Semantics Infinitesimal Time Generic Observability Sufficient Criterion Several Problem Hybrid System Initial Marking State Timed Continuous Petri Net System Piecewise Linear System Distinguishable Configuration Different Linear System Continuous Petri Net System Join Free Net |
| Content Type | Text |
| Resource Type | Article |
