BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TECoSA - ECPv6.16.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:TECoSA
X-ORIGINAL-URL:https://www.tecosa.center.kth.se
X-WR-CALDESC:Events for TECoSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20230406T150000
DTEND;TZID=UTC:20230406T160000
DTSTAMP:20260608T083953
CREATED:20230127T123343Z
LAST-MODIFIED:20230403T112243Z
UID:5683-1680793200-1680796800@www.tecosa.center.kth.se
SUMMARY:TECoSA Seminar - Addressing Uncertainty in the Safety Assurance of Machine-Learning
DESCRIPTION:We aim to bring you a TECoSA Seminar on the first Thursday of each month during term-time. For Spring 2023\, the talks will be on-line or hybrid. All are welcome to attend and we look forward to some lively discussions. Members can accept the invitations\, non-members can email tecosa-admin@kth.se to register.\nOur April seminar is with Prof Simon Burton\, Scientifc Director at Fraunhofer IKS.  This will be a Zoom-only event\, and is jointly organized by TECoSA and Digital Futures.  The Zoom link is https://kth-se.zoom.us/j/66857695267.\nABSTRACT:  There is increasing interest in the application of machine learning (ML) technologies to safety-critical cyber-physical systems\, with the promise of increased levels of autonomy due to their potential for solving complex perception and planning tasks. However\, demonstrating the safety of ML is seen as one of the most challenging hurdles to their widespread deployment for such applications. In this presentation I explore the factors which make the safety assurance of ML such a challenging task. In particular we address the impact of uncertainty on the confidence in ML safety assurance arguments. I show how this uncertainty is related to complexity in the ML models as well as the inherent complexity of the tasks that they are designed to implement. Based on definitions of categories and severity of uncertainty as well as an exemplary assurance argument structure\, we examine possible defeaters to the assurance claims and consequently how the assurance argument can be made more convincing. The analysis combines an understanding of insufficiencies in machine learning models\, their causes and mitigating measures with a systematic analysis of the types of asserted context\, asserted evidence and asserted inference within the assurance argument. \nThis leads to a systematic identification of requirements on the assurance argument structure as well as supporting evidence. A combination of qualitative arguments combined with quantitative evidence are required to build a robust argument for safety-related properties of ML functions that is continuously refined to reduce residual and emerging uncertainties in the arguments after the function has been deployed. \nThe presentation ends with an outlook on both developments in the standardisation of the safety of AI/ML\, in particular ISO PAS 8800 Road Vehicles – Safety and AI\,  as well as open research topics. \nBIO:  Prof. Dr. Simon Burton graduated in computer science at the University of York\, where he also achieved his Phd on the topic of the verification of safety-critical software in 2001. Simon has a background in a number of industries but has spent the last two decades mainly focusing on the automotive sector\, working in research and development projects as well as leading consulting\, engineering service and product organisations. Most recently\, he held the role of Director of Vehicle Systems Safety at Robert Bosch GmbH where\, amongst other things\, his efforts were focused on developing strategies for ensuring the safety of automated driving systems. \nIn September 2020\, he joined Fraunhofer IKS in the role of scientific director where he steers research strategy into “safe intelligence”. His own personal research interests include the safety assurance of complex\, autonomous systems\, and the safety of machine learning. In addition to his role within Fraunhofer IKS\, he has the role of honorary visiting professor at the University of York where he supports a number of research activities and interdisciplinary collaborations. He is also an active member in various standardization committees\, and is the convenor of the ISO working group ISO/TC 22/SC 32/WG14 with the responsibility for developing an international standard on Safety and AI for road vehicles.
URL:https://www.tecosa.center.kth.se/event/tecosa-seminar-addressing-uncertainty-in-the-safety-assurance-of-machine-learning/
CATEGORIES:Lectures,Talks
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20230412T140000
DTEND;TZID=UTC:20230412T150000
DTSTAMP:20260608T083953
CREATED:20230328T112214Z
LAST-MODIFIED:20230411T121520Z
UID:6162-1681308000-1681311600@www.tecosa.center.kth.se
SUMMARY:Cancelled (TinyDSF: Bootstrapping Skills for Milirobots from First Principles)
DESCRIPTION:23.04.11: This event is postponed  – new date to follow.\n****************************************************************************** \nInvited talk by Markus Kobelrausch\, TU Vienna\nWith a volume of less than 10 cm³ Milirobots are highly resource constrained agents. It is thus challenging to strike the right balance between efficiency of operation and flexibility to adapt to a new environment and tackle new tasks. \nTiny Developmental Skill Framework (TinyDSF) aims to provide a generic set of techniques for Milirobots\, that minimizes the set of hardwired\, innate skills and maximizes the space of environments and tasks that the Milirobot can eventually and autonomously adapt to. \nThis talk will present the bootstrapping of skills in TinyDSF. At the starting point\, the Milirobot comes with built-in knowledge of basic physical laws and geometric relations of the 3-D space. Also\, it can read signals from its sensors and write commands to its actuators. However\, it does not know the meaning of sensory information and actuator commands\, nor does it know the specifics of its own body or anything about the environment. The bootstrapping process follows three steps: (1) During Skill Search\, the Milirobot explores the effects of motor command on its sensory input and learns\, by exploration\, elementary operations like linear and elementary motion. (2) During Skill learning\, it explores and learns compound operations like moving along a rectangle or circle. (3) Higher Order Skills comprise operations like path following\, wall following\, swarm following\, etc. Higher order skills can be described in abstract notation and downloaded from a knowledge database. The Milirobot learns to execute and optimize higher order skills based on its previously acquired skills. \nMarkus D. Kobelrausch\, MSc received his Master’s degree in Embedded System Engineering from the University of Applied Science Technikum Vienna. He has an 8-year career in the automotive industry\, where he focused on safety-related real-time systems for autonomous driving. As part of his Ph.D. at the Vienna University of Technology (since 2019)\, he has been researching resource-constrained systems that exhibit cognitive properties and build knowledge and awareness over time using various resource-constrained learning methods. He is also involved in several renewable energy system optimization research projects that merge various deep learning techniques that can improve the overall energy efficiency of buildings. \nAll welcome via Zoom (https://kth-se.zoom.us/j/66857695267)\, although a few seats are available to join this talk in real life – please email vickid@kth.se for details.
URL:https://www.tecosa.center.kth.se/event/tinydsf-bootstrapping-skills-for-milirobots-from-first-principles/
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20230419T093000
DTEND;TZID=UTC:20230419T110000
DTSTAMP:20260608T083953
CREATED:20230413T115013Z
LAST-MODIFIED:20230413T115013Z
UID:6401-1681896600-1681902000@www.tecosa.center.kth.se
SUMMARY:MedTechLabs Seminar: Strategies and tactics for protecting digital IP such as AI Applications
DESCRIPTION:All are welcome to this seminar focusing on life science technologies.  The speakers will analyze and present strategies for scientists to accelerate their ability to find and protect digital inventions. It will include tactics and practical tips on patenting or other ways to extract business opportunities from science related to digital technologies. \nThe seminar will have a focus on digital life sciences but can be beneficial for digital applications in any technical field. \nSpeakers: Måns Marklund (Cascelotte) and Michael Kitzler (Rouse)\nModerator: Niclas Roxhed\, Director MedTechLabs and associate professor at KTH\nHybrid event: participants can choose to join in real life at the Karolinksa Institute (KI\, Nobels väg 12B\, 171 65 Solna)\, or via video-link (details will be circulated to those who register). \nClick here to register. \n 
URL:https://www.tecosa.center.kth.se/event/medtechlabs-seminar-strategies-and-tactics-for-protecting-digital-ip-such-as-ai-applications/
CATEGORIES:Lectures,Talks
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20230428T140000
DTEND;TZID=UTC:20230428T150000
DTSTAMP:20260608T083953
CREATED:20230330T110714Z
LAST-MODIFIED:20230330T111735Z
UID:6303-1682690400-1682694000@www.tecosa.center.kth.se
SUMMARY:TECoSA Research Seminar: Collaborative Collision Avoidance of Connected Vehicles Using ADMM with PI-Regulated Lagrangian Multipliers
DESCRIPTION:Speaker:  Kaige Tan\, TECoSA PhD student\nLocation:  Gladan\, Brinellvägen 85 (KTH Campus)\nZoom link: circulated to members (contact Vicki for more info)\nRegister for IRL participation: email vickid@kth.se  by kl.15 on Monday 24 April \n\nABSTRACT: The decentralized approach is popular for the collaborative collision avoidance of connected vehicles in many scenarios. By modeling the task as a collaborative optimal control problem\, Lagrangian methods are widely used to decouple the constraints and enable the decentralized solution. However\, potential constraint-violating behavior will lead to oscillations during the Lagrangian update\, resulting in more iterations and lower real-time efficiency. \nExisting methods generally neither address this shortcoming\, nor explore the Lagrangian update mechanism. This study takes a control perspective\, and solves this collaborative optimal control problem based on an extension of the Alternating Directions Method of Multipliers (ADMM) algorithm by performing the iteration update with a Proportional-Integral- (PI-) regulated controller. The link between the Lagrangian optimization and the PI controller improves the convergence performance during iterations. Simulation results in traffic intersection scenarios demonstrate the advantage of the proposed approach. The preliminary results and future work on its real-time implementation on the 5G testbed will also be discussed.
URL:https://www.tecosa.center.kth.se/event/tecosa-research-seminar-collaborative-collision-avoidance-of-connected-vehicles-using-admm-with-pi-regulated-lagrangian-multipliers/
CATEGORIES:Talks,webinar
END:VEVENT
END:VCALENDAR