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 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.
1995 (English)Report (Other academic)
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.

Place, publisher, year, edition, pages
Linköping: Linköping University , 1995. , 10 p.
Series
LiTH-ISY-R, ISSN 1400-3902 ; 1806
Keyword [en]
Automated manufacturing, Assembly planning, Algorithms
Keyword [sv]
Maskinelement: servomekanismer (automation, Arbetsformer
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:liu:diva-55290ISRN: LiTH-ISY-R-1806OAI: oai:DiVA.org:liu-55290DiVA: diva2:315834
Available from: 2010-04-29 Created: 2010-04-29 Last updated: 2017-02-23Bibliographically approved

Open Access in DiVA

fulltext(170 kB)45 downloads
File information
File name FULLTEXT02.pdfFile size 170 kBChecksum SHA-512
096a54a2a3b190e77a7a27db9e637940a45d5a2464a7209b11dd8761184cb7ff9b85e112878cb3923eba1412b817a0b0b128b5de8fd128e38660e9c0369de55b
Type fulltextMimetype application/pdf
fulltext(357 kB)64 downloads
File information
File name FULLTEXT01.psFile size 357 kBChecksum SHA-512
f9e64169a72bec8f440e520543889a331cf1f2b97a6bfb60a2f4956c6fb603761048a85ce7a7d0ef327ab7e4154918fb7855ecfeec657f4280863374c8624125
Type fulltextMimetype application/postscript

Authority records BETA

Klein, IngerJonsson, PeterBäckström, Christer

Search in DiVA

By author/editor
Klein, IngerJonsson, PeterBäckström, Christer
By organisation
Automatic ControlThe Institute of TechnologyTCSLAB - Theoretical Computer Science Laboratory
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 109 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 87 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