Download presentation

Presentation is loading. Please wait.

Published bySyed Hawe Modified over 3 years ago

11
Regions Finite Partitioning of State Space x y An equivalence class (i.e. a region) in fact there is only a finite number of regions!! 123 1 2

14
An Example Region Graph

15
A1 B1 CS1 V:=1V=1 A2 B2 CS2 V:=2V=2 Init V=1 2 ´´ V Criticial Section Fischer’s Protocol Y<10 X:=0 Y:=0 X>10 Y>10 X<10

16
Fischer’s cont. A1 B1 CS1 V:=1V=1 A2 B2 CS2 V:=2V=2 Y<1 X:=0 Y:=0 X>1 Y>1 X<1 A1,A2,v=1 A1,B2,v=2 A1,CS2,v=2 B1,CS2,v=1 CS1,CS2,v=1 Untimed case A1,A2,v=1 x=y=0 A1,A2,v=1 0

Similar presentations

OK

Section 2.6 Solving Linear Inequalities and Absolute Value Inequalities.

Section 2.6 Solving Linear Inequalities and Absolute Value Inequalities.

© 2018 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Writing process elementary ppt on cells Ppt on gulliver's travels part 3 Ppt on revolt of 1857 causes Ppt on limits and continuity quiz Marketing mix ppt on sony entertainment Ppt on ip address classes range Training ppt on communication skills Ppt on acid-base indicators table Ppt on hay job evaluation Ppt on object-oriented programming definition