Erweiterung des Open Source Roboters “LeRobot”

Die Freilandhaltung von Legehennen gewinnt aus Gründen des Tierwohls und der Verbrauchernachfrage zunehmend an Bedeutung, setzt die Tiere im Auslauf jedoch Greifvögeln wie Habicht, Bussard und Milan aus. Neben den unmittelbar gerissenen Tieren entstehen erhebliche indirekte Schäden: Panik in der Herde, Verletzungen, Leistungseinbrüche und eine dauerhaft reduzierte Nutzung des Auslaufs. Da Greifvögel geschützt sind, muss […]

Es gibt in Schleswig-Holstein zahlreiche Baumschulen, auf denen Weihnachtsbäume (typischerweise Nordmanntannen) angebaut werden. Diese Plantagen benötigen insbesondere in der Anfangszeit, wenn die Bäume noch jung sind, viel Pflege, um die Setzlinge zu pflegen. In einen Kooperationsprojekt mit der FH Westküste (Prof. Stefan Hußmann) soll auf Basis von Drohnenbefliegungen der Plantagen ein Automatisierungskonzept für das Freischneiden […]

Bei der konventionellen Ultraschalluntersuchung muss die Sonde fest auf den Bereich des Unterarms gedrückt werden, in dem möglicherweise eine Fraktur vorliegt, was für junge Patienten äußerst schmerzhaft sein kann. Ziel dieses Projekts ist die Entwicklung eines kontaktlosen, robotergestützten Ultraschallscansystems, um die Diagnoseergebnisse zu verbessern und die Beschwerden der Patienten bei der Frakturerkennung zu verringern. Um […]

Redirecting Clang’s MCDC Coverage Instrumentation to ARM CoreSight: A High‑Performance, Hardware‑Backed Coverage Collection Framework

In Kooperation mit Coherent in Lübeck Warum das spannend ist Kontext & Ziel Heute wird Qualitätsprüfung bei Coherent in Lübeck noch manuell erledigt. Kommerzielle Tools gibt’s, aber ein erklärbarer In‑house‑Prototyp ermöglicht schnelleres Lernen, Kostenkontrolle und höhere Akzeptanz bei den Nutzer*innen. Ziel der Arbeit ist ein produktnaher Prototyp, der robust, nachvollziehbar und betreibbar ist. Leitfragen Datensatz […]

in Kooperation mit Coherent Lübeck Warum das spannend ist Kontext & Motivation Industrielaser erzeugen umfangreiche Telemetrie (Temperaturen, Ströme, Leistungen, Interlocks, Fehlercodes). Historische Felddaten und Burn‑in‑Tests sollen genutzt werden, um Ausfälle rechtzeitig vorherzusagen, Ursachen schneller einzugrenzen und Wartung präventiv zu planen. Leitfragen Datensatz Mögliche Aufgaben Ergebnisse

AI‑Enhanced Formal‑Methods‑as‑a‑Service: Designing, Implementing, and Evaluating an MCP‑Based Backend that Powers a VS Code Copilot Extension for Automated Program Analysis and Verification.

FPGA‑Based Quantum‑Computer Simulator with a Web‑Based Design‑Run‑Analyse Front‑End

Mapping the European AI HLEG Trustworthiness Framework to Formal Methods

Motivation In incidents involving a mass accumulation of victims — such as natural disasters — human rescue personnel are a scarce resource, and rescuers may put themselves at risk when reaching victims in hazardous environments, such as partially collapsed buildings. As a result, victims may not receive help in time. Rescue robotics aims to close […]