Explanation:

Each line represents a state, state 0, state 1, state 2, ...

Each line starts with state keyword followed by the assigned number for the state and a colon.

example state 1:, state 2:, ...

The right side of the colon is always surrounded by { } to represent all output events.

example state 1: { }

For each state there can be any number of output events and their respective details, they are always put within a ( ) which in turn appear in { } and the end result would be { ( ) }

Within the Parenthesis Each output state is described as four comma separated entities

state 0: { ( 1, Beta,n, n) }

Here within the Parenthesis the data signify as follows:

the output event, output event name, Controllable/Not controllable, Observable/Not observable.

Note that the output event number can be anything , the output name is just a string which again can be anything you wish to name the event by, Controllable / Not controllable is always specified by a single character either C or N, Same applies to the observability description. Single character can be either O or N. They can be smaller case too.

There are four different files related to DEDS

*.stb -> initial input file for determining stability, prestability.In this case it should have estate description.

*.obs-> initial output file for the observer

*.inp-> tranformed output file from *.obs generated for internal optimisation.

*.out -> final output file having the observer described in the same format as the input file.

Figure 21.stb: Input file used for determining stability and prestability

state 0: { ( 0,Beta,n,n),(3,Beta,n,n) }

state 1: { ( 0,Alpha,n,n),(2,Alpha,n,n) }

state 3: { ( 0,Gamma,n,n) }

estate 1: { ( 0 ) }

Figure31.stb: Input file used for determining stability and prestability

state 0: { (0,Beta,n,n), (1,Beta,n,n), (3,Beta,n,n) }

state 1: { (0,Alpha,n,n), (1,Delta,n,n), (2,Delta,n,n) }

state 2: { (3,Alpha,n,n) }

state 3: { (3,Delta,n,n) }

state 4: { (0,Beta,n,n) }

estate 1: { ( 0,3 ) }

Figure32.stb: Input file used for determining stability and prestability

state 0: { (0,Beta,n,n) }

state 1: { (0,Alpha,n,n), (2,Delta,n,n) }

state 2: { (0,Delta,n,n), (3,Delta,n,n) }

state 3: { (3,Beta,n,n) }

estate 1: { ( 0 ) }

Figure 33 .stb :Input file used for determining stability and prestability

state 0: { (0,Beta,n,n) }

state 1: { (0,Alpha,n,n), (2,Delta,n,n) }

state 2: { (3,Beta,n,n) }

state 3: { (1,Delta,n,n),(2,Beta,n,n) }

estate 1: { ( 0,3 ) }

Figure 42.stb: Input file used for determining stability and prestability, Observability

Note: the observer flag of each output event which is observable is set to observable by using the O for Obserbale.

state 0: { (2,Alpha,n,o) }

state 1: { (3,Delta,n,n) , (4,Delta,n,n) }

state 2: { (0,Beta,n,o) , (5,Delta,n,n) }

state 3: { (0,Alpha,n,o ) }

state 4: { (2,Alpha,n,o ) }

state 5: { (2,Alpha,n,o ) }

estate 1: { ( 0,3 ) }

Figure42.obs :Initial 0utput file used while determining the observer.

state 0,1,2,3,4,5: { (2,0,,Alpha,n,n ) (0,,Beta,n,n ) }

state 0,: { (2,,Alpha,n,n ) }

state 2,: { (0,,Beta,n,n ) }

state 2,0,: { (2,,Alpha,n,n ) (0,,Beta,n,n ) }

Figure 42.inp : Output file generated in this order *.stb -> *.obs -> *.inp

state 0 : { (1 ,Alpha,n,n ) ,(2,Beta,n,n ) }

state 2: { (3,Alpha,n,n ) }

state 3: { (2,Beta,n,n ) }

state 1 : { (3,Alpha,n,n ) ,(2,Beta,n,n ) }

Figure42.out: Output file generated in this order *.stb -> *.obs -> *.inp -> *.out

state 0,1,2,3,4,5: { (2,0,Alpha,n,n ) ,(0,Beta,n,n ) }

state 0: { (2,Alpha,n,n ) }

state 2: { (0,Beta,n,n ) }

state 2,0: { (2,Alpha,n,n ) ,(0,Beta,n,n ) }

Figure99.stb: Input file used for determining stability and prestability, Observability

Note: the observer flag of each output event which is observable is set to observable by using the O for Obserbale.

state 0: { (2,Alpha,n,o) }

state 1: { (3,Delta,n,n), (4,Delta,n,n) }

state 2: { (0,Beta,n,o), (5,Delta,n,n) }

state 3: { (0,Delta,n,n) }

state 4: { (2,Alpha,n,o) }

state 5: { (2,Alpha,n,o) }

estate 1: { ( 0,2 ) }

Figure99.obs :Initial 0utput file used while determining the observer.

state 0,1,2,3,4,5: { (2,,Alpha,n,n ) (0,,Beta,n,n ) }

state 0,: { (2,,Alpha,n,n ) }

state 2,: { (0,,Beta,n,n ) }

Figure99.inp : Output file generated in this order *.stb -> *.obs -> *.inp

state 0 : { (1,Alpha,n,n ) ,(2,Beta,n,n ) }

state 2: { (1,Alpha,n,n ) }

state 1: { (2,Beta,n,n ) }

Figure99.out  :Output file generated in this order *.stb -> *.obs -> *.inp -> *.out

state 0,1,2,3,4,5: { (2,Alpha,n,n ) ,(0,Beta,n,n ) }

state 0: { (2,Alpha,n,n ) }

state 2: { (0,Beta,n,n ) }

Kanniganti Radesh , B.Tech, (M.S.) , Computer Engg, University of Bridgeport.

Choices: