Presentation is loading. Please wait.

Presentation is loading. Please wait.

CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Interdisciplinary Research: Production Engineering and Technology.

Similar presentations


Presentation on theme: "CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Interdisciplinary Research: Production Engineering and Technology."— Presentation transcript:

1 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Interdisciplinary Research: Production Engineering and Technology – Business Studies and Economics Computer Science – Mathematics – Electrical Engineering Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Collaborative Research Centre 637

2 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations What is a CRC? CRC = Collaborative Research Centre  Funding instrument of the German Research Foundation (DFG),  Funds from the Federal Ministry of Education and Research and from the Federal States of Germany,  Long-term university research centre (3 x 4 years = 12 years),  Cross-disciplinary research programme,  Aims to create a core research focus at a university.

3 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Current Situation in Transport of Goods Source: Bundesamt für Güterverkehr, 2002 Room for Improvement in Truck Transport :  23% of covered distances are deadhead,  only 77% truck utilisation in terms of distance,  only 67% truck utilisation in terms of loading weight (even 58% in long-distance traffic).  continuous traffic increase,  limited infrastructure Infrastructure growth Traffic volume

4 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Technological Developments Mobile Phone Standards Mobile Data Transfer Networking Technology Transponder Technology Terminal Technology Positioning Systems Handling Technology Loading and Transit Equipment Transportation Technology Machine Learning Telematics Interoperability Network Security

5 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Motivation and Idea Change Drivers of Logistic Processes Virtual enterprises Increase of complex internal and external logistic processes Shift from seller’s market to buyer’s market Increase of transport volume, atomisation of deliveries, increase of delivery frequencies Development of novel I&C Technologies Changes in objectives of enterprises Increase of shortage of logistic infrastructures Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Complex, partially conflicting requirements on logistic planning and control systems Limited efficiency of today’s strategies and methods

6 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations From central to autonomous control  hierarchical IT structure  global information processing  central control paradigm shift distributed IT structure with global communikation local information processing autonomous and decentralized control

7 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Technological Basis RFID and Sensor Technology Wireless Communication Networks Ubiquitous Computing Positioning Systems Telematics  intelligent cargo, transit equipment and transportation systems  permanent localisation, identification and communication with and between these logistic objects  autonomous cooperating logistic objects

8 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Project Domains Development of concepts and methods for autonomy and their application in real-life scenarios Idea and Objectives 5 projects A Foundations / Modelling Investigation and modelling of the new paradigm “autonomy” for logistic processes Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limits 7 projects Investigation and development of efficient dynamic control methods and communication and coordination mechanisms for logistic processes B Methods / Tools 2 nd and 3 rd phase Investigation of the effects of the new paradigm “autonomy” on logistics systems and its enhancements by implementation of autonomous logistic processes C Applications

9 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Project Domains Project Domain A: Modelling Foundations for Autonomous Logistics Processes  Research into and development of theoretical foundations for autonomous systems  Investigation of the limits of conventional and autonomous control  Modelling of autonomous logistic processes Project Domain C: Applications for Autonomous Logistics Processes Project Domain B: Methods and Tools for Autonomous Logistics Processes  Logistics-specific adaptation of scalable methods and tools  Research into new methods and prototypical development of tools  Software and hardware-based realisation by multi-agent systems

10 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Holistic Perspective on Logistics Logistics SystemTask Layers within the CRC 637 Information System Informatics methods and I&C Technologies Execution System Human Technical System Mass Energy Information Material flow and Logistics Decision System Organisation and Management

11 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Projects Project Domain A A1: Fundamental Studies Windt A2: Sustainable Management Müller-Christ A3: Monitoring of Autonomous Systems Hülsmann A4: Rule-based Graph Transformation Kreowski A5: Dynamics of Autonomous Systems Scholz-Reiter / Wirth Project Domain B B1: Reactive Planning and Control Scholz-Reiter / Görg B2: Adaptive Business Processes – Modelling and Methodology Scholz-Reiter B3: Mobile Communication Networks and Models Görg B4: Knowledge Management Herzog B5: Risk Management Herzog / Schumacher B6: Sensor Systems Lang / Laur B7: Autonomous Adaptation of Vehicle Schedules Kopfer Project Domain Z Z1: CRC Management Herzog Z2: Demonstrator Scholz-Reiter

12 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Structure and Coherence Planned for the 2 nd and 3 rd phase of the CRC C Applications Z1, Z2 Z Support Projects B1, B7A1, A5 Material flow and Logistics B2, B3, B6A4 Informatics methods and I&C Technologies B4, B5A2, A3 Organisation and Management B Methods / Tools A Foundations / Modelling Project Domains Task Layers Material flow and Logistics Informatics methods and I&C Technologies Organisation and Management

