• 511 Citations
19932017

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

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

5 Downloads (Pure)
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

1 Downloads (Pure)
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

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

1 Downloads (Pure)