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
相关论文
共 50 条
  • [21] State equations and equivalent transformations for timed petri nets
    D. A. Zaitsev
    A. I. Sleptsov
    Cybernetics and Systems Analysis, 1997, 33 : 659 - 672
  • [22] State equations and equivalent transformations for timed Petri nets
    Zaitsev, DA
    Sleptsov, AI
    CYBERNETICS AND SYSTEMS ANALYSIS, 1997, 33 (05) : 659 - 672
  • [23] State feedback control of timed hybrid Petri nets
    Tanaka, A
    Ushio, T
    Kodama, S
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 2004, 87 (01): : 83 - 89
  • [24] Modular state space exploration for timed petri nets
    Lakos C.
    Petrucci L.
    Int. J. Softw. Tools Technol. Trans., 2007, 3-4 (393-411): : 393 - 411
  • [25] State feedback control of timed hybrid Petri nets
    Tanaka, A
    Ushio, T
    Kodama, S
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 2003, 86 (10): : 1 - 7
  • [26] Distributed Model Predictive Control of Timed Continuous Petri nets
    Wang, Liewei
    Mahulea, Cristian
    Silva, Manuel
    2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 6317 - 6322
  • [27] Approaching minimum time control of timed continuous Petri nets
    Apaydin-Oezkan, Hanife
    Julvez, Jorge
    Mahulea, Cristian
    Silva, Manuel
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2011, 5 (02) : 136 - 148
  • [28] Gradient-based controllers for timed continuous Petri nets
    Lefebvre, Dimitri
    Leclercq, Edouard
    Druaux, Fabrice
    Thomas, Philippe
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2015, 46 (09) : 1661 - 1678
  • [29] An Automated Framework for Formal Verification of Timed Continuous Petri Nets
    Kloetzer, Marius
    Mahulea, Cristian
    Belta, Calin
    Silva, Manuel
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (03) : 460 - 471
  • [30] Model Predictive Control for Discrete and Continuous Timed Petri Nets
    Marwa Taleb
    Edouard Leclercq
    Dimitri Lefebvre
    Machine Intelligence Research, 2018, (01) : 25 - 38
12345