Improving Performance of Feedback-Based Real-Time Networks using Model Checking and Reinforcement Learning

Gautham Nayak Seetanadi

Research output: Thesis › Doctoral Thesis (compilation)

704 Downloads (Pure)

Finished

Feedback Computing in Cyber-Physical Systems
Årzén, K.-E. (Researcher), Eker, J. (Researcher), Maggio, M. (Researcher), Millnert, V. (Researcher), Nayak Seetanadi, G. (Researcher) & Janneck, J. (Researcher)
2015/01/01 → 2018/12/31
Project: Research
ELLIIT LU P02: Co-Design of Robust and Secure Networked Embedded Control Systems
Cervin, A. (PI), Årzén, K.-E. (Researcher), Maggio, M. (Researcher), Vreman, N. (Research student), Xu, Y. (Research student), Bini, E. (Researcher), Nayak Seetanadi, G. (Researcher), Thelander Andrén, M. (Researcher), Pazzaglia, P. (Researcher), Peng, Z. (Researcher), Eles, P. (Researcher), Mahfouzi, R. (Researcher), Samii, S. (Researcher) & Aminifar, A. (Researcher)
2010/01/01 → 2020/01/31
Project: Research

Projects