Petri net based modeling and analysis of switched systems

被引：0
|
作者：
He, KX [1 ]
Lemmon, MD [1 ]
机构：
[1] Univ Notre Dame, Dept Elect Engn, Notre Dame, IN 46556 USA
来源：
JOINT CONFERENCE ON THE SCIENCE AND TECHNOLOGY OF INTELLIGENT SYSTEMS | 1998年
关键词：
D O I：
10.1109/ISIC.1998.713650
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper summerizes recent results for a class of timed Petri nets called programmable timed Petri nets (PTPN) [Lem98]. The application of recent results [He98] [Bet97] concerning the uniform ultimate boundedness of switched systems, modeled by PTPN, is discussed. Unfolding [Eng91] is introduced as an efficient way to identify fundamental cycles from the reachability graph of the PTPN thereby providing an efficent way to test uniform ultimate boundedness of switched system.
引用
收藏
页码：140 / 145
页数：6
相关论文
共 50 条
  • [1] Petri net based modeling of hybrid systems
    Champagnat, R
    Esteban, P
    Pingaud, H
    Valette, R
    [J]. COMPUTERS IN INDUSTRY, 1998, 36 (1-2) : 139 - 146
  • [2] Modeling, analysis, and optimization of logistics systems Petri net based approaches
    Chen, Haoxun
    Labadi, Karim
    Amodeo, Lionel
    [J]. 2006 INTERNATIONAL CONFERENCE ON SERVICE SYSTEMS AND SERVICE MANAGEMENT, VOLS 1 AND 2, PROCEEDINGS, 2006, : 575 - 582
  • [3] Modeling and Analysis of Cyber-physical Systems Based on Petri Net
    Yuhai Yang
    Chongquan Zhong
    Xiaodong Liu
    Wei Lu
    [J]. International Journal of Control, Automation and Systems, 2023, 21 (9) : 2980 - 2994
  • [4] Modeling and Analysis of Cyber-physical Systems Based on Petri Net
    Yang, Yuhai
    Zhong, Chongquan
    Liu, Xiaodong
    Lu, Wei
    [J]. INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2023, 21 (09) : 2980 - 2994
  • [5] Petri Net Representation of Switched Fuzzy Systems
    Ding, Zuohua
    Ma, Jiaying
    Kandel, Abraham
    [J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2013, 21 (01) : 16 - 29
  • [6] Modular Petri Net based modeling, analysis and synthesis of dedicated production systems
    Tsinarakis, GJ
    Valavanis, KP
    Tsourveloudis, NC
    [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-3, PROCEEDINGS, 2003, : 3559 - 3564
  • [7] Petri net-based modeling of hybrid dynamic systems
    Gotesman, M
    LopezBenitez, N
    [J]. ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 553 - 559
  • [8] A modeling language for Petri net based factory automation systems
    Nakamura, D
    Takeda, Y
    Murakoshi, H
    Funakubo, N
    Dohi, Y
    [J]. IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 120 - 125
  • [9] STP-based approach to modeling and reachability analysis of a class of petri net systems
    [J]. 1600, Beijing University of Posts and Telecommunications (39):
  • [10] System of Systems Architecture Modeling and Mission Reliability Analysis Based on DoDAF and Petri Net
    Chen Zhiwei
    Zhao Tingdi
    Jiao Jian
    Li Yaqiu
    [J]. 2019 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2019) - R & M IN THE SECOND MACHINE AGE - THE CHALLENGE OF CYBER PHYSICAL SYSTEMS, 2019,
12345