Neural network transition enabling function Petri Net to supervisory control

被引：0

作者：

Barroso, GC ^{[1
]}

de Alexandria, AR ^{[1
]}

机构：

[1] Univ Fed Ceara, Dept Fis, Fortaleza, Ceara, Brazil

来源：

INTELLIGENT MANUFACTURING SYSTEMS 1998 (IMS'98) | 1999年

关键词：

supervisory control; Petri Net; discrete event system; neural network;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents Petri Net (PN) models conceived to be employed with the Supervisory Control Theory (SCT). The SCT deals with the supervisory synthesis problem. In this paper, the supervisor synthesis is obtained by processing both the system and specification models through two algorithms, MRTA and ACGS respectively. These algorithms make possible to obtain the supervisor of a discrete event system (DES), modeled by a Petri Net with Neural Network Transition Enabling Function (PNTEF), based on a given specification. A supervisor of a manufacturing cell example is presented. Copyright (C) 1998 IFAC.

引用

页码：109 / 113

页数：5

共 50 条

[1] A Petri net based supervisory control implementation
Flochová, J
2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1039 - 1044
[2] Petri net cascade decomposition for supervisory control
Dong, LD
Wu, WM
Su, HY
Chu, J
PROCEEDINGS OF THE 2003 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2003, : 338 - 343
[3] PETRI-NET STRUCTURAL-ANALYSIS FOR SUPERVISORY CONTROL
GIUA, A
DICESARE, F
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1994, 10 (02): : 185 - 195
[4] Petri net based modelling and supervisory control design in Matlab
Music, G
Zupanicic, B
Matko, D
IEEE REGION 8 EUROCON 2003, VOL A, PROCEEDINGS: COMPUTER AS A TOOL, 2003, : 362 - 366
[5] Supervisory control of time Petri nets using net unfolding
Buy, U
Darabi, H
Lehene, M
Venepally, V
Proceedings of the 29th Annual International Computer Software and Applications Conference, Workshops and Fast Abstracts, 2005, : 97 - 100
[6] Differential Petri net models for industrial automation and supervisory control
Demongodin, Isabel
Koussoulas, Nick T.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2006, 36 (04): : 543 - 553
[7] High-level Petri net approach for supervisory control
Zouari, B
2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1161 - 1166
[8] LLP supervisory control with timed Petri net models in mobile robots
Kobayashi, K
Inoue, K
Ushio, T
2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 3229 - 3234
[9] Undirected colored Petri net for modelling and supervisory control of AGV systems
Roszkowska, E
WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2002, : 135 - 142
[10] An application of LLP supervisory control with Petri net models in mobile robots
Kobayashi, K
Ushio, T
SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3015 - 3020

← 1 2 3 4 5 →