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:
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.