Publications

OBS! I changed my lastname to Ahlberg from Andersson in August of 2018.

1. Mixed-Initiative Control Synthesis: Estimating an Unknown Task Based on Human Control Input ,
   Sofie Ahlberg, and Dimos V. Dimarogonas, 3rd IFAC Workshop on Cyber-Physical & Human Systems (CPHS) 2020
2. Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications ,
   Sofie Ahlberg, Licentiate thesis in Electrical Engineering, KTH Royal Institute of Technology, 2019
3. Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Hard and Soft Metric Interval Temporal Logic Specifications ,
   Sofie Ahlberg, and Dimos V. Dimarogonas, IEEE International Conference on Automation Science and Engineering (CASE) 2019
4. Human-in-the-Loop Mixed-Initiative Control under Temporal Tasks ,
   Meng Guo, Sofie Andersson, and Dimos V. Dimarogonas, IEEE International Conference on Robotics and Automation (ICRA) 2018
5. Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic ,
   Sofie Andersson, and Dimos V. Dimarogonas, European Control Conference (ECC) 2018
6. Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications ,
   Sofie Andersson, Alexandros Nikou, and Dimos V. Dimarogonas, 20th World Congress of the International Federation of Automatic Control (IFAC WC) 2017
7. Automatic Control Design Synthesis under Metric Interval Temporal Logic Specifications ,
   Sofie Andersson, Master Thesis in Electrical Engineering, KTH Royal Institute of Technology, 2016
8. Brain Activity and Healthcare in the Smart Home ,
   Sofie Andersson, and Hannes Carlsson, Bachelor Thesis in Engineering Physics, KTH Royal Institute of Technology, 2014

Degrees

My completed studies has awarded me with the following degrees:

1. Licentiate Degree (Licentiatexamen), 2019
   Electrical Engineering (Elektro- och Systemteknik)
2. Master of Science in Engineering Degree (Civilingenjörsexamen), 2016
   Engineering Physics (Teknisk Fysik)
3. Master of Science Degree (Teknologie Masterexamen), 2016
   System Control and Robotics (Systemteknik och Robotik)
4. Bachelor of Science Degree (Teknologie Kandidatexamen), 2014
   Engineering Physics (Teknisk Fysik)