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 (Alexander Fay)

·        Industrial Agents (Birgit Vogel-Heuser)

·       Software Analysis of IEC 61131-3 control code and Recommendations for Actions (Birgit Vogel-Heuser)

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 CESCIT - 4th IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control – CESCIT 2021 
in Valenciennes, France, July 5-7, 2021 (


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