Inhalt
zur Navigation
VeriCon
- © N/A
Strategische Entwicklung und Erweiterung des Verifizierungskontexts automatischer Personen- und Objektzählungssysteme
In diesem Projekt werden Systeme zur automatischen Fahrgastzählung (AFZ) im Regionalverkehr untersucht, erweitert und verifiziert. Neben der mathematischen Definition formaler Anforderungen an AFZ-Systeme liegt der Schwerpunkt bei der Entwicklung von Hardwareprototypen und neuer Algorithmen. Neue Lösungsansätze zur AFZ bieten Supervised Deep Learning und Neuronale Netze für Zeitserien.
Förderung: Das Projekt wird durch Mittel aus dem Europäischen Fonds für
Regionale Entwicklung finanziert.
| Laufzeit: | 01.05.2019 - 30.04.2021 |
| Projektpartner A: | Interautomation Deutschland GmbH |
| Projektpartner B: | Technische Universität Berlin Institut für Mathematik Straße des 17. Juni 136 10623 Berlin Sekretariat MA 6-4 Petra Grimberger Raum MA 674 Tel.: +49 30 314 - 25651 Fax.: +49 30 314 - 21110 |
| Projektpartner C: | Technische Universität Berlin Institut für Softwaretechnik und Theoretische Informatik Neuronale Informationsverarbeitung Marchstraße 23 10587 Berlin Sekretariat MAR 5-6 Camilla Groiß Raum MAR 5.042 Tel.: +49 30 314 - 73442 Fax.: +49 30 314 - 73121 |