EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Daws, C.F.
Home Policy Brochure Browse Search User Area Contact Help

2008

Daws, C.F. and Langerak, R. and Polderman, J.W. (2008) Decision algorithm for the stability of planar switching linear systems. In: Proceedings of the 18th international symposium on mathematical theory of networks & systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA. 11. SIAM. ISBN not assigned

2006

Daws, C.F. and Kordy, P.T. (2006) Symbolic Robustness Analysis of Timed Automata. In: Formal Modeling and Analysis of Timed Systems, 25-27 September 2006, Paris,France. pp. 143-155. Lecture Notes in Computer Science 4202. Springer Verlag. ISBN 978-3-540-45026-9