Publication
-
Realization theory of Nash systems In Proceedings
January 2009 -
Control of input/output discrete-event systems In Proceedings
January 2009 -
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
January 2009 -
Kolmogorov Complexity in Randomness Extraction In Proceedings
January 2009 -
January 2009
-
Efficient nonconflict check by using automaton abstractions In Proceedings
January 2009 -
January 2009