User Tools

Site Tools


vanbeek:newpublications

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]
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]].
vanbeek/newpublications.txt · Last modified: Monday, 03 February 2014 : 10:22:11 by vanbeek