IFAC Technical Committee (TC) 3.1 Computers for Control


The IFAC Technical Committee (TC) 3.1 focuses on different disciplines related to embedded and cyber-physical systems, including:

  • Software & hardware architectures
  • Model-driven Software engineering
  • Verification & Validation
  • Certification
  • Safety
  • Security
  • Real-time aspects

At the moment, the TC 3.1 includes four Working Groups

  • Model Based Engineering
  • Semantic Technologies in control engineering
  • Industrial Agents
  • Software Analysis of IEC 61131-3 control code and Recommendations for Actions


Special interest of the committee is to promote the application of these methods, techniques, and platforms in different application fields such as, aerospace, automotive, railway, process control, robotics, autonomous systems, healthcare, home automation or industrial automation systems. The goal of the technical committee is to coordinate and promote technical activities in this challenging field of science and technology. Any researcher or practitioner who is willing to contribute is very welcome to do so. If you would like to join, please contact the Secretariat, or directly the chair of the technical committee.