We aim to bring you a TECoSA Seminar each month during term-time.  All are welcome to attend and we look forward to some lively discussions. Members can accept the Outlook invitations, non-members can email tecosa-admin@kth.se to register. Our April seminar is with Sanjit Seshia, Cadence Founders Chair Professor in the Department of Electrical Engineering and… Read More »TECoSA Seminar – Towards a Design Flow for Verified AI-Based Autonomy

TECoSA PhD student Kaige Tan will defend his thesis at Gladan, Brinellvägen 85 at the Dept. of Engineering design, KTH Campus. Contact Lei Feng (lfeng@kth.se) if you are interested in attending. The zoom link for the event can be found here. Abstract: Autonomous Intelligent Systems (AIS) are transforming various sectors by integrating advanced control theories,… Read More »PhD Defense: Optimal Control and Coordination of Autonomous Intelligent Systems by Edge Computing

TECoSA industrial PhD student (with Zenseact) Magnus Gyllenhammar will defend his thesis at F3 (Flodis), Lindstedtsvägen 26 & 28 at Sing-Sing, KTH Campus. Contact Martin Törngren (martint@kth.se) if you are interested in attending. Abstract: By relieving the human driver of the responsibility of safely operating the vehicle, Automated Driving Systems (ADSs) (colloquially known as self-driving cars)… Read More »PhD Defense: “Efficient Strategies for Safety Assurance of Automated Driving Systems”