13 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Working Groups Autonomy (Hülsmann, Windt)  Definition frame for „Autonomy“  CRC-wide, consistent understanding of the paradigm „Autonomy“ Scenarios & Modelling (Görg, Kreowski, Windt)  Discussion of different models and modelling approaches  Modelling of autonomy System Platform (Herzog)  CRC-wide, agent-based software platform  Software basis for prototypical implementations Applications (Scholz-Reiter, Kopfer)  Identification of potential application fields

14 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Involved Faculties and Institutes Faculty 1 – Physics / Electrical Engineering  Research Group Communication Networks (Görg)  Institute for Microsensors, -actuators and -systems (Lang)  Institute for Electromagnetic Theory and Microelectronics (Laur) Faculty 3 – Mathematics / Computer Science  Research Group Mathematical Systems Theory (Wirth)  Research Group Artificial Intelligence (Herzog)  Research Group Theoretical Computer Science (Kreowski) Faculty 4 – Production Engineering and Technology  Research Group Planning and Control of Production Systems (Scholz-Reiter, Windt)  Research Group IT-based Applications in Production Engineering (Schumacher) Faculty 7 – Business Studies and Economics  Research Group Logistics (Kopfer)  Research Group Sustainable Management (Müller-Christ)  Research Group Management of Sustainable Corporate Development (Hülsmann) External Institute BIBA  Division of Intelligent Production and Logistics Systems (Scholz-Reiter)

15 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Competences in Logistics  „Forschungsverbund Logistik“ (Research Cluster Logistics) at the University of Bremen since 1997: - Research Training Group, Ph.D. Programme - Interdisciplinary research projects, financed by European Union (EU), German Research Foundation (DFG), Volkswagen Foundation, Federal State of Bremen  Interdisciplinary aspects of logistics strengthened by the appointment strategy for professors at the University of Bremen  Study and research focus “Logistics” in the faculty “Business Studies and Economics” and in the study course “Industrial Engineering”  Logistics as a research focus of the Institute BIBA  Institute BIBA: Research centre of the “Bundesvereinigung Logistik e.V.” (German Logistics Society)  Approved interdisciplinary combination of required research groups to investigate autonomous logistic processes

16 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations In-between Summary The Collaborative Research Centre 637 „Autonomous Cooperating Logistic Processes - A Paradigm Shift and its Limitations “  focuses on a long-term, interdisciplinary field of research,  combines the investigation of highly dynamic logistic processes with the development and application of recent I&C technologies,  is based on a well proven interdisciplinary combination of the necessary research groups at the University of Bremen,  has significant relevance for practical applications and high potential for future technology transfer,  has a structural effect for the university and the region of Bremen.

17 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Autonomy? Working definition of autonomy Autonomy describes processes of decentralized decision making in networking structures. It requires interacting objects in nondeterministic systems that are able to make autonomous decisions. The aims of autonomy are improved robustness and positive emergence of the whole system by distributed and flexible handling of the dynamics and complexity.

18 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Holistic Perspective on Logistics Logistics SystemTask Layers within the CRC 637 Information System Informatics methods and I&C Technologies Execution System Human Technical System Mass Energy Information Material flow and Logistics Decision System Organisation and Management

19 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Scenario production logistics machines materials machines accident material flow transport vehicles raw materials products

20 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Scenario production logistics local and dynamic goal finding alternatives decision making interaction decentralized data processing. sensoring. decentralized data storage flexibility identification raw materials products

21 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Scenario transport logistics hubs goods transport vehicles routes depot customers

22 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Scenario transport logistics local and dynamic goal finding alternatives decision making interaction decentralized data processing. sensoring. decentral data storage flexibility identification depot customers

23 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Tasks on the level of material flow  modelling and simulation of autonomous material flow  analysis of the dynamics of logistics processes  development of new planning and control methods  benchmarking  prototypical implementation (demonstrator)  practical applications (transfer projekts)

24 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Holistic Perspective on Logistics Logistics SystemTask Layers within the CRC 637 Information System Informatics methods and I&C Technologies Execution System Human Technical System Mass Energy Information Material flow and Logistics Decision System Organisation and Management

25 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Knowledge management depot customers sensors and „smart tags“ control decisions on the local level traffic jams trigger revised route planning goals and conditions for the transport

26 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Software platform (I) depot customers  ontologies: routes, depots, transpport vehicles, risks,...  agents: goods, transport vehicle, sensors,...  events: weather conditions, orders, traffic, defects,...

27 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Software platform (II)  goals: very large and scalable simulations support of the demonstrator  technological basis: multi-agent systems flexibility, robustness, and scalability modelling of autonomy  tools: MAS platform JADE knowledge representation by ontologies (OWL)

