Centrum Wiskunde & Informatica

Learning the Switching Rate by Discretising Bernoulli Sources Online In Proceedings

S. de Rooij (Steven) and T.A.L. van Erven (Tim)

January 2009
Controllability and Falsification of Hybrid Systems In Proceedings

P.J. Collins (Pieter)

January 2009
Sampled-data control of hybrid systems with discrete inputs and outputs In Proceedings

M. Petreczky (Mihaly), D.A. van Beek, J.E. Rooda (Jacobus), P.J. Collins (Pieter) and J.H. van Schuppen (Jan)

January 2009
New concepts in the abstract format of the Compositional Interchange Format In Proceedings

D.A. van Beek, P.J. Collins (Pieter), D.E. Nadales Agut, J.E. Rooda (Jacobus) and R.R.H. Schiffelers

January 2009
Computable Types for Dynamic Systems In Proceedings

P.J. Collins (Pieter)

January 2009
Computable CTL for Discrete-Time and Continuous-Space Dynamic Systems In Proceedings

P.J. Collins (Pieter) and I.S. Zapreev (Ivan)

January 2009
Computable CTL* for discrete-time and continuous-space dynamic systems In Proceedings

P.J. Collins (Pieter) and I.S. Zapreev (Ivan)

January 2009
Tutorial on system identification of polynomial and of rational systems In Proceedings

J. Nemcová (Jana) and J.H. van Schuppen (Jan)

January 2009

Previous

Next