• 483 Citations
19932018
If you made any changes in Pure these will be visible here soon.

Research Output 1993 2018

Filter
Chapter
2015

Coordination control of complex machines

Baeten, J. C. M., Beek, van, D. A., Markovski, J. & Somers, L. J. A. M., 2015, Coordination Control of Distributed Systems. Schuppen, van, J. H. & Villa, T. (eds.). Cham: Springer, p. 61-68 (Lecture Notes in Control and Information Sciences; vol. 456)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Supervisory personnel
Systems engineering
Large scale systems
2010

Supervisory control synthesis in the medical domain

Theunissen, R. J. M., Schiffelers, R. R. H., Beek, van, D. A. & Rooda, J. E., 2010, Views on Evolvability of Embedded Systems. Laar, van de, P. & Punter, T. (eds.). Embedded systems: Springer, p. 171-191

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Interchanges
Hybrid systems
Control theory
Magnetic resonance imaging
Hardware
2009

Interchange formats and tool integration

Beek, van, D. A., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2009, Handbook of hybrid systems control : theory, tools, applications. Lunze, J. & Lamnabhi-Lagarrigue, F. (eds.). New York: Cambridge University Press, p. 361-374

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Interchanges

Overview of tools development and open problems

Beek, van, D. A. & Engell, S., 2009, Handbook of hybrid systems control : theory, tools, applications. Lunze, J. & Lamnabhi-Lagarrigue, F. (eds.). New York: Cambridge University Press, p. 279-283

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2007

Process algebra

Baeten, J. C. M., Beek, van, D. A. & Rooda, J. E., 2007, Handbook of Dynamic System Modeling. Fishwick, P. A. (ed.). Boca Raton: Chapman & Hall/CRC Press, p. 19.1-19.19 (Chapman&Hall/CRC Computer and Information Science Series)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review