1 / 10

A core Course on Modeling

Delve into the world of modeling with this introductory course on different time models, transitions, and applications like manufacturing, control, and games. Understand partial and total orders, verification, prediction, and documentation in various time-related scenarios.

bryce
Download Presentation

A core Course on Modeling

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. A core Course on Modeling Introductionto Modeling 0LAB0 0LBB0 0LCB0 0LDB0 c.w.a.m.v.overveld@tue.nl v.a.j.borghuis@tue.nl S.15

  2. Flavours of time • Transitions happen instantaneous (take no time) • Statesmay last • StatesandTransitionsalternate http://commons.wikimedia.org/wiki/File:LiquoriceAllsorts2003.jpg

  3. Flavours of time • partial order • forsome pairs of • transitions T1, T2, • specify or verify • earlier(T1,T2) or later(T1,T2) • application: • specification or verification • e.g., manufacturing, control, • parallel calculations, … http://www.sxc.hu/browse.phtml?f=download&id=443955

  4. Flavours of time http://www.sxc.hu/photo/1155437 • total order • forall pairs of • transitions T1, T2, • specify or verify • earlier(T1,T2) or later(T1,T2) • application: • predictionor documentation • (logging) – e.g., engineering, time • tables, scheduling, games, …

  5. http://www.sxc.hu/photo/169851 • Flavours of time • example of partial order: • specifycoinoperated • vending machine: • earlier(insertCoin,giveProduct) • earlier(makeChoice,giveProduct) • earlier(insertCoin,giveChange) • earlier(makeChoice,giveChange) • earlier(giveProduct,giveChange) • earlier(giveChange,giveProduct)

  6. Flavours of time • partial order • cooking • calculating • manufacturing • .... http://www.morguefile.com/archive/display/135355

  7. Flavours of time • total order + arbitraryintervals • reading • time tableproblems, • scheduling, • games, • communication protocols, • … http://cdn.morguefile.com/imageData/public/files/c/chrisof4/preview/fldr_2008_11_08/file0001531630882.jpg

  8. Flavours of time • totalorder + equalintervals • newspapers • compound interest, • discrete clocks • (pendulum, • tuningfork, • electronicclocks • ...), • sampling, • ... http://cdn.morguefile.com/imageData/public/files/v/vicky53/preview/fldr_2008_11_28/file000106841344.jpg

  9. Flavours of time • totalorder + infinitesimalintervals • continuousphysicalprocesses http://www.morguefile.com/archive/display/71806

  10. QUIZ • Flavours of time (this is a question formusiciansandmusiclovers) In modeling variousaspects of music, allfour time modelsoccur. Explain! • totalorder + infinitesimalintervals • continuousphysicalprocesses http://www.morguefile.com/archive/display/71806

More Related