Sequence Planning for Integrated Product, Process and Automation Design

Lennartson, Bengt; Bengtsson, Kristofer; Yuan, Chao; Andersson, Kristin; Fabian, Martin; Falkman, Petter; Åkesson, Knut

doi:10.1109/tase.2010.2051664

Cited by 74 publications

(77 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In previous works a formal language has been developed in order to define self-contained operations and describe sequences of operations (SOP) [5,9]. A software tool called Sequence Planner has been implemented to handle the SOP language and help designers to define requirements, such as described above, and to visualize relations between operations [13].…”

Section: Motivations and Methods Presentationmentioning

confidence: 99%

“…The SOP language, introduced in [9], is based on selfcontained and hierarchical operations. These models can be used for formal verification, controller synthesis and time optimization [13].…”

Section: Sop Language -Timed Definitionmentioning

confidence: 99%

“…In [9] a formal modeling language has been introduced to model and visualize Sequences of OPerations (SOP). This graphical language, called SOP language in the sequel of this paper, relies on self-contained operations that can be viewed from different points of view.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Planning in assembly systems — A common modeling for products and resources

Provost

Lennartson

Fabian

et al. 2012

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2012)

Self Cite

View full text Add to dashboard Cite

This paper presents a method for modeling robot and human resources in the context of assembly systems planning. In assembly systems, several redundant resources can be used to increase system flexibility. However, the "quality" of a sequence planning strongly depends on the "quality" of the system modeling. Furthermore, occurrence of unexpected events or variations in availability of resources may have significant impact on the actual planning. Instead of using simplistic models such as available or unavailable resources, the method presented in this paper proposes a more detailed modeling of resource abilities. Products and resources are considered on the same levels and matched together on a final step. The aim of this modeling is to permit analyses and to increase system flexibility.

show abstract

Section: Motivations and Methods Presentationmentioning

confidence: 99%

Section: Sop Language -Timed Definitionmentioning

confidence: 99%

See 1 more Smart Citation

Planning in assembly systems — A common modeling for products and resources

Provost

Lennartson

Fabian

et al. 2012

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2012)

Self Cite

View full text Add to dashboard Cite

show abstract

“…The pre-condition permits to evolve from the initial state to the execution state, and the post-condition permits to evolve from the execution state to the final state. For further details about this modeling the reader is referred to Lennartson et al [2010].…”

Section: Modeling Of Operations Using Pre-and Post-conditionsmentioning

confidence: 99%

Online Support for Shop-Floor Operators Using Body Movements Tracking

Provost

Ebrahimi

Åkesson

2013

IFAC Proceedings Volumes

View full text Add to dashboard Cite

Abstract:This paper presents results of experimentations on the integration of human operators and automation in the context of assembly systems. Several experiments have been conducted to evaluate the use of augmented reality applications in order to provide dynamic work instructions and online feedback information to a shop-floor operator. Based on these results, an experimental platform has been developed so that the shop-floor operator and the automated system behave as a closed-loop system.

show abstract

“…Extended Finite Automata (EFAs) have been used in several research works and successfully applied to a range of examples such as [6], [7]. Beside a number of methods for synthesizing EFAs [8], [9], [10], the EFA framework in [5] has been implemented in Supremica [11], a verification and supervisory control tool.…”

Section: Introductionmentioning

confidence: 99%

Supervisory control of extended finite automata using transition projection

Shoaei

Feng

Lennartson

2012

2012 IEEE 51st IEEE Conference on Decision and Control (CDC)

Self Cite

View full text Add to dashboard Cite

Abstract-A limitation of the Ramadge and Wonham (RW) framework for the supervisory control theory is the explicit state representation using finite automata, often resulting in complex and unintelligible models. Extended finite automata (EFAs), i.e., deterministic finite automata extended with variables, provide compact state representation and then make the control logic transparent through logic expressions of the variables. A challenge with this new control framework is to exploit the rich control structure established in RW's framework. This paper studies the decentralized control structure with EFAs. To reduce the computational complexity, the controller is synthesized based on model abstraction of subsystems, which means that the global model of the entire system is unnecessary. Sufficient conditions are presented to that guarantee the decentralized supervisors result in maximally permissive and nonblocking control to the entire system.

show abstract

Sequence Planning for Integrated Product, Process and Automation Design

Cited by 74 publications

References 19 publications

Planning in assembly systems — A common modeling for products and resources

Planning in assembly systems — A common modeling for products and resources

Online Support for Shop-Floor Operators Using Body Movements Tracking

Supervisory control of extended finite automata using transition projection

Contact Info

Product

Resources

About

Sequence Planning for Integrated Product, Process and Automation Design

Cited by 74 publications

References 19 publications

Planning in assembly systems &#x2014; A common modeling for products and resources

Planning in assembly systems &#x2014; A common modeling for products and resources

Online Support for Shop-Floor Operators Using Body Movements Tracking

Supervisory control of extended finite automata using transition projection

Contact Info

Product

Resources

About

Planning in assembly systems — A common modeling for products and resources

Planning in assembly systems — A common modeling for products and resources