On September 15, we had a successful kick-off meeting of the ROBDT project, funded by the European Space Agency (ESA-ESOC) and lead by TRASYS with the participation of GMV and FBK. The project aims at developing a Robotic...
Read MoreThe use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex...
Read MoreEIT Digital is launching “Autonomous Warehouse and Last Mile Delivery” (AWARD) a new innovation activity which aims to make movements of goods more efficient and effective. AWARD will focus on improving the current...
Read MoreThe workshop showcased different model-based techniques for the design and verification of critical systems. The international speakers, invited as committee members for the PhD defense of Benjamin Bittner, gave insights into different ways how model-based design and verification technology can improve an engineer’s understanding of and confidence in a given design model of a complex system.
Read MoreExpertise dissemination on Model Based Design and Safety Assessment
Read More