Jonas Krook

Doktorand vid 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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

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.