Sicherheitsbewertung von (autonomen) Verhaltensentscheidungen durch Methoden der hybriden Verifikation (B07)

• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
• Term: from 2006 to 2010
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 13634853

Im Fokus des Teilprojekts steht die Entwicklung von Methoden bzw. eines Echtzeit-Software-Toolszur Sicherheitsbewertung von autonomen oder semi-autonomen Verhaltensentscheidungen eines KognitivenAutomobils. Ein solches Sicherheitsmodul könnte als überwachender Co-Pilot bezeichnet werden,der seine Zustimmung bei kritischen Fahrmanövern geben sollte. Als methodischer Ansatz wirdauf Verifikationsmethoden für hybride (ereignisdiskret-kontinuierliche) dynamische Systeme aufgebaut.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 28: Cognitive Automobiles
• Applicant Institution: Karlsruher Institut für Technologie (KIT) ; Campus Süd (aufgelöst)
• Co-Applicant Institution: Technische Universität München (TUM)
• Project Head: Professor Dr.-Ing. Martin Buss