Dealing with routing in an automated manufacturing cell: a supervisory control theory application

Silva, Daniel da; Vieira, Agnelo Denis; Loures, Eduardo Rocha; Busetti, Marco A.; Santos, Eduardo Alves Portela

doi:10.1080/00207543.2010.519732

Cited by 11 publications

(3 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Modelling is generally done by the formal language, automata, and petri nets. In this part we have thought about projecting our problem (GPDP) on [19], this work addresses the problem of routing control in an automated manufacturing cell that consists of three work stations, a transportation system, a feeding conveyor and a retrieving conveyor as shown in figure 5. Return to our topic GPDP, this problem based on the number of customers.…”

Section: Discrete Event Systems Methodology For Gpdpmentioning

confidence: 99%

The Efficiency of Discrete Event Systems for the General Pickup and Delivery Problem with Electric Vehicles

et al. 2021

View full text Add to dashboard Cite

Transport on-demand is an issue in the Vehicle Routing Problem which involves transporting a collection of goods from the source (depot) to their destination (customers) and inversely. This paper analyzes and forecasts the viability of using discrete event systems in a subset of this general problem known as pickup and delivery problems in the literature and projects on an automated manufacturing cell with an optimization approach for the vehicle’s energy consumption.

show abstract

Section: Discrete Event Systems Methodology For Gpdpmentioning

confidence: 99%

The Efficiency of Discrete Event Systems for the General Pickup and Delivery Problem with Electric Vehicles

et al. 2021

View full text Add to dashboard Cite

show abstract

“…Estevez et al (2007) propose a component-based model of the implementation of the control system under design (the hardware and software architectures). Lee and Hsu (2005) and Silva et al (2010) describe a systematic approach to the design and implementation of the sequence controller in manufacturing systems. Koo et al (2010) propose a framework for verification of PLC logic through modelling and simulation.…”

Section: Related Workmentioning

confidence: 99%

A computational control implementation environment for automated manufacturing systems

Diogo

Santos

Vieira

et al. 2012

International Journal of Production Research

Self Cite

View full text Add to dashboard Cite

2012) A computational control implementation environment for automated manufacturing systemsThis paper presents a computational environment as a tool for supporting the implementation of control coding of an automated manufacturing system. The proposed environment considers a cyclic three-stage control development -modelling, synthesis and implementation -until the real system accomplishes the required specification, resulting in the automated and integrated manufacturing system. The research details the three stages and describes the steps executed for each one. The mathematical formalism used in this work is also presented, as a basis for control implementation. The implementation environment is proposed in order to validate the control structure of this formalism and to allow a progressive integration of control hardware and software. To submit to a test and validate the proposal environment, two experiments are performed, in two different manufacturing systems. Thus, it is demanded that the control system can be reconfigurable in a fast and reliable way.

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

Dealing with routing in an automated manufacturing cell: a supervisory control theory application

Cited by 11 publications

References 26 publications

The Efficiency of Discrete Event Systems for the General Pickup and Delivery Problem with Electric Vehicles

The Efficiency of Discrete Event Systems for the General Pickup and Delivery Problem with Electric Vehicles

A computational control implementation environment for automated manufacturing systems

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

Contact Info

Product

Resources

About