CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Realization theory of discrete-time linear hybrid system In Proceedings
January 2009 -
An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems In Proceedings
R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
January 2009 -
January 2009
-
Kolmogorov Complexity in Randomness Extraction In Proceedings
January 2009 -
Synthesize nonblocking distributed supervisors with coordinators In Proceedings
R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
January 2009 -
Efficient nonconflict check by using automaton abstractions In Proceedings
R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
January 2009 -
Aligning Protein Structures Using Distance Matrices and Combinatorial Optimization In Proceedings
I. Wohlers (Inken), I. Petzold, F.S. Domingues and G.W. Klau (Gunnar)
January 2009 -
Dynamics with a range of choice Article
The special SCAN'08 issue of reliable computingJanuary 2009