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 条

[21] On computing Optimal Controllers for Finite State Systems
Tronci, E
PROCEEDINGS OF THE 36TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 1997, : 3592 - 3593
[22] Automatic synthesis of controllers from formal specifications
Tronci, E
SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 134 - 143
[23] PROGRAMMABLE-LOGICAL-CONTROLLERS SYNTHESIS FOR AUTOMATED-GUIDED-VEHICLE SYSTEMS USING ORDINARY PETRI NETS
Luo, Jiliang
Ni, Huijuan
ASIAN JOURNAL OF CONTROL, 2014, 16 (06) : 1760 - 1770
[24] On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems
Hafidi, Yousra
Kahloul, Laid
Khalgui, Mohamed
Li, Zhiwu
Alnowibet, Khalid
Qu, Ting
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (10): : 3577 - 3591
[25] TASK DECOMPOSITION AND ALLOCATION PROBLEMS AND DISCRETE-EVENT SYSTEMS
LEVIS, AH
MORAY, N
HU, BS
AUTOMATICA, 1994, 30 (02) : 203 - 216
[26] Design of Fault Tolerant Controllers in Parallel Parking Systems
Qu, Yizhi
Li, Lingxi
Chen, Yaobin
Dai, Yaping
2009 12TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC 2009), 2009, : 685 - +
[27] A comparative study of synthesis methods for discrete event controllers
Pinzon, LE
Hanisch, HM
Jafari, MA
Boucher, T
FORMAL METHODS IN SYSTEM DESIGN, 1999, 15 (02) : 123 - 167
[28] A Comparative Study of Synthesis Methods for Discrete Event Controllers
L.E. Pinzon
H.-M. Hanisch
M.A. Jafari
T. Boucher
Formal Methods in System Design, 1999, 15 : 123 - 167
[29] BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems
Xu, Tianhua
Wang, Haifeng
Yuan, Tangming
Zhou, MengChu
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2016, 17 (09) : 2385 - 2394
[30] Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays
Moormann, Lars
Schouten, Reinier H. J.
Mortel-Fronczak, Joanna M. van de
Fokkink, Wan J.
Rooda, Jacobus E.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2023, 20 (03) : 1591 - 1606

← 1 2 3 4 5 →