Programmable timed Petri nets in the analysis and design of hybrid control systems

被引：0
|
作者：
Koutsoukos, XSD [1 ]
Antsaklis, PJ [1 ]
He, KXY [1 ]
Lemmon, MD [1 ]
机构：
[1] Univ Notre Dame, Dept Elect Engn, Notre Dame, IN 46556 USA
来源：
PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4 | 1998年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, a class of timed Petri nets, named programmable timed Petri nets is used to model and study switched hybrid systems. Supervisory control of a hybrid system in which the continuous state is transfered to a region of the state space in a way that respects safety specifications on the plant's discrete and continuous dynamics is examined. The approach is illustrated using a power system example.
引用
收藏
页码：1617 / 1622
页数：6
相关论文
共 50 条
  • [1] Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
    Xenofon D. Koutsoukos
    Kevin X. He
    Michael D. Lemmon
    Panos J. Antsaklis
    [J]. Discrete Event Dynamic Systems, 1998, 8 : 137 - 173
  • [2] Timed Petri nets in hybrid systems: Stability and supervisory control
    Koutsoukos, XD
    He, KX
    Lemmon, MD
    Antsaklis, PJ
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (02): : 137 - 173
  • [3] Hybrid control systems using timed Petri nets: supervisory control design based on invariant properties
    Koutsoukos, XD
    Antsaklis, PJ
    [J]. HYBRID SYSTEMS V, 1999, 1567 : 142 - 162
  • [4] Design of discrete event control systems for programmable logic controllers using T-timed Petri nets
    Jones, AH
    Uzam, M
    Ajlouni, N
    [J]. PROCEEDINGS OF THE 1996 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 1996, : 212 - 217
  • [5] State feedback control of timed hybrid Petri nets
    Tanaka, A
    Ushio, T
    Kodama, S
    [J]. ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 2004, 87 (01): : 83 - 89
  • [6] State feedback control of timed hybrid Petri nets
    Tanaka, A
    Ushio, T
    Kodama, S
    [J]. ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 2003, 86 (10): : 1 - 7
  • [7] Design of Regulatory Traffic Light Control Systems with Synchronized Timed Petri Nets
    Huang, Yi-Sheng
    Weng, Yi-Shun
    Zhou, MengChu
    [J]. ASIAN JOURNAL OF CONTROL, 2018, 20 (01) : 174 - 185
  • [8] Petri nets control design for hybrid electrical energy systems
    Mboup, Alioune Badara
    Guerin, Francois
    Ndiaye, Pape Alioune
    Lefebvre, Dimitri
    [J]. 2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 5012 - +
  • [9] Design of embedded control systems using hybrid Petri nets
    Hummel, T
    Fengler, W
    [J]. DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 189 - 194
  • [10] Modeling and Analysis of Stage Machinery Control Systems by Timed Colored Petri Nets
    Zhang, Hehua
    Gu, Ming
    Song, Xiaoyu
    [J]. 2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 103 - +
12345