Saesha at 16:41, 14 October 2014

2014-10-14T16:41:29Z

10.0.2.2: Created page with "{{StudentProjectTemplate |Summary=Build a series of increasingly sophisticated robot models in Acumen, to (1) explore mathematical formulations and (2) create tutorials and di..."

2014-03-07T11:53:32Z

Created page with "{{StudentProjectTemplate |Summary=Build a series of increasingly sophisticated robot models in Acumen, to (1) explore mathematical formulations and (2) create tutorials and di..."

New page

{{StudentProjectTemplate
|Summary=Build a series of increasingly sophisticated robot models in Acumen, to (1) explore mathematical formulations and (2) create tutorials and didactic examples.
|Keywords=Rigid-body dynamics, Acumen, Cyber-Physical System
|References=http://www.acumen-language.org/
http://en.wikipedia.org/wiki/SCARA SCARA

|Prerequisites=Solid mathematical and programming skills
|Supervisor=Roland Philippsen, Walid Taha
|Level=Master
|Status=Open
|Title=Acumen Robot Model Series
}}
=== Project Description ===

Robots are machines that embody sensors, actuators, and computational resources. They are thus an excellent example of [http://en.wikipedia.org/wiki/Cyber-physical_system cyber-physical system] (CPS) and present very interesting twists for modeling and simulation tools. In particular, the equations of motion for robots that can be modeled as rigid-body trees are of a form that has been studied extensively [[[#featherstone-2008|1]]].

[http://www.acumen-language.org/ Acumen] is a domain specific language for modeling CPS. It is being developed by the [http://www.effective-modeling.org/ Effective Modeling group] to address a key challenge for accelerating innovation in this area. Simulation plays a key role in CPS design, and Acumen is a language for capturing and simulating the kind of hybrid continuous/discrete models needed to capture the behavior of cyber-physical systems.

The objective of this masters' thesis is to build up a series of increasingly sophisticated robot manipulator examples in Acumen. The aim is twofold: (1) explore which kinds of mathematical formulations need to be efficiently supported by Acumen in order to best support the robot design and prototyping process, and (2) create tutorials and didactic examples for teaching Acumen in particular, and CPS in general.

A preliminary idea for the sequence of robot examples is as follows.
#Point masses in a plane ''(serves double duty as intro to Acumen)''
#*kinematic chains (pendulum, double pendulum, ...)
#*kinematic trees (stick figures)
#Inertias in a plane
#*kinematic chains
#*kinematic trees
#*real-world example: [http://en.wikipedia.org/wiki/SCARA SCARA] robot
#Inertias in three dimensions
#*study [http://en.wikipedia.org/wiki/Denavit%E2%80%93Hartenberg_parameters Denavit-Hartenberg] (DH) parameters as a preparation for the following steps
#*repeat the first four examples in 3D space with DH parameters
#*model a [http://en.wikipedia.org/wiki/Programmable_Universal_Machine_for_Assembly PUMA] arm, a very nice example of kinematic chain, with known kinematic and dynamic parameters
#*model a [http://www.willowgarage.com/pages/pr2/overview PR2] mobile manipulator, a very nice example of kinematic tree, also with known parameters

==== References ====
<div id="featherstone-2008"></div>[1] R. Featherstone. Rigid Body Dynamics Algorithms. Springer, New York, 2008. ISBN 0387743146.

@@ Line 4: / Line 4: @@
 |References=http://www.acumen-language.org/
 http://en.wikipedia.org/wiki/SCARA SCARA
 |Prerequisites=Solid mathematical and programming skills
 |Supervisor=Roland Philippsen, Walid Taha
 |Level=Master
-|Status=Open
+|Status=Internal Draft
 |Title=Acumen Robot Model Series
 }}

Acumen Robot Model Series - Revision history

Saesha at 16:41, 14 October 2014

10.0.2.2: Created page with "{{StudentProjectTemplate |Summary=Build a series of increasingly sophisticated robot models in Acumen, to (1) explore mathematical formulations and (2) create tutorials and di..."