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)

2 Paper in conference proceeding
1 Preface to conference proceeding
1 Article

2 results

Filter

2019
Model Checking a Self-Adaptive Camera Network with Physical Disturbances
Nayak Seetanadi, G., Årzén, K.-E. & Maggio, M., 2019, IEEE International Conference on Autonomic Computing. IEEE - Institute of Electrical and Electronics Engineers Inc., p. 95-104 8831206
Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

Open Access
File
312 Downloads (Pure)
2018
Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks
Nayak Seetanadi, G., Maggio, M., Årzén, K.-E., Almeida, L. & Camara, J., 2018 Jan 31, IEEE Real-Time Systems Symposium (RTSS) . IEEE - Institute of Electrical and Electronics Engineers Inc., p. 243-254 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

Open Access
File
279 Downloads (Pure)