Abgeschlossene Arbeiten

 

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 

 

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.