Stochastic Petri nets model of hybrid dynamical system

被引:0
|
作者
Li, ZW [1 ]
Zeng, JC [1 ]
机构
[1] Taiyuan Heavy Machinery Inst, Div Syst Simulat & Comp Applicat, Taiyuan 030024, Peoples R China
关键词
hybrid dynamical system; stochastic Petri nets; hybrid states;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Based on the theory of hybrid dynamical system and stochastic Petri nets, stochastic Petri nets model of hybrid dynamical system is presented in this paper. The qualitative change and quantitative change rules of the model are put forward, and state track of hybrid states is studied in the paper. This stochastic Petri nets applies to modeling and analysis of hybrid dynamical system with random factors effectively.
引用
收藏
页码:359 / 362
页数:4
相关论文
共 50 条
  • [1] Stochastic Hybrid Approximations of Markovian Petri Nets
    Vazquez, Carlos R.
    Silva, Manuel
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (09): : 1231 - 1244
  • [2] A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata
    Pilch, Carina
    Krause, Maurice
    Remke, Anne
    Abraham, Erika
    [J]. NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 381 - 400
  • [3] Reliability Modelling of Hybrid Redundancy System Based on Generalized Stochastic Petri Nets
    Sun, Chenfeng
    Lu, Weimin
    Cong, Linhu
    Xu, Pengbo
    [J]. Binggong Xuebao/Acta Armamentarii, 2022, 43 (08): : 2007 - 2016
  • [4] Comparison of Hybrid Systems and Fluid Stochastic Petri Nets
    Bruno Tuffin
    Dong S. Chen
    Kishor S. Trivedi
    [J]. Discrete Event Dynamic Systems, 2001, 11 : 77 - 95
  • [5] Comparison of hybrid systems and fluid stochastic Petri nets
    Tuffin, B
    Chen, DS
    Trivedi, KS
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2001, 11 (1-2): : 77 - 95
  • [6] Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring
    Hatte, Leonie
    Ribot, Pauline
    Chanthery, Elodie
    [J]. IFAC PAPERSONLINE, 2024, 58 (04): : 646 - 651
  • [7] STOCHASTIC PETRI NETS
    FLORIN, G
    NATKIN, S
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 143 - 160
  • [8] Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings
    Pilch, Carina
    Hartmanns, Arnd
    Remke, Anne
    [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC2020) (PART OF CPS-IOT WEEK), 2020,
  • [9] Hybrid modelling with second order fluid stochastic Petri nets
    Wolter, K
    Hommel, G
    [J]. PROCEEDINGS OF THE JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS: FIFTH INTERNATIONAL WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS (WPDRTS) AND THE THIRD WORKSHOP ON OBJECT-ORIENTED REAL-TIME SYSTEMS (OORTS), 1997, : 239 - 243
  • [10] Model of a Virtual Firewall based on Stochastic Petri Nets
    Zabala, Luis
    Solozabal, Ruben
    Ferro, Armando
    Blanco, Bego
    [J]. 2018 IEEE 17TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), 2018,