Publication
-
Control of modular and distributed discrete-event systems In Proceedings
January 2006 -
Optimal solutions of modular supervisory control problems with indecomposable specification languages In Proceedings
January 2006 -
Enumerations of the Kolmogorov function Article
Journal of Symbolic Logic, 7(2), 501-528.January 2006 -
A Runge-Kutta discontinuous-Galerkin level-set method for unsteady compressible two-fluid flow In Proceedings
January 2006 -
Hybrid Formal Power Series and Their Application to realization theory of hybrid systems In Proceedings
January 2006 -
On the Core of Routing Games with Revenues Article
International Journal of Game Theory, 291-304.January 2006 -
Reachability of Linear Switched Systems: Differential geometric approach Article
Systems & Control Letters, 112-118.January 2006 -
January 2006