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 条

[1] Synthesis of forcing/locking controllers based on net condition/event systems
Luder, A
Hanisch, HM
Rausch, M
ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 341 - 347
[2] Synthesis of Communicating Controllers for Distributed Systems
Kalyon, G.
Le Gall, T.
Marchand, H.
Massart, T.
2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 1803 - 1810
[3] Detection of unmodelled anomalous behaviours via localized controllers for condition systems
Ashley, Jeff
Holloway, Lawrence
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2008, 46 (19) : 5289 - 5312
[4] Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers
Li, Jialong
Manzano, Wallace
Yamauchi, Takuto
Matsuyama, Nobuhiro
Nakagawa, Elisa Yumi
Tei, Kenji
PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SYSTEMS-OF-SYSTEMS AND SOFTWARE ECOSYSTEMS, SESOS 2024, 2024, : 1 - 8
[5] Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems
Nam Tung Vu
Takai, Shigemasa
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2016, E99A (02) : 483 - 490
[6] Synthesis of supervisory controllers for hybrid systems based on approximating automata
Cury, JER
Krogh, BH
Niinomi, T
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) : 564 - 568
[7] Symbolic synthesis of a class of discrete-event controllers for process systems
Sanchez, A
Reza, J
Douriet, J
Gonzalez, RE
EUROPEAN SYMPOSIUM ON COMPUTER-AIDED PROCESS ENGINEERING - 14, 2004, 18 : 991 - 996
[8] Synthesis of a class of discrete-event controllers for large manufacturing systems
Sanchez, Arturo
Douriet, Jaime G.
Ramirez, Eduardo
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2007, 37 (04): : 662 - 669
[9] On the Design of Regulation Controllers for Automation Systems with RCPetri
Anguiano-Gijon, Carlos Alberto
Cid-Gaona, Anibal
Chavez-Delgado, Jose Manuel
Vazquez, Carlos Renato
APPLIED SCIENCES-BASEL, 2022, 12 (07):
[10] Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
Yin, Xiang
Gao, Bingzhao
Yu, Xiao
ANNUAL REVIEWS IN CONTROL, 2024, 57

← 1 2 3 4 5 →