In diesem Vortrag werden wir uns mit der Herausforderung der Verifikation von neuronalen Netzen am Beispiel der Regelung von Schüttgutförderanlagen auseinandersetzen. Wir werden die Unterschiede und Anwendungen verschiedener Verifikationsansätze diskutieren und wie diese dazu beitragen können, die Robustheit und Sicherheit von KI-Systemen in sicherheitskritischen Anwendungen zu gewährleisten.

Nutzen für die Besucher
Die Teilnehmer werden ein allgemeines Verständnis für die Bedeutung und Anwendung von Verifikationsverfahren in der KI-Entwicklung gewinnen. Sie werden lernen, wie formale Verifikationsmethoden dazu beitragen können, die Robustheit und Sicherheit von neuronalen Netzen in sicherheitskritischen Anwendungen zu gewährleisten. Sie werden auch die spezifischen Herausforderungen und Lösungen im Zusammenhang mit der Regelung von zum Beispiel Schüttgutförderanlagen und dem Einfluss von Sensoren auf die Leistung des Netzes verstehen. Darüber hinaus bietet der Vortrag die Möglichkeit, Fragen zu stellen und sich mit Experten und Gleichgesinnten auszutauschen.

Zielgruppe
Dieser Vortrag ist ideal für Ingenieure, Datenwissenschaftler, Fachleute aus der Industrie und alle (incl. Startups), die sich für die neuesten Entwicklungen und Best Practices im Bereich der KI-Verifikation und ihrer Anwendungen in sicherheitskritischen Systemen interessieren. Es ist eine hervorragende Gelegenheit, sich über die neuesten Technologien und Methoden in diesem Bereich zu informieren und wertvolle Erkenntnisse für die Implementierung in eigenen Projekten zu gewinnen.

Eventreihe
Diese Veranstaltung ist Teil der AI xpress NET Reihe im AI xpress Böblingen.

Weitere Termine:
19.10.2023: Potentiale KI-gestützter Anomalieerkennung
16.11.2023: Technologievergleich und KI-Integration: Schnittstellen und Protokolle in der Industrie
11.01.2024: Neuronale Netze und KI am Beispiel Autonomes Fahren: Von der Modellanpassung bis zum automatischen Pre-Labeling

Bei Fragen schreibe uns bitte eine E-Mail an: info@aixpress.io. Vielen Dank!