On coparanormality in distributed supervisory control of discrete‐event systems
Sign Up to like & getrecommendations! Published in 2020 at "Asian Journal of Control"
DOI: 10.1002/asjc.2349
Abstract: Decomposition and localization of a supervisor are both reduction methods in distributed supervisory control of discrete‐event systems. Decomposition is employed to reduce the number of events and localization is used to reduce the number of… read more here.
Keywords: control discrete; distributed supervisory; supervisor; coparanormality ... See more keywords
Supervisory control of an anaerobic digester subject to drastic substrate changes
Sign Up to like & getrecommendations! Published in 2020 at "Chemical Engineering Journal"
DOI: 10.1016/j.cej.2019.123502
Abstract: Abstract Anaerobic digestion (AD) is a green technology that has been applied for many years. One of the main problems in this process is controlling these bioreactors to maximize methane production. A supervisory control strategy… read more here.
Keywords: methane production; control; supervisory control; production rate ... See more keywords
Application of online supervisory control of discrete-event systems to multi-robot warehouse automation
Sign Up to like & getrecommendations! Published in 2018 at "Control Engineering Practice"
DOI: 10.1016/j.conengprac.2018.09.003
Abstract: Abstract In this paper we present an online supervisory control approach, based on limited lookahead policy, that is amenable for the control of multi-agent discrete-event systems. We then apply this online control scheme to model… read more here.
Keywords: discrete event; control; online supervisory; warehouse automation ... See more keywords
A Signal-Interpreted Approach to the Supervisory Control Theory Problem
Sign Up to like & getrecommendations! Published in 2017 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2017.08.2066
Abstract: After highlighting the difficulties encountered when implementing a supervisor on a real controller and the limitations of existing solutions to handle them, this paper presents a signal-interpreted approach to the Supervisory Control Theory problem. Due… read more here.
Keywords: signal; interpreted approach; control theory; signal interpreted ... See more keywords
On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours
Sign Up to like & getrecommendations! Published in 2018 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2018.06.275
Abstract: Abstract Reactive synthesis (RS) and supervisory control theory (SCT) both provide a design methodology for digital systems. RS takes a computer science perspective and seeks to synthesise a system that interacts with its environment in… read more here.
Keywords: reactive synthesis; synthesis supervisory; supervisory control; synthesis ... See more keywords
A Signal-Interpreted Approach to the Supervisory Control Theory - Extension to Partially Controllable Signals
Sign Up to like & getrecommendations! Published in 2018 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2018.06.338
Abstract: Abstract After highlighting the difficulties encountered while implementing a supervisor on actual industrial controllers and different approaches already suggested to tackle them, this paper presents a signal-interpreted approach to the Supervisory Control Theory (SCT) framework.… read more here.
Keywords: interpreted approach; control theory; approach; signal interpreted ... See more keywords
A Reactive Synthesis Approach to Supervisory Control of Terminating Processes
Sign Up to like & getrecommendations! Published in 2020 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2020.12.2541
Abstract: This paper establishes a connection between supervisory control theory (SCT) and reactive synthesis (RS) in the situation where both the plant and the specification are modeled by ∗-languages, i.e., formal languages over finite words. In… read more here.
Keywords: synthesis approach; reactive synthesis; supervisory control; synthesis ... See more keywords
Supervisory Control in Construction Robotics: in the Quest for Scalability and Permissiveness
Sign Up to like & getrecommendations! Published in 2020 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2021.04.012
Abstract: Abstract In this paper we present a solution to a particular problem from the more general field of construction robotics. The problem we deal with consists of employing one or more mobile robots to autonomously… read more here.
Keywords: supervisory control; robotics; construction robotics; scalability ... See more keywords
Composite supervisory control for symmetric discrete-event systems
Sign Up to like & getrecommendations! Published in 2020 at "International Journal of Control"
DOI: 10.1080/00207179.2018.1523566
Abstract: ABSTRACT In symmetric discrete-event systems, the system complexity is reduced by relabelling to the same symbol events fulfilling the same task. In this paper, we divide specifications into two classes: public specifications and private specifications.… read more here.
Keywords: discrete event; control; symmetric discrete; event systems ... See more keywords
Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Access"
DOI: 10.1109/access.2021.3096595
Abstract: In recent years, there has been a growing concern for robust supervisory control policies that can handle both deadlock and blockage propagation in automated manufacturing systems in the event of resource failures. This work proposes… read more here.
Keywords: robust supervisory; unreliable resources; automated manufacturing; supervisory control ... See more keywords
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Control Systems Letters"
DOI: 10.1109/lcsys.2020.2971029
Abstract: We propose an on-line supervisory control scheme for discrete event systems (DESs), where a control specification is described by a fragment of linear temporal logic. On the product automaton of the DES and an acceptor… read more here.
Keywords: control; discrete event; event systems; line ... See more keywords