Cheat Codes
For Hybrid Games
Rachel Holladay
15-424 Foundations of
Cyber-Physical Systems
Verification & Validation Grand Prix
Carnegie Mellon University
1
Spring 2017
Red Light,
Green Light
Red Rover
Leap Frog
2
Red Light,
Green Light
Red Rover
Leap Frog
3
4
1. Choose accelerations
2. Run
3. Did someone win?
5
1. Choose accelerations
2. Run
3. Did someone win?
1. Choose deceleration
2. Run
3. Did someone win?
6
1. Choose accelerations
2. Run
3. Did someone win?
1. Choose deceleration
2. Run
3. Did someone win?
7
1. Choose accelerations
2. Run
3. Did someone win?
1. Choose deceleration
2. Run
3. Did someone win?
8
Winning Condition (V1): Run Together
9
Winning Condition (V1): Run Together
Did Angel cross the finish line?
Did Demon cross the finish line?
10
Winning Condition (V2): Run Separately
11
Winning Condition (V2): Run Separately
Did Angel cross the finish line and
Demon didn’t?
Did Demon cross the finish line and
Angel didn’t?
Did Angel and Demon cross the
finish line but Angel crossed first?
Did Angel and Demon cross the
finish line but Demon crossed first?
12
Winning Condition (V2): Run Separately
Did Angel cross the finish line and
Demon didn’t?
Did Demon cross the finish line and
Angel didn’t?
Did Angel and Demon cross the
finish line but Angel crossed first?
Did Angel and Demon cross the
finish line but Demon crossed first?
13
Stage 1
1. Choose accelerations
2. Run
3. Did someone win?
Stage 2
1. Choose deceleration
2. Run
3. Did someone win?
14
Multi-Stage Models
Hybrid Systems
15
Multi-Stage Models
Hybrid Systems
Complex
16
Multi-Stage Models
Hybrid Systems
Complex
Safety
17
Multi-Stage Models
Hybrid Systems
Complex
Safety
Hybrid Games
18
Multi-Stage Models
Hybrid Systems
Complex
Safety
Hybrid Games
No Problem
19
Multi-Stage Models
Hybrid Systems
Complex
Safety
Hybrid Games
No Problem
Winning
20
Red Light,
Green Light
Red Rover
Leap Frog
21
22
23
On Angel’s Turn:
1. Angel calls over a demon Player
2. Demon Player Run at Line
3. Update Teams
24
How?
On Angel’s Turn:
1. Angel calls over a demon Player
2. Demon Player Run at Line
How?
3. Update Teams
How?
25
Strength[Angel] and Strength[Demon] ?
26
Strength[Player 1]
Strength[Player 2]
Strength[Player 3]
.
.
.
27
Do you perfectly know your friends strength?
Probably Not.
Private Information?
Out of Scope.
28
Do you perfectly know your friends strength?
Probably Not.
Private Information?
Out of Scope.
29
Do you perfectly know your friends strength?
Probably Not.
Private Information?
Out of Scope.
30
Do you perfectly know your friends strength?
Probably Not.
Private Information?
Out of Scope.
31
Red Light,
Green Light
Red Rover
Leap Frog
32
33
On Each Turn:
1. Give Controls
2. Jump
3. Did I win?
34
On Each Turn:
What?
1. Give Controls
2. Jump
How?
3. Did I win?
35
Connection to Nim
41
Connection to Nim
42
Cheat Codes
For Hybrid Games
Rachel Holladay
15-424 Foundations of
Cyber-Physical Systems
Verification & Validation Grand Prix
Carnegie Mellon University
43
Spring 2017