F.L. Lewis, Assoc. Director for Research Moncrief-O’Donnell Endowed Chair Head, Controls, Sensors, MEMS Group Automation & Robotics Research Institute.

Slides:



Advertisements
Similar presentations
Chapter 7: Matrix Algebra 1.(7.1) Matrix Arithmetic a)Matrix-Vector Multiplication b)Matrix-Matrix Multiplication 2.(7.2) Applications 1.(7.1) Matrix Arithmetic.
Advertisements

Techniques to analyze workflows (design-time)
Principles of Engineering System Design Dr T Asokan
Introduction to Petri Nets Hugo Andrés López
Controlling a manufacturing system efficiently IE450 Fall 2005 Dr. Richard A. Wysk.
Solutions for Scheduling Assays. Why do we use laboratory automation? Improve quality control (QC) Free resources Reduce sa fety risks Automatic data.
5.8 Project Management Chapter 37 HL - Only.
IE 469 Manufacturing Systems
Jill Goryca, Richard Hill American Control Conference June 17, 2013.
INDUSTRIAL & SYSTEMS ENGINEERING
Data and Knowledge Representation Lecture 6 Qing Zeng, Ph.D.
Models of Computation for Embedded System Design Alvise Bonivento.
1 Review Topics 1.Process Discovery 2.Process Optimization 3.Process Analysis.
Modeling State-Dependent Objects Using Colored Petri Nets
Petri Nets An Overview IE 680 Presentation April 30, 2007 Renata Kopach- Konrad.
Computer Integrated Manufacturing CIM
100’s of free ppt’s from library
Distributed, Collaborative Processing System (COBRA Virtual Office)
Irwin/McGraw-Hill Copyright © 2000 The McGraw-Hill Companies. All Rights reserved Whitten Bentley DittmanSYSTEMS ANALYSIS AND DESIGN METHODS5th Edition.
Unit 3b Industrial Control Systems
Chapter 6: The Traditional Approach to Requirements
Activity 1: Multi-sensor based Navigation of Intelligent Wheelchairs Theo Theodoridis and Huosheng Hu University of Essex 27 January 2012 Ecole Centrale.
Irwin/McGraw-Hill Copyright © 2004 The McGraw-Hill Companies. All Rights reserved Whitten Bentley DittmanSYSTEMS ANALYSIS AND DESIGN METHODS6th Edition.
1 BTEC HNC Systems Support Castle College 2007/8 Systems Analysis Lecture 9 Introduction to Design.
Capacity analysis of complex materials handling systems.
Modeling with ordinary Petri Nets Events: Actions that take place in the system The occurrence of these events is controlled by the state of the system.
1 Advanced topics in OpenCIM 1.CIM: The need and the solution.CIM: The need and the solution. 2.Architecture overview.Architecture overview. 3.How Open.
DISCRETE COMPUTATIONAL STRUCTURES CS Fall 2005.
CY2003 Computer Systems Lecture 7 Petri net. © LJMU, 2004CY2003- Week 72 Overview Petri net –concepts –Petri net representation –Firing a transition –Marks.
1 6 Systems Analysis and Design in a Changing World, 2 nd Edition, Satzinger, Jackson, & Burd Chapter 6 The Traditional Approach to Requirements.
Microsoft Excel By Tom Osti. What is Excel? Microsoft Excel (full name Microsoft Office Excel) is a spreadsheet-application written and distributed by.
Hardware Design and The Petri Net Abhijit K. Deb SAM, LECS, IMIT, KTH Kista, Stockholm.
Petri Nets Lecturer: Roohollah Abdipour. Agenda Introduction Petri Net Modelling with Petri Net Analysis of Petri net 2.
Modelling by Petri nets
Modeling Mobile-Agent-based Collaborative Processing in Sensor Networks Using Generalized Stochastic Petri Nets Hongtao Du, Hairong Qi, Gregory Peterson.
Ch5: Software Specification. 1 Petri Nets  Introduced by C. Adams Petri in  Widely used in the modeling and analysis of computer systems.  Basic.
Information Systems Architecture (ISA) Conceptual blueprint for organization’s desired information systems structure Consists of:  Data (e.g. Enterprise.
8.2 Operations With Matrices
Finite State Machines (FSM) OR Finite State Automation (FSA) - are models of the behaviors of a system or a complex object, with a limited number of defined.
Activity Scheduling and Control
Network Flow Problems – The Assignment Problem
Sec 4.1 Matrices.
Algebra Matrix Operations. Definition Matrix-A rectangular arrangement of numbers in rows and columns Dimensions- number of rows then columns Entries-
Warm Up Perform the indicated operations. If the matrix does not exist, write impossible
DEVS-based Modeling and Simulation References: 1.B. P. Zeigler, Hessam S. Sarjoughian, Introduction to DEVS Modeling and Simulation with JAVA: Developing.
Review n System dynamics : A sequence of state transition n model : A set of rules for state transition System S X Y Discrete event system FSM (Automata)
Computer Science and Engineering Department The University of Texas at Arlington MavHome: An Intelligent Home Environment.
Petri-Nets and Other Models
1 Chapter 7 Network Flow Slides by Kevin Wayne. Copyright © 2005 Pearson-Addison Wesley. All rights reserved.
FACILITIES LAYOUTS Facilities layout implies Layout design for equipment, machinery, & furnishings, production, support & personnel areas A layout is affected.
Do Now: Perform the indicated operation. 1.). Algebra II Elements 11.1: Matrix Operations HW: HW: p.590 (16-36 even, 37, 44, 46)
Technology of information systems Lecture 5 Process management.
A rectangular array of numeric or algebraic quantities subject to mathematical operations. The regular formation of elements into columns and rows.
CS 5751 Machine Learning Chapter 13 Reinforcement Learning1 Reinforcement Learning Control learning Control polices that choose optimal actions Q learning.
Data Communication & Networking in Manufacturing System
Matrix Operations Free powerpoints at
Matrix Operations.
Chapter 6 The Traditional Approach to Requirements.
CSS 496 Business Process Re-engineering for BS(CS)
Matrix Operations.
Matrix Operations Free powerpoints at
Matrix Operations.
Matrix Operations Free powerpoints at
Unit# 9: Computer Program Development
Chapter 7 Deadlock.
Computation of Minimal Siphons for a Class of Generalized Petri Nets
Use of Mathematics using Technology (Maltlab)
Couple of Use Cases & Business Impact Automotive Plant in India
3.5 Perform Basic Matrix Operations Algebra II.
Introduction to Matrices
Presentation transcript:

