This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
vanbeek:newpublications [Monday, 06 January 2014 : 12:45:17] vanbeek |
vanbeek:newpublications [Monday, 03 February 2014 : 10:22:11] (current) vanbeek ASE published |
||
---|---|---|---|
Line 4: | Line 4: | ||
==== Refereed journal publications ==== | ==== Refereed journal publications ==== | ||
- | Theunissen, R.J.M., Petreczky, M., Schiffelers, R.R.H., van Beek, D.A. & Rooda, J.E. {{:vanbeek:t-ase13.pdf|Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner}}. //IEEE Transactions on Automation Science and Engineering//, to be published. | + | Theunissen, R.J.M., Petreczky, M., Schiffelers, R.R.H., van Beek, D.A. & Rooda, J.E. (2014). {{:vanbeek:t-ase13.pdf|Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner}}. //IEEE Transactions on Automation Science and Engineering//, 11(1), 20-32. |
Nadales Agut, D.E., van Beek, D.A. & Rooda, J.E. (2013). {{:vanbeek:cif2-jlap12.pdf|Syntax and semantics of the compositional interchange format for hybrid systems}}. //Journal of Logic and Algebraic Programming//, 82(1), 1-52, [[http://dx.doi.org/10.1016/j.jlap.2012.07.001|DOI link]]. | Nadales Agut, D.E., van Beek, D.A. & Rooda, J.E. (2013). {{:vanbeek:cif2-jlap12.pdf|Syntax and semantics of the compositional interchange format for hybrid systems}}. //Journal of Logic and Algebraic Programming//, 82(1), 1-52, [[http://dx.doi.org/10.1016/j.jlap.2012.07.001|DOI link]]. |