@Article{LITES-v008-i002,
title = {{LITES, Volume 8, Issue 2}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {1--180},
ISSN = {2199-2002},
year = {2022},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v008-i002},
doi = {10.4230/LITES-v008-i002},
annote = {Keywords: LITES, Volume 8, Issue 2}
}
@Article{abate_et_al:LITES.8.2.0,
author = {Abate, Alessandro and Fahrenberg, Uli and Fr\"{a}nzle, Martin},
title = {{Introduction to the Special Issue on Distributed Hybrid Systems}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {00:1--00:3},
ISSN = {2199-2002},
year = {2022},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.0},
doi = {10.4230/LITES.8.2.0},
annote = {Keywords: Distributed hybrid systems}
}
@Article{adimoolam_et_al:LITES.8.2.1,
author = {Adimoolam, Arvind and Dang, Thao},
title = {{Safety Verification of Networked Control Systems by Complex Zonotopes}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {01:1--01:22},
ISSN = {2199-2002},
year = {2022},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.1},
doi = {10.4230/LITES.8.2.1},
annote = {Keywords: Safety Verification, Networked Control System, Reachability Analysis, Complex Zonotope}
}
@Article{courtieu_et_al:LITES.8.2.2,
author = {Courtieu, Pierre and Rieg, Lionel and Tixeuil, S\'{e}bastien and Urbain, Xavier},
title = {{Swarms of Mobile Robots: Towards Versatility with Safety}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {02:1--02:36},
ISSN = {2199-2002},
year = {2022},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.2},
doi = {10.4230/LITES.8.2.2},
annote = {Keywords: distributed algorithm, mobile autonomous robots, formal proof}
}
@Article{fahrenberg:LITES.8.2.3,
author = {Fahrenberg, Uli},
title = {{Higher-Dimensional Timed and Hybrid Automata}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {03:1--03:16},
ISSN = {2199-2002},
year = {2022},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.3},
doi = {10.4230/LITES.8.2.3},
annote = {Keywords: timed automaton, higher-dimensional automaton, precubical set, real time, non-interleaving concurrency, hybrid automaton}
}
@Article{kamburjan_et_al:LITES.8.2.4,
author = {Kamburjan, Eduard and Mitsch, Stefan and H\"{a}hnle, Reiner},
title = {{A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {04:1--04:34},
ISSN = {2199-2002},
year = {2022},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.4},
doi = {10.4230/LITES.8.2.4},
annote = {Keywords: Active Objects, Differential Dynamic Logic, Hybrid Systems}
}
@Article{kroger_et_al:LITES.8.2.5,
author = {Kr\"{o}ger, Paul and Fr\"{a}nzle, Martin},
title = {{Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {05:1--05:27},
ISSN = {2199-2002},
year = {2022},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.5},
doi = {10.4230/LITES.8.2.5},
annote = {Keywords: }
}
@Article{nejati_et_al:LITES.8.2.6,
author = {Nejati, Ameneh and Zamani, Majid},
title = {{From Dissipativity Theory to Compositional Construction of Control Barrier Certificates}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {06:1--06:17},
ISSN = {2199-2002},
year = {2022},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.6},
doi = {10.4230/LITES.8.2.6},
annote = {Keywords: Compositional barrier certificates, Stochastic hybrid systems, Dissipativity theory, Large-scale networks, Formal controller synthesis}
}
@Article{tran_et_al:LITES.8.2.7,
author = {Tran, Hoang-Dung and Nguyen, Luan Viet and Musau, Patrick and Xiang, Weiming and Johnson, Taylor T.},
title = {{Real-Time Verification for Distributed Cyber-Physical Systems}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {07:1--07:19},
ISSN = {2199-2002},
year = {2022},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.7},
doi = {10.4230/LITES.8.2.7},
annote = {Keywords: Verification, Reachability Analysis, Distributed Cyber-Physical Systems}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing