Scribd
Upload
32 views

Eecs 20 (January 17, 2001) Tom Henzinger

The document discusses using mathematical models to represent real-world systems. It explains that systems can be modeled as state machines transforming inputs to outputs using functions and equations. Models allow systems to be analyzed, simulated and calculated before being physically implemented and tested against reality.

Uploaded by

tareen372a
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPT, PDF, TXT or read online on Scribd
32 views

Eecs 20 (January 17, 2001) Tom Henzinger

The document discusses using mathematical models to represent real-world systems. It explains that systems can be modeled as state machines transforming inputs to outputs using functions and equations. Models allow systems to be analyzed, simulated and calculated before being physically implemented and tested against reality.

Uploaded by

tareen372a
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPT, PDF, TXT or read online on Scribd
You are on page 1/ 10

Motivation

EECS 20
Lecture 1 (January 17, 2001)
Tom Henzinger
REALITY MODEL

Bridge Static equations

Aircraft Flight equations

TEST SIMULATE
CALCULATE
REALITY MODEL

Bridge Abstract Static equations

Aircraft Build Flight equations


Predict

TEST SIMULATE
CALCULATE
REALITY MODEL

Piece of hardware ???

Piece of software ???

Wrong questions !
REALITY MODEL

Piece of information
- audio
- video
- text

Transformer of information
- for communication
- for computation
- for storage
REALITY MODEL

“Signal” Mathematical
Piece of information functions
- audio
- video
- text

“System”
State machines
Transformer of information
- for communication Linear equations
- for computation
- for storage
REALITY MODEL

“Signal” Mathematical
Piece of information functions
- audio
- video
- text
Abstract
“System”
State machines
Transformer of information
- for communication Linear equations
- for computation
- for storage
Implement
Predict
Simulate
Calculate
Air
pressure

Signal

Time

Sound: Time  Air pressure


Air
pressure

Signal

Time

Sound: Time  Air pressure

Input Output
z := x+1;
x y
y := 2· z
System

Program: Inputs  Outputs


Air
pressure
Function
description
Signal

Time

Sound: Time  Air pressure

Input Output
z := x+1;
x y
System y := 2· z Function
prescription

Program: Inputs  Outputs

You might also like