Abgeschlossene Arbeiten

2024

• Bachelorarbeit: Optimization of Analog Neural Network Architectures (Nikola Jovin)
• Bachelorarbeit:  Erkennung und Robustheitsoptimierung von Defekten in analogen neuronalen Netzen (Viola Rüdele)
• Bachelorarbeit:  Effiziente Algorithmen zur Berechnung der Slew-Rate in Zustandsräumen von analogen Schaltungen (Felix Landsiedel)
• Bachelorarbeit:  Vergleich der Reichweite von Elektrofahrrädern mit und ohne Rekuperationsschaltung von Simulationen auf GPS-Tracks (Florian Brohm)
• Bachelorarbeit: Automatische Berechnung und Überwachung gültiger Zustandsraumregionen in analogen Verhaltensmodellen
• Bachelorarbeit: Structure and energy optimization of neural network architectures for accurate and efficient ECG classification (Grigor Zafirov)

2023

• Masterarbeit: Recuperation and Driving Mode Controller for a Self-Driving E-Bike (Jülide Ihtiyar)
• Masterarbeit: Layoutsynthese für energiesparende, analoge neuronale Netze (Lucas Hammer)
• Bachelorarbeit: Entwurf einer Steuerung für ein selbstbalancierendes Fahrrad (Jonah Zander)

2022

• Bachelorarbeit: Auf dem Weg zum selbstfahrenden Fahrrad: Analyse und Umsetzung einer Balance-Regelung
• Bachelorarbeit: Fehleranalyse und Vergleich energieeffizienter, analoger neuronaler
  Netz-Hardware mit ihrem KI-Referenzmodell
• Masterarbeit: Modellierung von analogen neuronalen Netzen mittels
  Ordnungsreduktionsverfahren basierend auf Krylov-Subspace-
  Methoden (Eric Hanssen)

2021

• Bachelorarbeit: „How to make a Bicycle (not) Fall- Implementing a Steering
  Control for a Self-Balancing Bicycle“ (Anna Ranz)
• Masterarbeit: Automated Creation of Convolutional Neural Networks as Energy-Efficient Analog Integrated Circuits (Florian Aul)
• Bachelorarbeit: Direkte, defektorientierte Testerzeugung für analoge Schaltungen
• Bachelorarbeit: Layoutentwurf für Mixed-Signal-Komponenten neuronaler Netze unter Berücksichtigung des Energieverbrauchs und einer  automatischen Anordnung
  
  

2020

• Bachelorarbeit: Layout Synthesis for Analog Convolutional Neural Networks (Lukas Arne Krischker)
• Bachelorarbeit: CTL-A Monitor Generator für SystemC-AMS mit affinen Formen
• Bachelorarbeit: State Space Coverage für Hybride Systeme und Spice-Netzlisten unter Verwendung von Polytopen (Shayan Naderi)
• Masterarbeit: Modellierung und Verifikation der Alterungseffekte
  von Batterien im Fahrzeugeinsatz mittels hybriden Automaten (Fabian Knöller)
• Masterarbeit: Autonomous Steering of an Electric Bicycle Based on sensor Fusion using Model Predictive Control (Alex Hunziker)
• Masterarbeit: Modellierung und Verifikation einer agentenbasierten Auftragsauktion für autonome Mobilität (Marcus Klötzl)

2019

• Masterarbeit: Formale Abstraktion und Verifikation von Analog mixed signal Schaltungen in SystemC AMS (Robert Piper)

• Bachelorarbeit: Design and Optimization of Cluster Algrorithms in Matlab (Dominik Kehm)

• Bachelorarbeit: Dynamic Stabilisation of the Kick-Motion for Soccer Playing Humanoid Robots Based on Center of Mass Calculations (Benedikt Hahner)

• Bachelorarbeit: Entwurf und Simulation eines teilautonomen Fahrzeugmodells mit Assistenzsystem (Simon Grasemann)

• Bachelorarbeit: Direktionale Pfifferkennung zur Ortung des Schiedsrichters im Roboterfußball (Jonas Dehen)

2018

• Bachelorarbeit: Modellbildung, Simulation und Entwurf eines Systems für das autonome Fahren.

• Bachelorarbeit: Inkrementelle Synthese von Operationsverstärkern durch Basisblockaustausch.

• Bachelorarbeit: Dimensionierung analoger Schaltungen mittels geometrischer Programmierung.

• Masterarbeit: Objekterkennung mit Unterstützung eine plattformunabhängiger  Software-Sicht.

• Masterarbeit: High Level Symbolic Analysis of Analog Systems. (Philipp Tertel)

• Bachelorarbeit: Validierung und formale Verifikation einer Multi-Projekt integrierten Schaltung.

2017

• Bachelorarbeit: Hierarchische Dimensionierung analoger Schaltungen.

• Bachelorarbeit: Entwurf und Implementierung einer Platine zur Steuerung und Regelung eines linienfolgenden Roboters.

• Bachelorarbeit: Skalierbares und selbst organisiertes Anzeigesystem auf Basis von Raspberry PIs.

• Bachelorarbeit: Design und Aufbau eines Contact Center Prototyp Systems sowie Regressionstests zwischen der VoIP Plattform der DB und dem Prototypsystem.

• Bachelorarbeit: NAO Body Control and Motivation Framework for RoboCup.

2016

• Masterarbeit: Implementation and Defination of a Coverag Metric for VerilogA using Public Domain Analog Circuit Simulator.

• Bachelorarbeit: Spezifikationsabhängige Kategorisierung der Struktur analoger Schaltungen mittels eines Multilayer Perceptrons mit Backpropagation.

