• 522 Citations
19932017

Research output per year

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

Supervised Work

2018

Model-based design of baggage handling systems

Swartjes, L., 13 Sep 2018, Eindhoven: Technische Universiteit Eindhoven. 117 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
1093 Downloads (Pure)
2015

Supervisory control in health care systems

Theunissen, R. J. M., 2015, Eindhoven: Technische Universiteit Eindhoven. 117 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
156 Downloads (Pure)
2012

A compositional interchange format for hybrid systems : design and implementation

Nadales Agut, D. E., 2012, Eindhoven: Technische Universiteit Eindhoven. 225 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
233 Downloads (Pure)
2006

Formal specification and analysis of hybrid systems

Man, K. L. & Schiffelers, R. R. H., 2006, Eindhoven: Technische Universiteit Eindhoven. 249 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
94 Downloads (Pure)
2000

Design of a fruit juice blending and packaging plant

Fey, J. J. H., 2000, Eindhoven: Technische Universiteit Eindhoven. 109 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
16481 Downloads (Pure)
1999

A language and simulator for hybrid systems

Fabian, G., 1999, Eindhoven: Technische Universiteit Eindhoven. 190 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
222 Downloads (Pure)
1996

Simulator for combined continuous-time/discrete-event models

Fabian, G., Janson, P. L. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST), 1996, Eindhoven: Eindhoven University of Technology.

Research output: ThesisPd Eng Thesis