Event-driven model predictive control of timed hybrid Petri nets

被引:10
|
作者
Julvez, J. [1 ]
Di Cairano, S. [2 ]
Bemporad, A. [3 ]
Mahulea, C. [1 ]
机构
[1] Univ Zaragoza, Dept Informat & Ingn Sistemas, E-50009 Zaragoza, Spain
[2] Mitsubishi Elect Res Labs, Cambridge, MA USA
[3] IMT Inst Adv Studies Lucca, Lucca, Italy
关键词
hybrid Petri nets; event-driven control; model predictive control; PIECEWISE AFFINE; SYSTEMS; STABILITY;
D O I
10.1002/rnc.2958
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Hybrid Petri nets represent a powerful modeling formalism that offers the possibility of integrating, in a natural way, continuous and discrete dynamics in a single net model. Usual control approaches for hybrid nets can be divided into discrete-time and continuous-time approaches. Continuous-time approaches are usually more precise, but can be computationally prohibitive. Discrete-time approaches are less complex, but can entail mode-mismatch errors due to fixed time discretization. This work proposes an optimization-based event-driven control approach that applies on continuous time models and where the control actions change when discrete events occur. Such an approach is computationally feasible for systems of interest in practice and avoids mode-mismatch errors. In order to handle modelling errors and exogenous disturbances, the proposed approach is implemented in a closed-loop strategy based on event-driven model predictive control. Copyright (C) 2013 John Wiley & Sons, Ltd.
引用
收藏
页码:1724 / 1742
页数:19
相关论文
共 50 条
  • [31] Utilizing Timed Petri Nets to Guide Data-Driven Fault Diagnosis of PLC-Timed Event Systems
    Cohen, Joseph
    Jiang, Baoyang
    Ni, Jun
    [J]. 2020 JOINT 11TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND INTELLIGENT SYSTEMS AND 21ST INTERNATIONAL SYMPOSIUM ON ADVANCED INTELLIGENT SYSTEMS (SCIS-ISIS), 2020, : 441 - 446
  • [32] Verification of biological models with Timed Hybrid Petri Nets
    Troncale, S.
    Comet, J. -P.
    Bernott, G.
    [J]. COMPUTATIONAL MODELS FOR LIFE SCIENCES (CMLS 07), 2007, 952 : 287 - +
  • [33] Transformation of Bounded Timed Petri Nets into Event-B
    Kaewopchoei, Suphattra
    Vatanawood, Wiwat
    [J]. 2019 20TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2019, : 127 - 132
  • [34] Model predictive control for non-holonomic robots with disturbances: A event-driven method
    Xu, Zhongxian
    Tian, Dongyuan
    He, Ning
    [J]. JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2024, 36 (04)
  • [35] Less Attention Event-driven Model Predictive Control of Time-delay System
    Bai, Ting
    Li, Shaoyuan
    Huang, Dan
    [J]. 2015 10TH ASIAN CONTROL CONFERENCE (ASCC), 2015,
  • [36] From TiMo to Event-B: Event-Driven Timed Mobility
    Ciobanu, Gabriel
    Thai Son Hoang
    Stefanescu, Alin
    [J]. 2014 19TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2014), 2014, : 1 - 10
  • [37] Optimal control of continuous Petri nets via model predictive control
    Giua, A.
    Mahulea, C.
    Recalde, L.
    Seatzu, C.
    Silva, M.
    [J]. WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 235 - +
  • [38] A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets
    Faria, Joao Pascoal
    Paiva, Ana C. R.
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (03) : 285 - 304
  • [39] A Control Oriented Model of Generalized Warehouses based on Colored Timed Petri Nets
    Basile, Francesco
    Chiacchio, Pasquale
    Del Grosso, Domenico
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, 2009, : 48 - 53
  • [40] A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets
    João Pascoal Faria
    Ana C. R. Paiva
    [J]. International Journal on Software Tools for Technology Transfer, 2016, 18 : 285 - 304