Jonas Krook

Doktorand vid Chalmers, Elektroteknik, System- och reglerteknik, Automation

Jonas Krook är industridoktorand i forskargruppen Automation. I sin forskning fokuserar han på att applicera formella metoder på självkörande fordon. Målet med forskningen är att kunna generera logiska övervakare vars korrekthet kan bevisas. Forskningen finansieras av Wallenberg Autonomous Systems and Software Program (WASP).

Källa: chalmers.se

Visar 2 publikationer

2019

Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle

Jonas Krook, Lars Svensson, Yuchao Li et al
, p. 5607-5613
Paper i proceeding
2018

Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle

Jonas Krook, Roozbeh Kianfar, Anton Zita et al
IFAC-PapersOnLine. Vol. 51 (7), p. 133-138
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Jonas Krook medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.