CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Using a Formal High-level Language to Instruct Manikins to Assemble Cables

Peter Mårdberg ; Johan S Carlson (Institutionen för produkt- och produktionsutveckling, Produktutveckling) ; Robert Bohlin ; Lars Hanson (Institutionen för produkt- och produktionsutveckling, Produktionssystem)
Procedia CIRP:CIRP Conference on Assembly Technologies and Systems, CATS 2014, Dresden, Germany, 12-14 May 2014 (2212-8271). Vol. 23 (2014), p. 29-34.
[Konferensbidrag, refereegranskat]

In this paper, a formal high-level language is used to generate simulations where a manikin assembles flexible cables. The language generates assembly instructions for the manikin, which automatically performs the corresponding assembly motion with as good ergonomic as possible. Due to weight, stiffness and narrow regions, it may be difficult to perform an assembly of the cable. Our approach allows us to verify that it may be performed in an ergonomically sound way. The generated instructions are formally verified to ensure that assembly order is held and to prevent erroneous assembly states. The simulations have been made on industrial test cases.

Nyckelord: Assembly, Digtal human modeling, Formal methods



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2015-03-01. Senast ändrad 2015-12-07.
CPL Pubid: 213257

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)