Week 8 Computational Level

Slides:



Advertisements
Similar presentations
CS1Q Computer Systems Lecture 12 Simon Gay. Lecture 12CS1Q Computer Systems - Simon Gay 2 Design of Sequential Circuits The systematic design of sequential.
Advertisements

1 SE-561 Formal Methods in Software Petri Nets - I.
An Introduction to Petri Nets
Principles of Engineering System Design Dr T Asokan
Based on: Petri Nets and Industrial Applications: A Tutorial
Lecture 8: Three-Level Architectures CS 344R: Robotics Benjamin Kuipers.
A Novel Method For Fast Model Checking Project Report.
IE 469 Manufacturing Systems
CS 678 –Boltzmann Machines1 Boltzmann Machine Relaxation net with visible and hidden units Learning algorithm Avoids local minima (and speeds up learning)
Discrete Interaction Design Specification Prof. Dr. Matthias Rauterberg Faculty Industrial Design Technical University of Eindhoven
Chapter 10 Artificial Intelligence © 2007 Pearson Addison-Wesley. All rights reserved.
Petri net modeling of biological networks Claudine Chaouiya.
XML Documentation of Biopathways and Their Simulations in Genomic Object Net Speaker : Hungwei chen.
1 Petri Nets H Plan: –Introduce basics of Petri Net models –Define notation and terminology used –Show examples of Petri Net models u Calaway Park model.
1 CS 426 Senior Projects Chapter 14: Activity Diagrams [Arlow and Neustadt, 2005] February 17, 2009.
1 Petri Nets Marco Sgroi EE249 - Fall 2001 Most slides borrowed from Luciano Lavagno’s lecture ee249 (1998)
Petri Net Modeling for dynamic MM composite Object.
Mahapatra-A&M-Sprong'021 Co-design Finite State Machines Many slides of this lecture are borrowed from Margarida Jacome.
Mata kuliah :K0362/ Matematika Diskrit Tahun :2008
PETRINETS Nipun Devlekar Zauja Lahtau. PETRINETS DEFINITION : DEFINITION :  PETRINET (place/ transition net): a formal, graphical, executable technique.
Chapter 11: Artificial Intelligence
程建群 博士(Dr. Jason Cheng) 年03月
 Platform Independent Petri net Editor 2 (PIPE2) CS2650 Distributed Multimedia Systems Wen Xu November 23 rd, 2010.
An Introduction to Petri Nets Marjan Sirjani Formal Methods Laboratory University of Tehran.
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.
Some Probability Theory and Computational models A short overview.
CY2003 Computer Systems Lecture 7 Petri net. © LJMU, 2004CY2003- Week 72 Overview Petri net –concepts –Petri net representation –Firing a transition –Marks.
Copyright © 2008 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 11: Artificial Intelligence Computer Science: An Overview Tenth Edition.
Virtual Storytelling Adam Abonyi Daniel Balaš. Agenda 1.Introduction to virtual storytelling 2.Petri Nets 3.Our improvements in Petri Nets 4.Example.
Petri Nets: Their Development and Use in Production Planning Jeffrey E. Short, P.E. December 6, 2000.
Mahapatra-A&M-Fall'001 Co-design Finite State Machines Many slides of this lecture are borrowed from Margarida Jacome.
Stochastic Activity Networks ( SAN ) Sharif University of Technology,Computer Engineer Department, Winter 2013 Verification of Reactive Systems Mohammad.
C. André, J. Boucaron, A. Coadou, J. DeAntoni,
Computer Organization & Programming Chapter 5 Synchronous Components.
Generalized stochastic Petri nets (GSPN)
Hardware Design and The Petri Net Abhijit K. Deb SAM, LECS, IMIT, KTH Kista, Stockholm.
METU Informatics Institute Min720 Pattern Classification with Bio-Medical Applications Lecture notes 9 Bayesian Belief Networks.
Petri Nets Lecturer: Roohollah Abdipour. Agenda Introduction Petri Net Modelling with Petri Net Analysis of Petri net 2.
Modelling by Petri nets
Ch5: Software Specification. 1 Petri Nets  Introduced by C. Adams Petri in  Widely used in the modeling and analysis of computer systems.  Basic.
CSCI1600: Embedded and Real Time Software Lecture 11: Modeling IV: Concurrency Steven Reiss, Fall 2015.
School of Computer Science & Software Engineering
CAP 4800/CAP 5805: Computer Simulation Concepts
/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,
/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,
ICS312 Introduction to Compilers Set 23. What is a Compiler? A compiler is software (a program) that translates a high-level programming language to machine.
Turing Machine Model Are there computations that no “reasonable” computing machine can perform? –the machine should not store the answer to all possible.
Requirements Techniques, cont.
Concurrent Systems Modeling using Petri Nets
Chapter 11: Artificial Intelligence
Dr. Eng Amr T. Abdel-Hamid
Clockless Computing COMP
Week 8 Computational Level
Event Relation Graphs and Extensions in Ptolemy II
Object-Oriented Analysis
COT 5611 Operating Systems Design Principles Spring 2014
UML Activity Diagrams & State Charts
CAP 4800/CAP 5805: Computer Simulation Concepts
CAP 4800/CAP 5805: Computer Simulation Concepts
Chapter 14: Activity Diagrams
Introduction to Petri Nets (PNs)
COT 5611 Operating Systems Design Principles Spring 2012
Chapter 14: Activity Diagrams
An Introduction to Petri Nets
CAP 4800/CAP 5805: Computer Simulation Concepts
Chapter 14: Activity Diagrams
Petri nets.
Petri Nets Laurie Frazier.
Presentation transcript:

Week 8 Computational Level CS 182 Week 8 Computational Level

Computational level Actions hierarchical goal-oriented Representations Belief Nets Petri Nets If we have time Grammars

Actions Hierarchy present in humans e.g. reflexes plans are usually hierarchical Rod Brooks hierarchical action system goal-oriented different levels and components interact e.g. exploring behavior versus safety behavior result: robust behaviors

X-Schemas and Petri Nets Finite State Machines – but better! Places hold tokens have semantic meaning Transitions can be enabled can fire consume tokens at inputs place tokens at outputs

Petri Nets Asynchronous any enabled transition can fire or not fire so we reason about what states are possible Analysis determine what states are possible determine how many times a transition might fire determine whether deadlock is possible etc.

X-Schemas Add several things timed stochastic inhibitory arcs enabling arcs

Stochastic petri nets t1 1 2 t2

Stochastic petri nets Random timing of transition firing exponential distribution gives rise to random choice of which transition will fire P(transition fires in the next tiny time|enabled) = f(transition) Then P(transition fires next|enabled) = f(transition) / sum(f(enabled transitions))

Stochastic petri net example 1 p0 What is P(t3 ever fires)? Under what conditions will it fire? What is P(t3 fires|token in p1)? What causes there to be a token in p1? What is P(t1 fires)? How do you combine these events? t2 t1 p2 p1 t4 t3 p4 p3

X-Schemas Active representation Has hierarchical actions defined by network structure Actions have structure (e.g. ready, iterating, ongoing, failed, complete) Properly-designed nets will be goal-directed take best actions to reach goal, given current context related to “reinforcement learning”

Bayes Nets Define a simple Bayes Net for passing a class Calculate some of the probabilities Use Bayes' Rule!