ESE601: Hybrid Systems
-
Upload
gemma-richard -
Category
Documents
-
view
37 -
download
1
description
Transcript of ESE601: Hybrid Systems
![Page 1: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/1.jpg)
Spring semester 2006
ESE601: Hybrid Systems
Review material on discrete event systems I
![Page 2: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/2.jpg)
Contents
• Examples (5)
• Transition systems and automata (6)
• Languages and regular expression (6)
• Reachability and blocking property (5)
• Composition of automata (5)
• I/O automata (5)
![Page 3: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/3.jpg)
A vending machine
1. Insert coin(s)
2. Choose tea or coffee
3. Put the cup on the tray
4. Drink is ready
coin
tea
coffee
cup
ready
cup
![Page 4: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/4.jpg)
Printer data buffer
in
in
in
in
out
out
out
overflow
Data in
Data out
printer
![Page 5: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/5.jpg)
A printer
out
printready
jamfix
The printer receives data from the buffer, and print it out. Once the printout is ready, the printer is ready to receive new data. While printing, the paper can jam and need to be fixed before the printing process can resume.
![Page 6: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/6.jpg)
A slot machine
7 7 7 7 7
1. Insert coin
2. Pull handle
3. Win if the combination is good, otherwise lose.
coinhand
le
handle
win
lose
![Page 7: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/7.jpg)
Modeling recap
• Events are time-abstract.
• Just like modeling of continuous systems, the level of detail is ‘modeler dependent’.
• Events are not necessarily equipped with any notion of ‘internal-external’ or ‘input-output’.
• Compositionality is possible (to be discussed later).
• There can be non-determinism.
![Page 8: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/8.jpg)
Transition systems
![Page 9: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/9.jpg)
Transition systems
21
3
4
out
printready
jamfix
![Page 10: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/10.jpg)
Execution of transition systems
![Page 11: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/11.jpg)
Automata
![Page 12: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/12.jpg)
Automata
21
3
4
out
printready
jamfix
![Page 13: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/13.jpg)
Execution of automata
![Page 14: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/14.jpg)
Regular languages
![Page 15: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/15.jpg)
Regular languages
![Page 16: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/16.jpg)
Regular languages
![Page 17: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/17.jpg)
Regular languages
![Page 18: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/18.jpg)
Regular expressions
![Page 19: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/19.jpg)
Accessibility
![Page 20: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/20.jpg)
Blocking property
![Page 21: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/21.jpg)
Co-accessibility
![Page 22: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/22.jpg)
Co-accessibility
![Page 23: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/23.jpg)
Composition of automata
![Page 24: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/24.jpg)
Composition of automata
1
2
1
2
3a b a
a
b
1,1 2,2 1,3a b
a
1,2 2,3a
a
2,1
a
![Page 25: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/25.jpg)
Composition of automata
![Page 26: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/26.jpg)
Composition of automata
![Page 27: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/27.jpg)
Composition of automata
in
in
in
in
out
out
out
overflow
21
3
4
out
printready
jam
![Page 28: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/28.jpg)
Composition and languages
![Page 29: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/29.jpg)
Example
1
2
3 4
5
a
b
b
c
c
a
1
2
bc
d
1,1 2,1a
3,2b
5,1c
a
4,2
d
Only accessible states
![Page 30: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/30.jpg)
Composition and languages
![Page 31: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/31.jpg)
Input – output automata
![Page 32: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/32.jpg)
Input – output automata
![Page 33: ESE601: Hybrid Systems](https://reader036.fdocuments.net/reader036/viewer/2022062422/568135d2550346895d9d3c24/html5/thumbnails/33.jpg)
Input – output automata