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
关键词
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 条
  • [1] On controllability of timed continuous Petri nets
    Vazquez, C. Renato
    Ramirez, Antonio
    Recalde, Laura
    Silva, Manuel
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2008, 4981 : 528 - +
  • [2] Symbolic state estimation in bounded timed labeled Petri nets
    Dong, Yifan
    Wu, Naiqi
    Li, Zhiwu
    AUTOMATICA, 2024, 160
  • [3] Symmetries in timed continuous Petri nets
    Meyer, A.
    Dellnitz, M.
    Hessel-von Molo, M.
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2011, 5 (02) : 125 - 135
  • [4] State Estimation of Timed Labeled Petri Nets With Unobservable Transitions
    Declerck, Philippe
    Bonhomme, Patrice
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (01) : 103 - 110
  • [5] Limits of fluidification for a stochastic Petri Nets by timed continuous Petri Nets
    Benaya, N.
    El-Akchioui, N.
    Mourabit, T.
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND COMPUTER VISION (ISCV2018), 2018,
  • [6] A strategy for Estimation in Timed Petri nets
    Declerck, Philippe
    Chouchane, Amira
    Bonhomme, Patrice
    2017 4TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2017, : 489 - 494
  • [7] Structural controllability in timed continuous Petri nets?
    Arzola, Cesar
    Vazquez, Carlos Renato
    Ramirez-Trevino, Antonio
    Silva, Manuel
    AUTOMATICA, 2023, 153
  • [8] Weak Boundedness of Timed Continuous Petri Nets
    Ji, Guangyou
    Wang, Mingzhe
    PROCEEDINGS 2013 INTERNATIONAL CONFERENCE ON MECHATRONIC SCIENCES, ELECTRIC ENGINEERING AND COMPUTER (MEC), 2013, : 185 - 189
  • [9] Formal Analysis of Timed Continuous Petri Nets
    Kloetzer, Marius
    Mahulea, Cristian
    Belta, Calin
    Recalde, Laura
    Silva, Manuel
    47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 245 - 250
  • [10] A Holistic State Equation for Timed Petri Nets
    Werner, Matthias
    Popova-Zeugmann, Louchka
    Haustein, Mario
    Pelz, E.
    FUNDAMENTA INFORMATICAE, 2014, 133 (2-3) : 305 - 322