TC 3.1. Computers for Control

Welcome Message from the Chair


Welcome to the web pages of the IFAC Technical Committee 3.1 on "Computers for Control".

TC 3.1 focuses on different disciplines related to embedded and cyber-physical systems:

·       Software & hardware architectures

·       Model-driven Software engineering

·       Verification & Validation

·       Certification

·       Safety

·       Security

·       Real-time aspects

There are four Working Groups at the moment:

·        Model Based Engineering (Cesare Fantuzzi)

·        Semantic Technologies in control engineering (Aljosha Köcher)

·        Industrial Agents (Birgit Vogel-Heuser)

·       Software Analysis of IEC 61131-3 control code and Recommendations for Actions (Eva-Maria Neumann)

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 (secretariat(at),
or directly the chair of the technical committee.

The next event is the committee meeting of the FA 5.15 "Multi-Agent-Systems" on Industrial Agents on January 25, 2022.


Looking forward to a fruitful discussion and joint progress on computers in control.

Prof. Birgit Vogel-Heuser

Elected Chair of TC 3.1 Computers in Control
Chairwoman of FA 5.15 Agents in Automation of the German NMO of IFAC, GMA