Automatic generation of controllers for collision-free flexible manufacturing systems

Shoaei, Mohammad Reza; Lennartson, Bengt; Miremadi, Seyed Ghassem

doi:10.1109/coase.2010.5584539

Cited by 15 publications

(11 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Future work include generating zone specifications from intersection of sweep volumes in the virtual manufacturing tool as was done in (Shoaei et al, 2010).…”

Section: Discussionmentioning

confidence: 99%

Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning

et al. 2017

View full text Add to dashboard Cite

Abstract:It is essential to understand the operation sequences of a production system when designing or changing it. This paper will demonstrate how the software tool Sequence Planner (SP) not only supports this understanding by sequence visualization, but also improves the solution using optimization and verification. SP is a tool for modeling and analyzing automation systems. The tool has been developed since 2007 with an initial focus on supporting engineers when developing control code for programmable logical controllers. Today, SP is a microservice architecture, usable in various areas like runtime control, online monitoring, energy optimization, and even emergency department patient planning. This paper presents a use case at an automotive company, where the operation sequences in a large number of automated robot stations, need to be modified. SP, together with virtual commissioning tools, automates this modification by identifying, optimizing, verifying and simulating operation sequences, and then updates the robot and control programs. This use case demonstrates the strength of SP and its architecture and how it is used for integrated virtual preparation and commissioning.

show abstract

“…Future work include generating zone specifications from intersection of sweep volumes in the virtual manufacturing tool as was done in (Shoaei et al, 2010).…”

Section: Discussionmentioning

confidence: 99%

Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning

et al. 2017

View full text Add to dashboard Cite

show abstract

“…The benchmark examples are: Resource Allocation System (RAS) [23], Collision Avoidance System (CAS) [24], Control Logic Development (CLD) [25], Automated Guided Vehicles (AGV) [26]. Table I shows the results of the reachability analysis.…”

Section: Case Studymentioning

confidence: 99%

BDD-based supervisory control on extended finite automata

Miremadi

Lennartson

Åkesson

2011

2011 IEEE International Conference on Automation Science and Engineering

View full text Add to dashboard Cite

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 generated from the monolithic supervisor. In order to, potentially, 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.

show abstract

“…The fifth robot will move the parts between different stations and put the final product on the AGV that will move it out from the cell. We model this system by EFAs and based on [36] we extend the guards to ensure a collision-free system. The final EFA model will be the input to the framework presented in this paper to generate a nonblocking supervisor.…”

Section: ) Collision Avoidance System (Cas)mentioning

confidence: 99%

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

Miremadi

Lennartson

Åkesson

2012

IEEE Trans. Contr. Syst. Technol.

Self Cite

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

Automatic generation of controllers for collision-free flexible manufacturing systems

Cited by 15 publications

References 18 publications

Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning

Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning

BDD-based supervisory control on extended finite automata

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

Contact Info

Product

Resources

About