HTML Export for LITES, Volume 8, Issue 2

Copy to Clipboard Download

<h2>Leibniz Transactions on Embedded Systems, Volume 8, Issue 2, </h2>
<ul>
<li>
    <span class="title">LITES, Volume 8, Issue 2</span>
    <a class="doi" href="https://doi.org/10.4230/LITES-v008-i002">10.4230/LITES-v008-i002</a>
</li>
<li>
    <span class="authors">Alessandro Abate, Uli Fahrenberg, and Martin Fränzle</span>
    <span class="title">Introduction to the Special Issue on Distributed Hybrid Systems</span>
    <a class="doi" href="https://doi.org/10.4230/LITES.8.2.0">10.4230/LITES.8.2.0</a>
</li>
<li>
    <span class="authors">Arvind Adimoolam and Thao Dang</span>
    <span class="title">Safety Verification of Networked Control Systems by Complex Zonotopes</span>
    <a class="doi" href="https://doi.org/10.4230/LITES.8.2.1">10.4230/LITES.8.2.1</a>
</li>
<li>
    <span class="authors">Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, and Xavier Urbain</span>
    <span class="title">Swarms of Mobile Robots: Towards Versatility with Safety</span>
    <a class="doi" href="https://doi.org/10.4230/LITES.8.2.2">10.4230/LITES.8.2.2</a>
</li>
<li>
    <span class="authors">Uli Fahrenberg</span>
    <span class="title">Higher-Dimensional Timed and Hybrid Automata</span>
    <a class="doi" href="https://doi.org/10.4230/LITES.8.2.3">10.4230/LITES.8.2.3</a>
</li>
<li>
    <span class="authors">Eduard Kamburjan, Stefan Mitsch, and Reiner Hähnle</span>
    <span class="title">A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems</span>
    <a class="doi" href="https://doi.org/10.4230/LITES.8.2.4">10.4230/LITES.8.2.4</a>
</li>
<li>
    <span class="authors">Paul Kröger and Martin Fränzle</span>
    <span class="title">Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation</span>
    <a class="doi" href="https://doi.org/10.4230/LITES.8.2.5">10.4230/LITES.8.2.5</a>
</li>
<li>
    <span class="authors">Ameneh Nejati and Majid Zamani</span>
    <span class="title">From Dissipativity Theory to Compositional Construction of Control Barrier Certificates</span>
    <a class="doi" href="https://doi.org/10.4230/LITES.8.2.6">10.4230/LITES.8.2.6</a>
</li>
<li>
    <span class="authors">Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, and Taylor T. Johnson</span>
    <span class="title">Real-Time Verification for Distributed Cyber-Physical Systems</span>
    <a class="doi" href="https://doi.org/10.4230/LITES.8.2.7">10.4230/LITES.8.2.7</a>
</li>
</ul>

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