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 条
[31]   Structured Synthesis of Fault-Tolerant Supervisory Controllers [J].
Reijnen, F. F. H. ;
Reniers, M. A. ;
van de Mortel-Fronczak, J. M. ;
Rooda, J. E. .
IFAC PAPERSONLINE, 2018, 51 (24) :894-901
[32]   BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems [J].
Xu, Tianhua ;
Wang, Haifeng ;
Yuan, Tangming ;
Zhou, MengChu .
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2016, 17 (09) :2385-2394
[33]   Synthesis of asynchronous controllers using integer linear programming [J].
Carmona, Josep ;
Colom, Jose-Manuel ;
Cortadella, Jordi ;
Garcia-Valles, Fernando .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, 25 (09) :1637-1651
[34]   Synthesis of controllers of processes modeled as colored Petri nets [J].
Makungu, M ;
Barbeau, M ;
St-Denis, R .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1999, 9 (02) :147-169
[35]   Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays [J].
Moormann, L. ;
Schouten, R. H. J. ;
Van de Mortel-Fronczak, J. M. ;
Fokkink, W. J. ;
Rooda, J. E. .
2021 IEEE 17TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2021, :1268-1275
[36]   Efficient Implementation of Distinguished Controllers for Discrete-Event Systems [J].
Rosa, Marcelo ;
Teixeira, Marcelo ;
Denardin, Gustavo W. ;
Torrico, Cesar R. C. ;
Cury, Jose E. R. .
IFAC PAPERSONLINE, 2017, 50 (01) :1187-1192
[37]   A design strategy of discrete event controllers for automated manufacturing systems [J].
Hernández, EG ;
Bricaire, EA ;
Nava, JA ;
Sánchez, A .
2005 2ND INTERNATIONAL CONFERENCE ON ELECTRICAL & ELECTRONICS ENGINEERING (ICEEE), 2005, :361-364
[38]   Modular implementation of robust supervisory controllers for discrete event systems [J].
Economakos, Christoforos ;
Koumboulis, Fotis N. .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (06) :1559-1563
[39]   FPGA-based logic controllers for safety critical systems [J].
Wegrzyn, M .
NEW TECHNOLOGIES FOR COMPUTER CONTROL 2001, 2002, :553-558
[40]   The Synthesis of Complex Logical Controllers with Variables of Boolean and Fuzzy Logics [J].
Verevkin, Alexander ;
Kiryushin, Oleg .
PROCEEDINGS OF THE 7TH SCIENTIFIC CONFERENCE ON INFORMATION TECHNOLOGIES FOR INTELLIGENT DECISION MAKING SUPPORT (ITIDS 2019), 2019, 166 :49-52