• Bachelorarbeit: An FPGA-Based Real-Time-Simulator for Analog Signal Processing. (Philipp Tertel)

• Masterarbeit: Formale Verifikation analoger Systeme unter Berücksichtigung der Slew Rate.

• Bachelorarbeit: Modelchecking von Analog/Mixed-Signal Schaltungen. (Robert Piper)

• Bachelorarbeit: Ortung einer sinusförmigen Schallquelles mithilfe eines Mikrocontrollers. (Melanie Brinkschulte)

2015

• Bachelorarbeit: Automatisierte Dimensionierung von analogen Schaltungen mittels einer nichtlinearen Optimierungsbibliothek.

• Bachelorarbeit: Klassifizierung von analogen Schaltungen mittels Subgraph-Isomorphie. (Anna Reckers)

• Masterarbeit: Untersuchung alternativer Methoden zur Messung der Apex-Distanz und Umsetzung einer prototypischen Lösung.

• Masterarbeit: Kräfte-basierte Platzierungsalgorithmus für hierarchische Schaltungen.

• Masterarbeit: Development and Commissioning of a CBMNet Bridge for the FPGA-based TRB3 Data Acquisition Platform. (Manuel Penschuk)

• Bachelorarbeit: Coverageberechnung von Mixed-Signal Schaltungen.

2013

• Bachelorarbeit: Modellhafter Entwurf von memristiven Systemen in analogen Schaltungen.

• Diplomarbeit: Entwurf und Realisierung eines Frameworks zur Bewegungsplanung eines humanoiden Roboters.

• Diplomarbeit: Linienbasierte Featuredetektion und Positionstracking durch Voronoi-Diagramme in einer symmetrischen Umgebung.

• Diplomarbeit: Effiziente Optimierung von Designparametern analoger Schaltungen unter Nebenbedingungen.

• Diplomarbeit: Simulationsbasierter Entwurf eines Demonstrators zur hormongesteuerten, dezentralen Verteilung und zuverlässigen Bearbeitung von Regelungsaufgaben.

• Diplomarbeit: Universelle Kontrolle und Überwachung einer AR.Drone 2.0 auf Basis eines offenen und erweiterten Toolkits.

• Masterarbeit: Zeiteffiziente Untersuchung vielzähliger Schaltungen mittels semi-symbolischer Analyse.

2012

• Bachelorarbeit: Dynamikanalyse im Zustandsraum analoger Schaltungen.

• Bachelorarbeit: Entwurf eines zuverlässigen Bussystems für eine Signal-basierte Aufgabenzuweisung eingebetteter analoger Mehrkern-Systeme.

• Bachelorarbeit: Zuverlässige Mixed-Signal Aufgabenzuweisung für eingebettete Mehrkernsysteme.

• Diplomarbeit: Simulation von Verilog-AMS-Modellen.

2011

• Diplomarbeit:Effiziente Isomorphieprüfung von analogen Schaltungen.

• Diplomarbeit: GUI-gestützte Generierung von XML-Spezifikationen analoger Schaltungen aus XSD-Templates.

• Diplomarbeit: GUI-gestützte Integration der ASDeX-Spezifikationsbeschreibung in eine Validations-Methodik.

• Bachelorarbeit: Echtzeitregelung eines Modellhubschraubers unter Zuhilfenahme von Augmented Reality Konzepten. 

2010

• Diplomarbeit: Automatische Adaption von Verhaltensmodellen an eine Schaltungssimulator.

• Diplomarbeit: Parallelisierung von Verifikationsalgorithmen analoger Schaltungen. (Oliver Brauner)

• Diplomarbeit: Konzepte zur symbolischen Zustandsraumdiskretisierung für die verifikationsgerechte Modellierung analoger Schaltungen. 

• Diplomarbeit: Coverage-Metriken für die Verifikation analoger Schaltungen. 

• Masterarbeit: Spezifikationsgesteuerte Abstraktionsverfeinerung für die formale Verifikation analoger Schaltungen. (Julius von Rosen)

2009

• Diplomarbeit: Development of a System for Parametric Analysis of Semiconductor Simulations. (Markus Meissner)

• Diplomarbeit: Entwicklung eines grafischen Frontends zur Auswertung und Visualisierung von mehrdimensionalen Performanzen analoger Schaltungsstrukturen. (Matthias Heinz)

• Diplomarbeit: Algorithmische Funktionsanalyse in Magnetventilen.

2008

• Diplomarbeit: Deployment of Low-Level Sensor/Actor for Security analysis

• Bachelorarbeit: Fehlermaße für den Vergleich von Signalen im simulationsbasierten Äquivalenzvergleich analoger Schaltungen. (Julius von Rosen)

• Bachelorarbeit: Heuristiken für das Optimierungsproblem einer vollständigen graphbasierten Traversierung des Zustandsraums in der formalen Verifikation analoger Schaltungen. (Jörg Dallmeyer)

• Diplomarbeit: Symbolische MTBDD-basierte Abstraktionsmethoden für das Model Checking von Mixed-Signal-Schaltungen.

2007

• Diplomarbeit: Entwicklung eines grafischen Frontends zur Visualisierung mehrdimensionaler Zustandsräume analoger Schaltungen.

2006

• Diplomarbeit: Modellierung von gemischt analog-digitaler Schaltungen mittels Hybrider Petri Netze. 

2005

• Diplomarbeit: Entwicklung einer Spezifikationssprache für das Modelchecking von Mixed-Signal-Systemen. (Sebastian Steinhorst)

• Diplomarbeit: Untersuchung von Konzepten zum Modelchecking von Mixed-Signal-Schaltungen.