From a17ec1bfa5041cc1293da4f939d568e633e7deed Mon Sep 17 00:00:00 2001
From: Tim Rheinfels <tim.rheinfels@posteo.net>
Date: Tue, 1 Aug 2023 11:03:55 +0200
Subject: [PATCH] README, doc: update reference to paper
---
README.md | 2 +-
doc/references.bib | 5 ++---
2 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/README.md b/README.md
index de0ea7a..86c5003 100644
--- a/README.md
+++ b/README.md
@@ -71,7 +71,7 @@ The sources packaged here are distributed under the GPLv3 license, see COPYING.
## Literature
-[1] Tim Rheinfels, Maximilian Gaukler, and Peter Ulbrich: "A New Perspective on Criticality: Efficient State Abstraction and Runtime Monitoring of Mixed-Criticality Real-time Control Systems". ECRTS'23. DOI: 10.4230/LIPIcs.ECRTS.2023.16.
+[1] Tim Rheinfels, Maximilian Gaukler, and Peter Ulbrich: "A New Perspective on Criticality: Efficient State Abstraction and Runtime Monitoring of Mixed-Criticality Real-time Control Systems". ECRTS'23. DOI: 10.4230/LIPIcs.ECRTS.2023.11.
[2] Monia Dkhil et al.: "Interval Estimation for Discrete-Time Switched Linear Systems Based on $L_\infty$ Observer and Ellipsoid Analysis". IEEE Control Systems Letters, 5(1):13-–18, 2021.
diff --git a/doc/references.bib b/doc/references.bib
index 0fd73af..adf5f5c 100644
--- a/doc/references.bib
+++ b/doc/references.bib
@@ -3,9 +3,8 @@
title = {{A New Perspective on Criticality: Efficient State Abstraction and Runtime Monitoring of Mixed-Criticality Real-time Control Systems}},
booktitle = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
year = {2023},
- doi = {10.4230/LIPIcs.ECRTS.2023.16},
- pages = {t.b.d.},
- notes = {Accepted},
+ doi = {10.4230/LIPIcs.ECRTS.2023.11},
+ pages = {11:1--11:26},
}
@article{CSS21-Dkhil,
--
GitLab