Material can be found on the course website.
The questions on the "closed book" (i.e., no course material may be used) exam will be a selection from those given below. Note that some of those questions are "parametrized": they represent a family of questions (as in "explain the semantics of Statechart construct X").
Questions:
Example question: Explain how a continuous-time CBD Integrator/Derivative block
can be approximated in terms of a discrete-time CBD network.
Example question: what is the relationship between deadlock and reachability analysis?
Example question: for the following Petri Net model (given), build the coverability graph and explain whether the system is Ln live.
Example question: give the algorithm for building a coverability graph (or tree). Explain by means of a small example. What is the difference between a reachability and a coverability graph ?
What is the difference between LTL and CTL, what does a particular formula mean?
Example question: describe how to obtain the internal
transition function of the flattened version of a coupled DEVS.
The different levels of system specification and their relationship. In particular, the I/O System specification.
Example question: give the mathematical structure of the I/O System specification. Explain briefly the various symbols. Explain the constraint the transition function must satisfy.
Example question: give the mathematical structure of the I/O System specification. Explain briefly the various symbols. Show how an I/O Function can be obtained from this.
Explain the System Dynamics workflow.
What is the semantics of the FSD notation (flows and rates)?