Formal specification and analysis of hybrid systems

K.L. Man; R.R.H. Schiffelers

doi:10.6100/IR601210

Formal specification and analysis of hybrid systems

K.L. Man, R.R.H. Schiffelers

Formal System Analysis

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

208 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science Mechanical Engineering
Supervisors/Advisors	Rooda, Koos, Promotor Baeten, Jos, Promotor van Beek, D.A. (Bert), Copromotor Reniers, Michel A., Copromotor
Award date	7 Feb 2006
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-386-2997-4
DOIs	https://doi.org/10.6100/IR601210
Publication status	Published - 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

Access to Document

10.6100/IR601210

200513739Final published version, 1.33 MB

Cite this

@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",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science, Mechanical Engineering",

}

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 -