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
Last revision Both sides next revision
vanbeek:start [Monday, 15 June 2015 : 10:57:07]
vanbeek removed broken link to hybrid Chi simulator
vanbeek:start [Monday, 15 June 2015 : 11:01:00]
vanbeek Moved HYCON2 to previous
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:
vanbeek/start.txt · Last modified: Monday, 17 October 2016 : 11:04:19 by hvrooy