DocumentCode
2832076
Title
A state estimation problem for timed continuous Petri nets
Author
Mahulea, Cristian ; Cabasino, Maria Paola ; Giua, Alessandro ; Seatzu, Carla
Author_Institution
Univ. of Zaragoza, Zaragoza
fYear
2007
fDate
12-14 Dec. 2007
Firstpage
1770
Lastpage
1775
Abstract
Continuous Petri nets are an approximation of discrete Petri nets introduced to cope with the state explosion problem typical of discrete event systems. In this paper we start the problem of state estimation for timed continuous Petri nets with finite server semantics. Under the assumption that no observation is available, and thus the set of consistent markings only depends on the time elapsed, we study the observation based on the time-reachability analysis.
Keywords
Petri nets; discrete event systems; reachability analysis; state estimation; discrete Petri nets; discrete event systems; finite server semantics; state estimation; state explosion problem; time-reachability analysis; timed continuous Petri nets; Area measurement; Control systems; Discrete event systems; Explosions; Filtering; Observability; Observers; Petri nets; State estimation; USA Councils;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2007 46th IEEE Conference on
Conference_Location
New Orleans, LA
ISSN
0191-2216
Print_ISBN
978-1-4244-1497-0
Electronic_ISBN
0191-2216
Type
conf
DOI
10.1109/CDC.2007.4435036
Filename
4435036
Link To Document