Task blocks for synthesis of controllers for condition systems

被引：0

作者：

Holloway, LE ^{[1
]}

Ranganathan, S ^{[1
]}

机构：

[1] Univ Kentucky, Dept Elect Engn, Lexington, KY 40506 USA

来源：

1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5 | 1998年

关键词：

discrete event systems; state control; composed systems; Petri nets;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper considers the problem of synthesizing a controller to drive a discrete state system through a sequence of desired outputs. The systems considered interact with the controller through discrete condition signals. The controller is constructed from a sequential composition of ActionBlocks, which are control structures to drive the plant system to individual condition outputs. The paper presents a procedure for automatically constructing the ActionBlocks from an analysis of the system model. A class of system models is identified for which the closed loop system achieves the desired goals.

引用

页码：746 / 751

页数：6

共 50 条

[41] Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets [J].

Feng, Yanxiang ;

Xing, Keyi ;

Zhou, MengChu ;

Chen, Hefeng ;

Tian, Feng .

INFORMATION SCIENCES, 2020, 533 :181-199

[42] Design of observers/controllers for discrete event systems using Petri nets [J].

Giua, A ;

Seatzu, C .

SYNTHESIS AND CONTROL OF DISCRETE EVENT SYSTEMS, 2002, :167-182

[43] Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks [J].

Basile, F ;

Chiacchio, P ;

Vittorini, V ;

Mazzocca, N .

JOURNAL OF INTELLIGENT MANUFACTURING, 2004, 15 (03) :351-371

[44] Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks [J].

Francesco Basile ;

Pasquale Chiacchio ;

Valeria Vittorini ;

Nicola Mazzocca .

Journal of Intelligent Manufacturing, 2004, 15 :351-371

[45] Synthesis-based engineering of supervisory controllers for ROS-based applications [J].

Torta, E. ;

Reniers, M. ;

Kok, J. ;

Mortel-Fronczak, J. M. van de ;

van de Molengraft, M. J. G. .

CONTROL ENGINEERING PRACTICE, 2023, 133

[46] RCPetri: a Matlab app for the synthesis of Petri net regulation controllers for industrial automation [J].

Cid Gaona, Anibal ;

Manuel Chavez, Jose ;

Renato Vazquez, Carlos .

2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2021,

[47] Modeling, specification and controller synthesis for discrete event systems [J].

Lennartson, B ;

Tittus, M ;

Fabian, M .

1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, :698-703

[48] Modelling, synthesis, and simulation of supervisory process control systems [J].

Music, G ;

Matko, D ;

Zupancic, B .

MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, 2000, 6 (02) :169-189

[49] A method for the synthesis of controllers to handle safety, liveness, and real-time constraints [J].

Barbeau, M ;

Kabanza, F ;

St-Denis, R .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (11) :1543-1559

[50] Multi-layer state observers for condition systems [J].

Gong, Y ;

Holloway, LE .

ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, :421-428

← 1 2 3 4 5 →