28 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Holistic Perspective on Logistics Logistics SystemTask Layers within the CRC 637 Information System Informatics methods and I&C Technologies Execution System Human Technical System Mass Energy Information Material flow and Logistics Decision System Organisation and Management

29 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Theoretical Computer Science, TZI, Department of Mathematics and Computer Science *International Graduate School for Dynamics in Logistics Karsten Hölscher, Renate Klempien-Hinrichs*, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske Modelling of Autonomous Logistic Processes with Rule-based Graph Transformation Autonomous Units Syntax, Semantics, and Case Study: Ludo

30 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Goals A4 Approach for the Modelling of Autonomous Logistic Processes with Rule-based Graph Transformation  semantical analysis of the generative power  relation to the theory of concurrency  modelling concept for the visualization of the semantical processes  systematic verification approach with respect to Model Checking, Constraint Solver and Inductive Theorem Prover  embedding and comparison of other process models

31 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Concepts environment: graph (e.g. transport net) goals: environment class expressions (specifying what should become true) capabilities: internal: rules for local changes external: import to get help (not considered further) control: conditions to choose next action finite state machines, priorities, „as long as possible“, „fitness“ functions,...

32 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Syntactic schema community of autonomous units: Com = (Aut, Init, Goal) autonomous unit: aut = (goal, rules, control) set of autonomous units initial environments overall goal (if there is any), terminal environments individual both specified by graph class expressions

33 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Examples die control: start;(roll-again|turn&roll)* rules: start: roll-again: turn&roll:

34 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Examples player(p:[b,g,y,r]) control: go-home(c) > (start(c),startko(c)) > (mf n (c),mfko n (c)) > (go n (c),goko n (c)) > (again(c),turn(c)) rules: goko 4 (c) go-home(c), start(c), startko(c), mf n (c), mfko n (c), go n (c), goko n (c), again(c), turn(c) goal:

35 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Semantic requisites environments: G set of graphs changes of environment: CHANGE  G  G set R of rules with rule application relation:   G  G for r  R r graph transformation approach set X of of environment class expressions with admitted environments: SEM(g)  G for g  X set C of control conditions with control relation: SEM(c)  G  G for c  C

36 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Sequential semantics of autonomous units sequential process of aut = (goal, rules, control) reachability of goal: G j  SEM(goal) SEQ CHANGE (aut) set of all sequential processes of aut with dynamic environment given by CHANGE: G 0, G 1, G 2, … with (for all i) G i  G i+1 and (G i, G i+1 )  SEM(control) for some r  rules or (G i, G i+1 )  CHANGE r

37 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Sequential semantics (global) sequential process of Com = (Aut, Init, Goal): reachability of overall goal: G j  SEM(Goal) G 0, G 1, G 2, … with G 0  SEM(Init) and, for all i, there is some aut i =(goal i, rules i, control i )  Aut and some rule r i  rules i such that G i  G i+1 and (G i,G i+1 )  SEM(control i ) r SEQ (Com) set of all sequential processes of Com Observation: SEQ(Com) = SEQ CHANGE (aut) for aut  Aut if CHANGE=SEQ(Com-aut)

38 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Ludo environment graph Ludo = ({player(b),player(y), player(g),player(r), die}, initconf, finish)

39 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Ludo game situation control: go-home(c) > (start(c),startko(c)) > (mf n (c),mfko n (c)) > (go n (c),goko n (c)) > (again(c),turn(c))

40 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Ludo game situation control: go-home(c) > (start(c),startko(c)) > (mf n (c),mfko n (c)) > (go n (c),goko n (c)) > (again(c),turn(c))

41 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Process semantics sequential Set of parallel processes concurrent  starting in initial environments,  composed of rule applications of the participating units,  with every unit autonomously controlling its actions. identifying those processes in which the overall goal or individual goals are achieved.

42 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Relations A4 petri nets multiagent systems (cf. Wooldridge) [cooperation with B4] board and card games logistic process models [cooperation with A1] scenarios from AK Szenarien graph transformation units community of autonomous units process models in computer science swarm intelligence & cellular automata special casecase studymodel future work transfer of methods

43 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Petri nets Idea: every transition as autonomous unit Theorem: 1-1-relation between firing sequences with seq./par. firing and seq./par. processes 1-1-relation between processes in Condition/Event systems and concurrent processes S/T-2-CAU firing rule application Place/Transition system (N,m 0 ) C(N,m 0 ) firing sequences SEM(C(N,m 0 ))

44 CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations A4 Advantages  formal with rigorous operational semantics  visual (based on graphs)  supporting verification  generalizing existing approaches  admitting comparisons with other approaches


Download ppt "CRC 637: Autonomous Cooperating Logistic Processes: A Paradigm Shift and its Limitations Interdisciplinary Research: Production Engineering and Technology."

Similar presentations


Ads by Google