Downloads
Exercises
Exercise 1
Solution 1
Exercise 2
Solution 2
Exercise 3
Task 1.1
Task 1.2
Task 2
Exercise 4
Solution 4
Exercise 5
Solution 5
ADMIT
ADMIT
Simple Example
Literature
General Introduction (Automata and Petri nets):
C.G. Cassandras. Introduction to Discrete Event Systems. Springer, 2008.
UB
Link
General Introduction (Abstractions):
J. Raisch and S. O'Young. "A Totally Ordered Set of Discrete Abstractions for
a given Hybrid or Continuous system." In Hybrid Systems IV, pp. 342-360.
Springer , 1997.
Preprint
Fault Diagnosis and Set-based Abstractions:
P. Rumschinski, J. Richter, A. Savchenko, J. Lunze, S. Borchers and R. Findeisen. Complete Fault Diagnosis of Uncertain Polynomial Systems. Proc. 9th International Symposium on Dynamics and Control of Process Systems (DYCOPS'10) - Leuven - Belgium
Preprint
A. Savchenko, P. Rumschinski, S. Streif and R. Findeisen. Complete Diagnosability of Abrupt Faults using Set-based Sensitivity. Proc. 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS'12) - Mexico City - Mexico
Preprint
Lyapunov-based Abstractions:
C. Sloth. Formal Verification of Continuous Systems. Department of
Computer Science, The Faculties of Engineering, Science, and Medicine, Aalborg
University, 2012.
Aalborg Universitet