User Tools

Site Tools


vanbeek:start

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
vanbeek:start [Monday, 15 June 2015 : 10:57:07]
vanbeek removed broken link to hybrid Chi simulator
vanbeek:start [Monday, 17 October 2016 : 11:04:19] (current)
hvrooy [Education]
Line 15: Line 15:
  
 I currently participate in the following projects: I currently participate in the following projects:
-  * [[http://​www.hycon2.eu/​|HYCON2]] network of excellence, September 2010 - September 2014. 
   * Development of [[http://​cif.se.wtb.tue.nl|CIF 3]], with tools for supervisory control synthesis, verification,​ interactive simulation and visualization,​ model transformation,​ and (real-time) code generation. ​   * Development of [[http://​cif.se.wtb.tue.nl|CIF 3]], with tools for supervisory control synthesis, verification,​ interactive simulation and visualization,​ model transformation,​ and (real-time) code generation. ​
      * CIF 3 is the successor of CIF 2. Its syntax and semantics have been much simplified with respect to CIF 2.       * CIF 3 is the successor of CIF 2. Its syntax and semantics have been much simplified with respect to CIF 2. 
Line 24: Line 23:
  
 ==== Previous ==== ==== Previous ====
 +  * [[http://​www.hycon2.eu/​|HYCON2]] network of excellence, September 2010 - September 2014.
   * Development of the hybrid Chi formalism and simulator.   * Development of the hybrid Chi formalism and simulator.
   * Two EU ICT FP7 European projects on networked embedded and control systems - control of large-scale complex distributed systems:   * Two EU ICT FP7 European projects on networked embedded and control systems - control of large-scale complex distributed systems:
Line 51: Line 51:
  
 ==== Education ==== ==== Education ====
-  * [[https://​venus.tue.nl/​owinfo-cgi/​owi_0695.opl?​vakcode=4C390|4C390]] ​   Performance analysis of embedded systems ​[[:​4C390:​start|additional course info]] +  * [[https://​venus.tue.nl/​owinfo-cgi/​owi_0695.opl?​vakcode=4C390|4C390]] ​   Performance analysis of embedded systems 
-  * [[https://​venus.tue.nl/​owinfo-cgi/​owi_0695.opl?​vakcode=4C650|4C650]] ​   Analysis of hybrid systems: {{:​4C650:​simhchi.pdf|Lecture notes}}, [[:​4C650:​start|additional course info]]+  * [[https://​venus.tue.nl/​owinfo-cgi/​owi_0695.opl?​vakcode=4C650|4C650]] ​   Analysis of hybrid systems
  /​* ​ * [[https://​venus.tue.nl/​owinfo-cgi/​owi_0695.opl?​vakcode=4E026|4E026]] ​   Design of a brewery  /​* ​ * [[https://​venus.tue.nl/​owinfo-cgi/​owi_0695.opl?​vakcode=4E026|4E026]] ​   Design of a brewery
   * [[https://​venus.tue.nl/​owinfo-cgi/​owi_0695.opl?​vakcode=4E036|4E036]] ​   Design of an airport baggage handling system   * [[https://​venus.tue.nl/​owinfo-cgi/​owi_0695.opl?​vakcode=4E036|4E036]] ​   Design of an airport baggage handling system
vanbeek/start.1434358627.txt.gz · Last modified: Monday, 15 June 2015 : 10:57:07 by vanbeek