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 条
  • [31] MODELLING AND DESIGN OF HOSPITAL DEPARTMENTS BY TIMED CONTINUOUS PETRI NETS
    Dotoli, Mariagrazia
    Fanti, Maria Pia
    Mangini, Agostino Marcello
    Ukovich, Walter
    7TH INTERNATIONAL WORKSHOP ON MODELING & APPLIED SIMULATION, 2008, : 175 - 180
  • [32] Model Predictive Control for Discrete and Continuous Timed Petri Nets
    Marwa Taleb
    Edouard Leclercq
    Dimitri Lefebvre
    International Journal of Automation and Computing, 2018, 15 (01) : 25 - 38
  • [33] Tolerance intervals for stochastic processes with timed continuous Petri nets
    Lefebvre, Dimitri
    Leclercq, Edouard
    Sanlaville, Eric
    IFAC PAPERSONLINE, 2015, 48 (03): : 1018 - 1023
  • [34] Model predictive control for discrete and continuous timed Petri nets
    Taleb M.
    Leclercq E.
    Lefebvre D.
    International Journal of Automation and Computing, 2018, 15 (1) : 25 - 38
  • [35] Optimal stationary behavior for a class of timed continuous Petri nets
    Gaujal, B
    Giua, A
    AUTOMATICA, 2004, 40 (09) : 1505 - 1516
  • [36] TRANSFORMATION OF TIMED PETRI NETS FOR RESPONSE-TIME ESTIMATION
    OH, HR
    CHUNG, WH
    KIM, M
    IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1990, 137 (01): : 74 - 80
  • [37] The analysis of data parallel problem based on timed Petri nets
    Fang, Xianwen
    Xu, Zhicai
    Yin, Zhixiang
    DCABES 2006 Proceedings, Vols 1 and 2, 2006, : 226 - 229
  • [38] THE MINIMUM INITIAL MARKING PROBLEM FOR SCHEDULING IN TIMED PETRI NETS
    WATANABE, T
    TANIDA, T
    YAMAUCHI, M
    ONAGA, K
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1992, E75A (10) : 1407 - 1421
  • [39] Firing sequences and firing frequencies estimation for timed Petri nets
    Lefebvre, D
    CYBERNETICS AND SYSTEMS, 2000, 31 (06) : 689 - 711
  • [40] Timed approximate Petri nets
    Suraj, Zbigniew
    Fryc, Barbara
    FUNDAMENTA INFORMATICAE, 2006, 71 (01) : 83 - 99
12345