Projektgruppe InProX Industrial Programming by Example. Michael Lybecait, Stefan Naujokat, Bernhard Steffen Lehrstuhl für Programmiersysteme

Transkript

1 Projektgruppe InProX Industrial Programming by Example Veranstalter: Michael Lybecait, Stefan Naujokat, Bernhard Steffen Lehrstuhl für Programmiersysteme 1

2 Contents 1) Omron Introduction (by Mr. De Robbio) 2) DSL for Industrial Programming 3) Simulation Environment 4) Teaching by Examples 5) Organizational Stuff 2

3 Project's Goals Simplification of Packaging Strategy Specification Teaching strategies by example 3

4 DSL for Industrial Programming 4

5 Industrial Programming according to IEC L A ST LN O X ST JMP I35 $1011 Tmp2 Foo Bar Tmp2 Tmp3 %7... LN A O ST L A ST LN O X ST JMP L A ST LN O X ST JMP L A In2 In3 In1 Out1 I35 $1011 Tmp2 Foo Bar Tmp2 Tmp3 %7 I35 $1011 Tmp2 Foo Bar Tmp2 Tmp3 %7 I35 $1011 5

6 3PL: Pick and Place Packaging Language 6

7 7

8 Simulation Environment 8

9 Simulation Environment Integration into existing simulation environment v-rep ( virtual robot experimentation platform ) execute 3PL specifications manual recording of examples validation of execution runs Quelle: 9

10 Teaching by Examples 10

11 Inference of Packaging Strategies Interactive process Iterative refinement Active/passive automata learning Loose programming 11

12 Active Automata Learning Blackbox with given I/O interface Infer automaton that reflects the blackbox's behavior Membership query: Is this a good packaging decision? Semi-automate decision to decrease user's decision workload Equivalence query: Simulate strategy and wait if the user interferes Use existing implementation: LearnLib ( 12

13 Passive Automata Learning Given Set of examples Positive examples show intended behavior Negative examples show illegal behavior Infer automaton that is consistent with examples Add new examples in case of undesired behavior 13

14 Loose Programming 14

15 Organisatorisches 15

16 Ablauf Vorbesprechung Seminarphase 2 Tage (kurz vor oder zu Vorlesungsbeginn) Präsentationen zu den Kernthemen Kennenlernen Erstes Semester Einarbeitung, 3PL, Simulationsumgebung Dokumentation, Zwischenbericht Zweites Semester 3PL-Erweiterungen, Lernen von Beispielen Dokumentation, Endbericht Abschlusspräsentation 16

17 Was ihr braucht und was ihr lernt Was ihr braucht: Programmierkenntnisse Motivation, sich in die Themen einzuarbeiten Was ihr lernt: Umgang mit verschiedenen (neuen) Technologien Wissenschaftliches Arbeiten Teamarbeit Selbstorganisation und Projektmanagement... 17

18 Was ihr (von uns) bekommt PG-Schein :-) Erfahrungen im Umgang mit Services und Workflowsystemen Industriepartnern Maschinen- und Anlagenbau Automatenlernen Prozesssynthese Diplom-/Masterarbeitsthemen 18

19 Wrap-up / Ziele Entwicklung einer domänenspezifischen Sprache (3PL) zur Beschreibung von Verpackungsstrategien basierend auf Eclipse/EMF (mit jabc Cinco) Realisierung einer Simulation für 3PL v-rep für Visualisierung virtual NJ für komplexe Bewegungsabläufe Iterative Inferenz von 3PL-Strategien mittels aktivem/passivem Automatenlernen mittels Loose Programming 19

20 Ausblick auf weiterführende Themen Codegenerierung für reale Anlagen Dynamische Strategieanpassung bei Ausfällen Platzminimierung durch automatische Kollisionsvermeidung 20

21 Offene Fragen? Infos & Downloads: Kontakt: / / Otto-Hahn-Straße 14, Raum 130/131 21