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
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;
Conference_Titel :
Decision and Control, 2007 46th IEEE Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
978-1-4244-1497-0
Electronic_ISBN :
0191-2216
DOI :
10.1109/CDC.2007.4435036
