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

Research Output 1993 2018

Filter
Phd Thesis 1 (Research TU/e / Graduation TU/e)
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)Academic

Open Access
File
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)Academic

Open Access
File
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)Academic

Open Access
File
Interchanges
Hybrid systems
Semantics
Systems analysis
Specifications
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)Academic

Open Access
File
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)Academic

Open Access
File
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)Academic

Open Access
File
1993

Exception handling in control systems

Beek, van, D. A., 1993, Eindhoven: Technische Universiteit Eindhoven. 208 p.

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

Open Access
File