F.L. Lewis, Assoc. Director for Research Moncrief-O’Donnell Endowed Chair Head, Controls, Sensors, MEMS Group Automation & Robotics Research Institute (ARRI) The University of Texas at Arlington Wireless Sensor Networks for Monitoring Machinery, Human Biofunctions, and BCW Agents Sponsored by IEEE Singapore SMC, R&A, and Control Chapters Organized and invited by Professor Sam Ge, NUS

Automation & Robotics Research Institute (ARRI) The University of Texas at Arlington F.L. Lewis, Assoc. Director for Research Moncrief-O’Donnell Endowed Chair Head, Controls, Sensors, MEMS Group Discrete Event Control & Decision-Making

Discrete Event Control Objective: Develop new DE control algorithms for decision-making, supervision, & resource assignment WITH PROOFS Apply to manufacturing workcell control, battlefield C&C systems, & internetworked systems Patent on Discrete Event Supervisory Controller New DE Control Algorithms based on Matrices Complete Dynamic Description for DE Systems Formal Deadlock Avoidance Techniques Implemented on Intelligent Robotic Workcell Internet- Remote Site Control and Monitoring USA/Mexico Collaboration Exploring Applications to Battlefield Systems $75K in ARO Funding for Networked Robot Workcell Control $80K in NSF Funding for research and USA/Mexico Network USA/Mexico Internetworked Control Man/Machine User Interface Intelligent Robot Workcell Dr. Jose Mireles- co-PI

DE Model State Equation: Where multiply = AND & addition = OR whereis the task or state logic is the job sequencing matrix (Steward) is the resource requirements matrix (Kusiak) is the input matrix is the conflict resolution matrix Matrix Formulation: Definition Based on Manufacturing Bill of Materials Job Start Equation: Resource Release Equation: Product Output Equation:

Meaning of Matrices Resources required Prerequisite jobs Next job Next job FvFv FrFr Conditions fulfilled Next job SvSv Release resource SrSr Steward’s Task Sequencing MatrixKusiak’s Resource Requirements Matrix Bill of Materials (BOM) Conditions fulfilled

ARRI Intelligent Material Handling (IMH) Cell 3 robots, 3 conveyors, two part paths EXAMPLE

Layout of the IMH Cell

Construct Job Sequencing Matrix F v Part A job 1 Part A job 2 Part A job 3 Part B job 1 Part B job 2 Part B job 3 Part A job 1 Part B job 1 Part A job 2 Part B job 2 Part A job 3 Part B job 3 Next jobs Prerequisite jobs Used by Steward in Manufacturing Task Sequencing Contains same information as the Bill of Materials (BOM)

