liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Automatic Synthesis of Control Programs in Polynomial Time for an Assembly Line
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology.
1996 (English)In: Proceedings of the 35th Conference on Decision and Control, 1996, 1749-1754 vol.2 p.Conference paper, Published paper (Refereed)
Abstract [en]

The industry wants provably correct and fast formal methods for handling combinatorial dynamical systems. One example of such problems is error recovery in industrial processes. We have used a provably correct, polynomial-time planning algorithm to plan for a miniature assembly line, which assembles toy cars. Although somewhat limited, this process has many similarities with real industrial processes. By exploring the structure of this assembly line we have extended a previously presented algorithm, thus extending the class of problems that can be handled in polynomial time. The planning tool presented here contains general-purpose algorithms that generate plans in the form of GRAFCET charts that are automatically translated into PLC code using a commercial PLC compiler.

Place, publisher, year, edition, pages
1996. 1749-1754 vol.2 p.
Keyword [en]
Planning, Polynomial time, GRAFCET, Sequential control, Automated manufacturing
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:liu:diva-93767DOI: 10.1109/CDC.1996.572812ISBN: 0-7803-3590-2 (print)OAI: oai:DiVA.org:liu-93767DiVA: diva2:628934
Conference
35th Conference on Decision and Control, Kobe, Japan, December, 1996
Available from: 2013-06-15 Created: 2013-06-10 Last updated: 2017-02-23

Open Access in DiVA

No full text

Other links

Publisher's full textRelated report

Authority records BETA

Klein, IngerBäckström, ChristerJonsson, Peter

Search in DiVA

By author/editor
Klein, IngerBäckström, ChristerJonsson, Peter
By organisation
Automatic ControlThe Institute of TechnologyTCSLAB - Theoretical Computer Science Laboratory
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 48 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf