Applied Supervisory Control for a Flexible Manufacturing System

Moor, Thomas; Schmidt, Ece Güran; Perk, S.

doi:10.3182/20100830-3-de-4013.00043

Cited by 13 publications

(6 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Moreover, we have exploited the structural properties of the transition structure of the discrete event model obtained by abstraction and developed a new algorithm for computing the supremal controllable sublanguage customized to this particular application, which achieves greater efficiency than the standard one. This work constitutes a new application area of DES theory, beyond those in manufacturing and software for instance (see, e.g., [17], [18], [19], [20]), with the distinctive feature that the DES model is obtained by abstraction from a continuous one, not by direct modeling of the discrete transition structure. Current issues of interest include refinement of our methodology to handle continuous models with second order dynamics, imperfect state information, acceleration constraints, and further algorithmic improvements.…”

Section: Discussionmentioning

confidence: 99%

Supervisory control for collision avoidance in vehicular networks using discrete event abstractions

Dallal

Colombo

Vecchio

et al. 2016

Discrete Event Dyn Syst

View full text Add to dashboard Cite

Abstract-We consider the problem of collision avoidance at vehicular intersections for a set of controlled and uncontrolled vehicles that are linked by wireless communication. Each vehicle is modeled by a first order system. We use a disturbance to account for bounded model uncertainty. We construct a discrete event system abstraction and formulate the problem in the context of supervisory control for discrete event systems with uncontrollable events. This allows us to mitigate computational limitations related to the presence of continuous dynamics and infinite state spaces. For solving the resulting supervisory control problem at the discrete event level, we develop an algorithm that exploits the structure of the transition map to compute the supremal controllable sublanguage more efficiently than standard algorithms. We present implementation results on an intersection with several vehicles.

show abstract

Section: Discussionmentioning

confidence: 99%

Supervisory control for collision avoidance in vehicular networks using discrete event abstractions

Dallal

Colombo

Vecchio

et al. 2016

Discrete Event Dyn Syst

View full text Add to dashboard Cite

show abstract

“…The control problem has been largely studied since the work of Ramadge and Wonham (1987) and several tools have been developed (Behrmann et al, 2007;Moor et al, 2010). Two main obstacles limit practical application of these techniques in industry: a building low-level formal models (such as automata) is often considered too costly, and b due to the state space explosion occurring for large systems, scalability is usually a major issue.…”

Section: Contextmentioning

confidence: 99%

“…But these tools do not provide controllability check. Tools applying formal methods for supervisory control usually describe systems with low-level models, for example, FSM (Moor et al, 2010;Miremadi et al, 2008;Behrmann et al, 2007), Petri nets (Zareiee et al, 2012), etc. They share two important common features:…”

Section: Comparison With Supervisory Control Toolsmentioning

confidence: 99%

Controllability for discrete event systems modelled in VeriJ

Zhang

Bérard

Hillah

et al. 2014

IJCCBS

View full text Add to dashboard Cite

Existing tools for controllability checking mostly apply to abstract formalisms like finite automata or Petri nets. To avoid costly building of low-level formal models for large complex systems, we propose a programming language called VeriJ, a subset of Java with additional constructs dedicated to supervisory control, to model these systems in a familiar and friendly development environment. We provide a prototype tool chain, based on model transformation and pushdown automata, to automatically transform a system described in VeriJ into a labelled transition system (LTS). A controllability engine for this LTS is then integrated to the tool. To limit the state space explosion problem, we also add several mechanisms including garbage collection, abstraction, state compression, and partial exploration. Our approach, illustrated with a VeriJ model of the Nim game, shows that it is possible to combine: 1) the benefits resulting from using mature Java development environments; 2) performances comparable to those of existing tools.

show abstract

“…The first application was the rapid thermal multiprocessor, described in Balemi et al (1993). By far, most cases described in the literature focus on the domain of manufacturing systems; e.g., Leduc and Wonham (1995), Brandin (1996), Lauzon et al (1996), Kim et al (2001), de Queiroz and Cury (2002), Chandra et al (2003), Nourelfath and Niel (2004), Ljungkrantz et al (2007), Pétin et al (2007), Hasdemir et al (2008), Moor et al (2010), Silva et al (2011), van der Sanden et al (2015, and Pena et al (2016). Other application domains are theme park vehicles (Forschelen et al 2012), chemical process control (Rawlings et al 2014), patient support table for an MRI scanner (Theunissen et al 2014), smart homes dedicated to disabled people (Guillet et al 2014), mobile robots (Lopes et al 2016), computer science (Liao et al 2013;Auer et al 2014;Atampore et al 2016), and driver assistance systems (von Bochmann et al 2015;Korssen et al 2018).…”

Section: Introductionmentioning

confidence: 99%

Modeling for supervisor synthesis – a lock-bridge combination case study

Reijnen

Goorden

Mortel-Fronczak

et al. 2020

Discrete Event Dyn Syst

View full text Add to dashboard Cite

Designing supervisory controllers for high-tech systems is becoming increasingly complex due to demands for verified safety, higher quality and availability, and extending functionality. Supervisor synthesis is a method to automatically derive a supervisor from a model of the plant and a model of the control requirements. While supervisor synthesis is an active research topic, only a few reports exist on industrial applications. One of the reasons for this is the lack of acquaintance of control engineers with modeling and specifying in the framework of automata. In addition to this, there are no clear guidelines for obtaining the necessary models for synthesis. In this paper, we describe a general way of modeling for the plant and the requirements in order to contribute towards the acceptance of supervisor synthesis in industry. This way of modeling is illustrated with an industrial case study in which a supervisory controller is synthesized for the Algera complex. The Algera complex consists of a waterway lock and a movable bascule bridge. The supervisor has to control 80 actuators based on the observations from 96 discrete sensors, in response to 63 control commands available from the operator. We show how to model the plant as a collection of extended finite-state automata, how to model the requirement as a collection of event conditions, how to synthesize the monolithic supervisor, and how to validate the resulting supervisor using continuous-time simulation.

show abstract

Applied Supervisory Control for a Flexible Manufacturing System

Cited by 13 publications

References 9 publications

Supervisory control for collision avoidance in vehicular networks using discrete event abstractions

Supervisory control for collision avoidance in vehicular networks using discrete event abstractions

Controllability for discrete event systems modelled in VeriJ

Modeling for supervisor synthesis – a lock-bridge combination case study

Contact Info

Product

Resources

About