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 4 publikationer

2019

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

Jonas Krook, Lars Svensson, Yuchao Li et al
2019 International Conference on Robotics and Automation (ICRA), p. 5607-5613
Paper i proceeding
2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control

Zahra Ramezani, Jonas Krook, Zhennan Fei et al
2019 18TH EUROPEAN CONTROL CONFERENCE (ECC), p. 1752-1759
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.