A state estimation problem for timed continuous Petri nets

被引：0

作者：

Mahulea, Cristian ^{[1
]}

Paola Cabasino, Maria ^{[1
]}

Giua, Alessandro ^{[1
]}

Seatzu, Carla ^{[1
]}

机构：

[1] Univ Zaragoza, Dept Comp Sci & Syst Engn, Zaragoza 50018, Spain

来源：

PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14 | 2007年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：6310 / 6315

页数：6

共 15 条

[1] Continuous and hybrid Petri nets
Alla, H
David, R
[J]. JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) : 159 - 188
[2] [Anonymous], 1999, LECT NOTES COMPUTER
[3] Modelling and simulation of manufacturing systems with first-order hybrid Petri nets
Balduzzi, F
Giua, A
Seatzu, C
[J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2001, 39 (02) : 255 - 282
[4] First-order hybrid Petri Nets: A model for optimization and control
Balduzzi, F
Giua, A
Menga, G
[J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2000, 16 (04): : 382 - 399
[5] BENASSER A, 2000, THESIS U LILLE
[6] CORONA D, IEEE T AUTOMATIC CON
[7] David R., 2005, Discrete, continuous, and hybrid petri nets
[8] State estimation of λ-free labeled Petri nets with contact-free nondeterministic transitions
Giua, A
Corona, D
Seatzu, C
[J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (01): : 85 - 108
[9] Observer-based state-feedback control of timed Petri nets with deadlock recovery
Giua, A
Seatzu, C
Basile, F
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2004, 49 (01) : 17 - 29
[10] Observability of place/transition nets
Giua, A
Seatzu, C
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (09) : 1424 - 1437

← 1 2 →