Formal specification and analysis of hybrid systems

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

LanguageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
  • Department of Mechanical Engineering
Supervisors/Advisors
  • Rooda, Koos, Promotor
  • Baeten, Jos, Promotor
  • van Beek, Bert, Copromotor
  • Reniers, Michel, Copromotor
Award date7 Feb 2006
Place of PublicationEindhoven
Publisher
Print ISBNs90-386-2997-4
DOIs
StatePublished - 2006

Bibliographical note

K.L. Man; Department of Mathematics and Computer Science; Supervisors: J.C.M. Baeten and J.E. Rooda; co-supervisor: M.A. Reniers
R.R.H. Schiffelers; Department of Mechanical Engineering; Supervisors: J.E. Rooda and J.C.M. Baeten; Co-promotor: D.A. van Beek

Cite this

Man, K. L., & Schiffelers, R. R. H. (2006). Formal specification and analysis of hybrid systems Eindhoven: Technische Universiteit Eindhoven DOI: 10.6100/IR601210
Man, K.L. ; Schiffelers, R.R.H.. / Formal specification and analysis of hybrid systems. Eindhoven : Technische Universiteit Eindhoven, 2006. 249 p.
@phdthesis{35971790533c4fb480fed6b3e1930807,
title = "Formal specification and analysis of hybrid systems",
author = "K.L. Man and R.R.H. Schiffelers",
note = "K.L. Man; Department of Mathematics and Computer Science; Supervisors: J.C.M. Baeten and J.E. Rooda; co-supervisor: M.A. Reniers R.R.H. Schiffelers; Department of Mechanical Engineering; Supervisors: J.E. Rooda and J.C.M. Baeten; Co-promotor: D.A. van Beek",
year = "2006",
doi = "10.6100/IR601210",
language = "English",
isbn = "90-386-2997-4",
publisher = "Technische Universiteit Eindhoven",
school = "Department of Mathematics and Computer Science, Department of Mechanical Engineering",

}

Man, KL & Schiffelers, RRH 2006, 'Formal specification and analysis of hybrid systems', Doctor of Philosophy, Department of Mathematics and Computer Science, Eindhoven. DOI: 10.6100/IR601210

Formal specification and analysis of hybrid systems. / Man, K.L.; Schiffelers, R.R.H.

Eindhoven : Technische Universiteit Eindhoven, 2006. 249 p.

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

TY - THES

T1 - Formal specification and analysis of hybrid systems

AU - Man,K.L.

AU - Schiffelers,R.R.H.

N1 - K.L. Man; Department of Mathematics and Computer Science; Supervisors: J.C.M. Baeten and J.E. Rooda; co-supervisor: M.A. Reniers R.R.H. Schiffelers; Department of Mechanical Engineering; Supervisors: J.E. Rooda and J.C.M. Baeten; Co-promotor: D.A. van Beek

PY - 2006

Y1 - 2006

U2 - 10.6100/IR601210

DO - 10.6100/IR601210

M3 - Phd Thesis 1 (Research TU/e / Graduation TU/e)

SN - 90-386-2997-4

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Man KL, Schiffelers RRH. Formal specification and analysis of hybrid systems. Eindhoven: Technische Universiteit Eindhoven, 2006. 249 p. Available from, DOI: 10.6100/IR601210