A Method for PLC Implementation of Supervisory Control of Discrete Event Systems

Vieira, Agnelo Denis; Santos, Eduardo Alves Portela; Queiroz, Max Hering de; Leal, André B.; Neto, Amaro Duarte de Paula; Cury, J.E.R.

doi:10.1109/tcst.2016.2544702

Cited by 39 publications

(33 citation statements)

References 37 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The header contains (1) the start byte (start), (2) the size in bytes of the data being transmitted (#pl), (3) an acknowledgement identification (ack), (4) the checksum value (cks), ( 5) the command (cmd), and (6) the command parameters (cpr). This is followed by (7) the data and (8) the end byte.…”

Section: Communicationmentioning

confidence: 99%

“…In later studies, the implementation aspects have gained increasing attention. A large body of work has been concerned with SCT implementations for manufacturing systems [6], [7], which are still commonly equipped with programmable logic controllers (PLC). The implementations on PLCs differ from those on microcontrollers, the latter being the common architecture in swarm robotics.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Supervisory Control of Robot Swarms Using Public Events

Lopes

Trenkwalder

Leal

et al. 2020

2020 IEEE International Conference on Robotics and Automation (ICRA)

Self Cite

View full text Add to dashboard Cite

show abstract

Section: Communicationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Supervisory Control of Robot Swarms Using Public Events

Lopes

Trenkwalder

Leal

et al. 2020

2020 IEEE International Conference on Robotics and Automation (ICRA)

Self Cite

View full text Add to dashboard Cite

show abstract

“…The implementation of supervisory control theory (SCT) has been extensively explored in academia [1] [2] [3] [9] [10] [11] [12]. The theory states that by modelling a real system as a discrete event system, a supervisor can be automatically generated that guarantees that "the resulting controlled behaviors do not contradict the behavioral specifications and are nonblocking.…”

Section: Literature Reviewmentioning

confidence: 99%

“…[3] Additionally, "It is quicker to design several small models than one large model." [3] Therefore, to minimize the risk of disconnects and decrease the modelling time required, "the system as a whole must be decomposed into several independent subsystems, each one uniquely associated with a specific piece of equipment" [9]. With the subcomponents modelled, they are recombined using an operation called the "synchronous product", creating a single model called the "plant" that describes the full behaviour of the system.…”

Section: Literature Reviewmentioning

confidence: 99%

Microcontroller based supervisory control of a solar tracker

Searle

Hashtrudi-Zad

2017

2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering (CCECE)

View full text Add to dashboard Cite

Microcontroller Based Supervisory Control of a Solar Tracker Kevin SearleThe Supervisory Control theory (SCT) of Discrete-Event Systems is concerned with the design of supervisors that can generate appropriate control command sequences that meet the plant design specifications. Examples of these sequences include the startup and shut-down command sequences of a spacecraft engine. This thesis addresses the implementation of Supervisory Controller (SC) executing on microcontroller hardware. The plant studied is a 2 degree-of-freedom solar tracker. Existing implementations of Supervisory Control Theory focus on Programmable LogicController (PLC) based systems. PLCs are mainly used in process control and manufacturing applications. These implementations have proven advantages but suffer from numerous drawbacks. The hardware is large, expensive and over engineered for many embedded system applications. Additionally, a number of disconnects between Supervisory Control Theory and their practical application exist. These include but are not limited to: the Avalanche Effect, Inexact Synchronization and Simultaneous Events. This thesis extends the application of SCT to the field of microcontroller-based embedded systems. Methods to minimize or remove the effects of Avalanche Effect, Inexact Synchronization, and Simultaneous Events are analyzed in a microcontrollerbased environment.Additionally, design procedures for the modelling and implementation of a supervisory controller executing within a microcontroller are explored. To this end, a physical implementation of a real system was created and documented. An offline computation of the system supervisor is derived in MATLAB and stored in the system's onboard memory as a State Transition Table (STT). An optimized storage method is developed that allows for fast execution of state transitions and a low memory footprint. vi

show abstract

“…O projeto do controlador de SEDsé geralmente realizado de duas formas: (i) modela-se o comportamento nãocontrolado do sistema e, após isso, controladores são sintetizados a partir da teoria de controle supervisório, (Vieira et al, 2017) e; (ii) projeto do controlador a partir do comportamento desejado do sistema, usando por exemplo, RPICs (Moreira & Basilio, 2014). O uso de modelos como RPICs e sua composição para o controle de uma planta pode resultar em uma explosão do espaço de estados para sistemas complexos que envolvem muitos componentes (Iordache et al, 2008).…”

Section: Introductionunclassified

Sincronização de Sistemas a Eventos Discretos com Compartilhamento de Recursos

Floriano

Viana

Alves

et al. 2019

Anais Do 14º Simpósio Brasileiro De Automação Inteligente

View full text Add to dashboard Cite

In this work, a method is proposed to perform the implementation of the synchronization of discrete event systems with resource sharing, by using the common place technique. Two different approaches are presented for synchronization as well as two algorithms to implement the synchronization by using control interpreted petri net (CIPN). The implementation in a didactic mechatronic plant is carried out through programmable logic controllers (PLCs) connected to each other by means of an industrial communication network and programmed in Ladder logic. Resumo: Neste trabalho,é proposto um método para realizar a implementação da sincronização de sistemas a eventos discretos com compartilhamento de recursos, utilizando a técnica de lugares comuns. Dois tipos de abordagens para a sincronização são apresentados, assim como dois algoritmos para a implementação adaptados para rede de Petri interpretada para controle (RPIC). A implementação em uma planta mecatrônica didáticaé realizada através de controladores lógicos programáveis (CLPs) conectados em rede e programados em linguagem Ladder.

show abstract

A Method for PLC Implementation of Supervisory Control of Discrete Event Systems

Cited by 39 publications

References 37 publications

Supervisory Control of Robot Swarms Using Public Events

Supervisory Control of Robot Swarms Using Public Events

Microcontroller based supervisory control of a solar tracker

Sincronização de Sistemas a Eventos Discretos com Compartilhamento de Recursos

Contact Info

Product

Resources

About