Construct Resource Requirements Matrix F r Used by Kusiak in Manufacturing Resource Assignment Contains information about factory resources Next jobs Prerequisite resources Part A job 1 Part A job 2 Part A job 3 Part B job 1 Part B job 2 Part B job 3 Conveyor 1 Conveyor 3 Fixture 1 Robot 1- IBM Robot 2- Puma Robot 3- Adept

More About F v J2 J5 J6 J1 J3 J4 Two 1’s in same col. = Routing (Job Shop) Two 1’s in same row = Assembly J3 J4 J5 J1 J2 J6 More About F r J2 J5 J6 R1 R2 R3 Two 1’s in same col. = Shared Resource Two 1’s in same row = Job needs multiple res. J5 R2 R3 R1 J2 J6 DECISION NEEDED! DECISION NEEDED!

Controller based on Matrix Formulation Workcell Matrix Formulation Discrete Event Controller External events present Jobs completed Resources released Tasks completed External Events Start jobs Start resource release Task complete Dispatching rules Resource allocation, task planning, task decomposition, Bill of Materials

Formal rigorous framework Complete DE dynamical description Relation to known Manufacturing notions Formal relation to other tools- Petri Nets, MAX-Plus Easy to design, change, debug, and test Formal deadlock analysis technique Easy to apply any conflict resolution (dispatching) strategy Optimization of resources Easy to implement in any platform (MATLAB, LabVIEW, C, C++, visual basic, or any other) Advantages of the Matrix Formulation

Relation to Petri Nets Resources availableJobs complete Trans. Fv Fr Transition Next jobs Sv Transition Release resource Sr

p inA p1p1 t1t1 t2t2 p3p3 t4t4 t5t5 p2p2 t3t3 p4p4 t6t6 p inB p outA p outB r1r1 r3r3 r2r2 p 1 p 2 p 3 p 4 r 1 r 2 r 3 p 1 p 2 p 3 p 4 r 1 r 2 r 3 p inA p inB p outA p outB Example t1t2t3t4t5t6t1t2t3t4t5t6 t1t2t3t4t5t6t1t2t3t4t5t6

p inA p1p1 t1t1 t2t2 p3p3 t4t4 t5t5 p2p2 t3t3 p4p4 t6t6 p inB p outA p outB r1r1 r3r3 r2r2 FvFv OR/AND Algebra- Locating transitions firing from current marking FrFr FuFu =, so x = v r u x = i.e. fire t 2 and t 4

Activity Completion Matrix F: Activity Start Matrix S: Complete DE Dynamic Formulation PN Incidence Matrix: PN marking transition equation: Allowable marking vector:

Petri Net Marking Transition Equation-- need to add Job Duration Times PN Marking Vector Split transition equation in two steps Add tokens Subtract tokens when job complete Add Time Duration Vector Corresponds to Timed Places

Allows Direct Simulations- e.g. MATLAB Jobs completed by Robot 1 Robot 1 busy or idle c.f. DE version of ODE23

p inA p1p1 t1t1 t2t2 p3p3 t4t4 t5t5 p2p2 t3t3 p4p4 t6t6 p inB p outA p outB r1r1 r3r3 r2r2 FvFv Conflict Resolution for Shared Resources FrFr FuFu =, so x = v r u Which one to fire? But gives negative marking! Cannot fire both. Shared Resource- Two entries in same column

p inA p1p1 t1t1 t2t2 p3p3 t4t4 t5t5 p2p2 t3t3 p4p4 t6t6 p inB p outA p outB r1r1 r3r3 r2r2 FvFv Conflict resolution, add extra CR input and new matrix F uc : FrFr FuFu =, so x = v r u F uc r2r2 Now only t 5 fires r2r2

Application- Intelligent Material Handling Adept Puma CRS 12 Sensors!! Machine 2 Machine 1

ARRI Intelligent Material Handling (IMH) Cell 3 robots, 3 conveyors, two part paths

Layout of the IMH Cell

Multipart Reentrant Flow Line c.f. Kumar

Petri Net flow chart

c.f. Saridis Jim Albus

LabVIEW diagram of Controller

LabVIEW Controller's interface: FrFr FvFv Resources

R1u1 R1u2 R1u3 R1u4 R2u1 R2u2 R2u3 R3u1 R3u2 Discrete events Results of LabVIEW Implementation on Actual Workcell Compare with MATLAB simulation! We can now simulate a DE controller and then implement it, Exactly as for continuous state controllers!!

U.S.-Mexico shared research DE control via internet Using Matrix DEC in LabVIEW Texas