PLC-based implementation of supervisory control for discrete event systems

Fabian, Martin; Hellgren, Anders

doi:10.1109/cdc.1998.758209

Cited by 114 publications

(99 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Often a supervisor presents more than one possible controllable event from a single state. Thus, before producing a signal-change in the PLC outputs it may have to choose only one among them because according to Fabian & Hellgren (1998), generating more than one controllable event in a scan cycle can be contradictory and catastrophic.…”

Section: Fig 3 Automaton That Attempts To Distinguish Between the Imentioning

confidence: 99%

“…According to (Fabian & Hellgren, 1998), "the supervisor implementation is basically a matter of making the PLC behave as a state machine". However, this is not trivial task and can lead to many problems (Fabian & Hellgren, 1998):…”

Section: Problemsmentioning

confidence: 99%

“…In order to avoid the simultaneity problem, the system must present the "interleave insensitivity" property (Fabian & Hellgren, 1998), which requires that after any interleaved uncontrollable events the "control decision" must necessarily be the same.…”

Section: Problemsmentioning

confidence: 99%

“…The main reason for this resides in some difficulties that exist in dealing with complex problems. According to Fabian and Hellgren (1998) another important reason is the difficulty in implementing a pragmatic solution obtained from SCT theoretical result, i.e., bridging practice and theory.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

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

Leal¹,

Cruz²,

Hounsell³

2012

Manufacturing System

View full text Add to dashboard Cite

Section: Fig 3 Automaton That Attempts To Distinguish Between the Imentioning

confidence: 99%

Section: Problemsmentioning

confidence: 99%

Section: Problemsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

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

Leal¹,

Cruz²,

Hounsell³

2012

Manufacturing System

View full text Add to dashboard Cite

“…The controller can, therefore, choose from all three movement options. How this choice is made is an implementation question (for details about the choice problem, see (Fabian and Hellgren 1998)). In this work, the options are chosen with equal probability.…”

Section: Figmentioning

confidence: 99%

Supervisory control theory applied to swarm robotics

et al. 2016

View full text Add to dashboard Cite

Currently, the control software of swarm robotics systems is created by ad hoc development. This makes it hard to deploy these systems in real-world scenarios. In particular, it is difficult to maintain, analyse, or verify the systems. Formal methods can contribute to overcome these problems. However, they usually do not guarantee that the implementation matches the specification, because the system's control code is typically generated manually. Also, there is cultural resistance to apply formal methods; they may be perceived as an additional step that does not add value to the final product. To address these problems, we propose supervisory control theory for the domain of swarm robotics. The advantages of supervisory control theory, and its associated tools, are a reduction in the amount of ad hoc development, the automatic generation of control code from modelled specifications, proofs of properties over generated control code, and the reusability of formally designed controllers between different robotic platforms. These advantages are demonstrated in four case studies using the e-puck and Kilobot robot platforms. Experiments with up to 600 physical robots Intell (2016) 10:65-97 are reported, which show that supervisory control theory can be used to formally develop state-of-the-art solutions to a range of problems in swarm robotics.

show abstract

Modeling Guidelines for Component-Based Supervisory Control Synthesis

Goorden

Mortel-Fronczak

Reniers

et al. 2020

Formal Aspects of Component Software

View full text Add to dashboard Cite

and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal ? Take down policyIf you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

show abstract

PLC-based implementation of supervisory control for discrete event systems

Cited by 114 publications

References 3 publications

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

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

Supervisory control theory applied to swarm robotics

Modeling Guidelines for Component-Based Supervisory Control Synthesis

Contact Info

Product

Resources

About