Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||