university website Publications by Year
  • sign in

Publication

  • Control of discrete-event systems with partial observations using coalgebra and coinduction Article

    Discrete Event Dynamic Systems: Theory and Applications, 257-315.

    J. Komenda and J.H. van Schuppen (Jan)

    January 2005
  • Modular supervisory control with general indecomposable specification languages In Proceedings

    J. Komenda, J.H. van Schuppen (Jan), B. Gaudin and H. Marchand

    January 2005
  • Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems In Proceedings

    J. Komenda and J.H. van Schuppen (Jan)

    January 2005
  • Control to facet problems for affine systems on simplices and polytopes - with applications to control of hybrid systems In Proceedings

    L.C.G.J.M. Habets (Luc) and J.H. van Schuppen (Jan)

    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.

    G.F. Duivesteijn, H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

    January 2005
  • Computability of finte-time sets for hybrid systems In Proceedings

    P.J. Collins (Pieter) and J. Lygeros

    January 2005
  • On the Computability of Reachable and Invariant Sets In Proceedings

    P.J. Collins (Pieter)

    January 2005
  • Domain model enhanced search - A comparison of taxonomy, thesaurus and ontology Master Thesis

    K. Schwarz

    January 2005
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close