DES verification and stochastic analysis
Due date: 30.11.2017
In this assignment you will
- verify your FSA model by checking its execution on real data
- compute the average return time to nominal state
There is no need to do more than you're asked!! No need to write up a report, draw pictures, enclose your work in a nice binding.
Task 1: Select one of the following data files representing system execution in a 12 hour period.
Verify your FSA is consistent with the data set:
- Upload the data set into Matlab. The string of events is contained in the variable ea.
- Import the FSA model of your controlled system (previously we called this the specification of the system beahvior) into Matlab.
- Execute the string of events and compute the final state of your physical automaton. Submit the final state using the vector notation, e.g., (3,VN,OFF), together with the corresponding component automata, e.g., (T_switch, T_sensor, T_timer).
Note: the given string also includes events of the capacitor system. Your automata don't include these events. You may have to make some slight modifications to your automata to allow for events that are not in the set of events.
Task 2: The firing times of events in the string ea are given in tea. First, for the DES define the set of nominal states Qn. The nominal states represent normal system operation, i.e., tap changer in state 2, voltage sensor in the normal range, and timer turned off. The specification automata can be in any state. The behavior of the capacitor system can also be ignored.
For your chosen dataset,
- Break up the string into substrings that satisfy:
- each substring begins and ends at nominal state.
- each substring does not include another substring that satisfies the previous condition.
- Compute the time duration of each substring.
- Compute the average duration of each substring. This is your mean return time to the nominal set of states.
- Submit the set of substrings together with their execution times. Submit the mean return time.