Foeken, M. J.; van Tooren, M. J. L.
(Cranfield University Press, 2009-03-31)
The automated development of control software for mechatronic systems requires the integration of control
models for design and verification purposes. To obtain high-fidelity models, unintended behaviour of the
system ...