Publication
-
Control of discrete-event systems with partial observations using coalgebra and coinduction Article
Discrete Event Dynamic Systems: Theory and Applications, 257-315.January 2005 -
January 2005
-
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems In Proceedings
January 2005 -
Control to facet problems for affine systems on simplices and polytopes - with applications to control of hybrid systems In Proceedings
January 2005 -
On the adjoint solution of the quasi-1D Euler equations: the effect of boundary conditions and the numerical flux function Article
International Journal for Numerical Methods in Fluids, 987-993.January 2005 -
Computability of finte-time sets for hybrid systems In Proceedings
January 2005 -
On the Computability of Reachable and Invariant Sets In Proceedings
January 2005 -
January 2005