Formal methods for control of cyber-physical systems

Search results

• 

  Maico Engelaar, MSc

  • m.h.w.engelaartuenl

  • Electrical Engineering, Control Systems - Doctoral Candidate
  • Electrical Engineering, Formal methods for control of cyber-physical systems

  Person: Prom. : doctoral candidate (PhD)

  20232024
• 

  Sofie Haesaert

  • S.Haesaerttuenl

  • Electrical Engineering, Formal methods for control of cyber-physical systems
  • Electrical Engineering, Autonomous Motion Control Lab
  • Electrical Engineering, High Tech Systems Center
  • EAISI High Tech Systems - Assistant Professor
  • EAISI Foundational - Assistant Professor
  • Electrical Engineering, Control Systems - Assistant Professor

  Person: UD : Assistant Professor

  20132024
• 

  Ruohan Wang

  • r.wang2tuenl

  • Electrical Engineering, Control Systems - Doctoral Candidate
  • Electrical Engineering, Formal methods for control of cyber-physical systems

  Person: Prom. : doctoral candidate (PhD)

• 

  Zengjie Zhang

  • z.zhang3tuenl

  • Electrical Engineering, Formal methods for control of cyber-physical systems
  • Electrical Engineering, Autonomous Motion Control Lab
  • Electrical Engineering, Control Systems - Postdoc

  Person: PD : Postdoc, PD : Postdoc

  20232024