Modelling and PLC-based implementation of modular supervisory control

Hellgren, Anders; Lennartson, Bengt; Fabian, Martin

doi:10.1109/wodes.2002.1167713

Cited by 22 publications

(15 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…If we logically disjunct equations (15), (18), (20), and (21), we get Hence where the last equation is deduced from (14). Based on (19), (22), and (23), it is straightforward that . Since the above equation holds for all variables in , we will have such equations.…”

Section: Definition Iv2 (Updated Transition Relation )mentioning

confidence: 99%

“…In addition, typically, a modular supervisor consumes less memory in a controller. The reason is that the synchronization will be performed online in the controller (see [19] and [20]) which can alleviate the problem of exponential growth of the number of states in the synchronization. Furthermore, since EFAs include guards and actions, they are often easier to interpret than purely event based ordinary modular automata.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata

Miremadi

Lennartson

Åkesson

2012

IEEE Trans. Contr. Syst. Technol.

View full text Add to dashboard Cite

Abstract-In this paper, we settle some problems that are encountered when modeling and synthesizing complex industrial systems by the supervisory control theory. First, modeling such huge systems with explicit state-transition models typically results in an intractable model. An alternative modeling approach is to use extended finite automata (EFAs), which is an augmentation of ordinary automata with variables. The main advantage of utilizing EFAs for modeling is that more compact models are obtained. The second problem concerns the ease to understand and implement the supervisor. To handle this problem, we represent the supervisor in a modular manner by extending the original EFAs by compact conditional expressions. This will provide a framework for the users where they can both model their system and obtain the supervisor in form of EFAs. In order to be able to handle complex systems efficiently, the models are symbolically represented by binary decision diagrams (BDDs). All computations that are performed in this framework are based on BDD operations. The framework has been implemented in a supervisory control tool and applied to industrially relevant benchmark problems.Index Terms-Binary decision diagrams (BDDs), extended finite automata (EFA), supervisor representation, supervisory control theory (SCT), symbolic representation.

show abstract

Section: Definition Iv2 (Updated Transition Relation )mentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata

Miremadi

Lennartson

Åkesson

2012

IEEE Trans. Contr. Syst. Technol.

View full text Add to dashboard Cite

show abstract

“…Most of the proposals found in the literature (Leduc, 1996;Hellgren et al, 2002;Queiroz & Cury, 2002) implements SCT in the ladder language. They have the same drawback: they deal with one single event per scan cycle.…”

Section: Related Workmentioning

confidence: 99%

PLC-Based Implementation of Local Modular Supervisory Control for Manufacturing Systems

Leal¹,

Cruz²,

Hounsell³

2012

Manufacturing System

View full text Add to dashboard Cite

“…In order to avoid state explosion that would arise from combining the modular automata into a monolithic supervisor, a decentralized supervisory control method is applied [15,16] . Previous researchers [9,10] have tried to apply DES with modular supervisory control to real systems, and even though the decentralized modular approach has advantages in term of the modification, analysis and maintenance of a system, it has its disadvantages as well.…”

Section: Introduction Of Modular Control Structurementioning

confidence: 99%

New Modularization Method to Design Supervisory Control of Automated Laboratory Systems

Jung¹

2014

Journal of manufacturing engineering & technology

View full text Add to dashboard Cite

ARTICLE INFO ABSTRACT Article history:This paper describes the application of discrete event systems theory to the design of an automated laboratory system. Current automated laboratory systems typically consist of several interacting processes that must be carefully sequenced to avoid any possible process conflicts. Discrete Event Systems (DES) theory and Supervisory Control Theory (SCT) can be applied together as effective methods of modeling the system dynamics and designing supervisory controllers to precisely sequence the many processes that such systems might involve. Classical approaches to supervisory controller design tend to result in complex controller structures that are difficult to implement, maintain, and upgrade. In this paper, a new approach to designing supervisory controllers for automated laboratory systems is introduced. This new approach uses a modular controller structure that is easier to implement, maintain, and upgrade,and deals with "state explosion" issues in a novel and efficient way.

show abstract

Modelling and PLC-based implementation of modular supervisory control

Cited by 22 publications

References 6 publications

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata

PLC-Based Implementation of Local Modular Supervisory Control for Manufacturing Systems

New Modularization Method to Design Supervisory Control of Automated Laboratory Systems

Contact Info

Product

Resources

About