3 Search Results for "Fajstrup, Lisbeth"

Document
Introduction
DOI: 10.4230/LITES.8.2.0
Introduction to the Special Issue on Distributed Hybrid Systems

Authors: Alessandro Abate, Uli Fahrenberg, and Martin Fränzle

Published in: LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2

Abstract
This special issue contains seven papers within the broad subject of Distributed Hybrid Systems, that is, systems combining hybrid discrete-continuous state spaces with elements of concurrency and logical or spatial distribution. It follows up on several workshops on the same theme which were held between 2017 and 2019 and organized by the editors of this volume. The first of these workshops was held in Aalborg, Denmark, in August 2017 and associated with the MFCS conference. It featured invited talks by Alessandro Abate, Martin Fränzle, Kim G. Larsen, Martin Raussen, and Rafael Wisniewski. The second workshop was held in Palaiseau, France, in July 2018, with invited talks by Luc Jaulin, Thao Dang, Lisbeth Fajstrup, Emmanuel Ledinot, and André Platzer. The third workshop was held in Amsterdam, The Netherlands, in August 2019, associated with the CONCUR conference. It featured a special theme on distributed robotics and had invited talks by Majid Zamani, Hervé de Forges, and Xavier Urbain. The vision and purpose of the DHS workshops was to connect researchers working in real-time systems, hybrid systems, control theory, formal verification, distributed computing, and concurrency theory, in order to advance the subject of distributed hybrid systems. Such systems are abundant and often safety-critical, but ensuring their correct functioning can in general be challenging. The investigation of their dynamics by analysis tools from the aforementioned domains remains fragmentary, providing the rationale behind the workshops: it was conceived that convergence and interaction of theories, methods, and tools from these different areas was needed in order to advance the subject.
Cite as

LITES, Volume 8, Issue 2: Special Issue on Distributed Hybrid Systems, pp. 0:i-0:iii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@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-dev.dagstuhl.de/entities/document/10.4230/LITES.8.2.0},
  doi =		{10.4230/LITES.8.2.0},
  annote =	{Keywords: Distributed hybrid systems}
}
Document
DOI: 10.4230/DagRep.2.3.50
Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121)

Authors: Lisbeth Fajstrup, Dmitry Feichtner-Kozlov, and Maurice Herlihy

Published in: Dagstuhl Reports, Volume 2, Issue 3 (2012)

Abstract
This report documents the program of Dagstuhl Seminar 12121 "Applications of Combinatorial Topology to Computer Science". The seminar brought together researchers working on applications of combinatorial topology to various fields of computer science. The goal was to foster communication across these fields by providing researchers in each field the opportunity to explain their research programs to the others. The fields covered included distributed computing, persistent homology, semantics of concurrency, and sensor networks.
Cite as

Lisbeth Fajstrup, Dmitry Feichtner-Kozlov, and Maurice Herlihy. Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121). In Dagstuhl Reports, Volume 2, Issue 3, pp. 50-66, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Article{fajstrup_et_al:DagRep.2.3.50,
  author =	{Fajstrup, Lisbeth and Feichtner-Kozlov, Dmitry and Herlihy, Maurice},
  title =	{{Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121)}},
  pages =	{50--66},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{3},
  editor =	{Fajstrup, Lisbeth and Feichtner-Kozlov, Dmitry and Herlihy, Maurice},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.3.50},
  URN =		{urn:nbn:de:0030-drops-35363},
  doi =		{10.4230/DagRep.2.3.50},
  annote =	{Keywords: Combinatorial topology, Distributed computing, Persistent homology, Program semantics, Sensor networks}
}
Document
DOI: 10.4230/DagSemProc.04351.13
Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again

Authors: Lisbeth Fajstrup

Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)

Abstract
The geometric models of concurrency - Dijkstra's PV-models and V. Pratt's Higher Dimensional Automata - rely on a translation of discrete or algebraic information to geometry. In both these cases, the translation is the geometric realisation of a semi cubical complex, which is then a locally partially ordered space, an lpo space. The aim is to use the algebraic topology machinery, suitably adapted to the fact that there is a preferred time direction. Then the results - for instance dihomotopy classes of dipaths, which model the number of inequivalent computations should be used on the discrete model and give the corresponding discrete objects. We prove that this is in fact the case for the models considered: Each dipath is dihomottopic to a combinatorial dipath and if two combinatorial dipaths are dihomotopic, then they are combinatorially equivalent. Moreover, the notions of dihomotopy (LF., E. Goubault, M. Raussen) and d-homotopy (M. Grandis) are proven to be equivalent for these models - hence the Van Kampen theorem is available for dihomotopy. Finally we give an idea of how many spaces have a local po-structure given by cubes. The answer is, that any cubicalized space has such a structure after at most one subdivision. In particular, all triangulable spaces have a cubical local po-structure.
Cite as

Lisbeth Fajstrup. Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{fajstrup:DagSemProc.04351.13,
  author =	{Fajstrup, Lisbeth},
  title =	{{Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again}},
  booktitle =	{Spatial Representation: Discrete vs. Continuous Computational Models},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4351},
  editor =	{Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.13},
  URN =		{urn:nbn:de:0030-drops-1328},
  doi =		{10.4230/DagSemProc.04351.13},
  annote =	{Keywords: Cubical Complex , Higher Dimensional Automaton , Ditopology}
}
  • Refine by Author
  • 2 Fajstrup, Lisbeth
  • 1 Abate, Alessandro
  • 1 Fahrenberg, Uli
  • 1 Feichtner-Kozlov, Dmitry
  • 1 Fränzle, Martin
  • Show More...

  • Refine by Classification
  • 1 Theory of computation → Self-organization

  • Refine by Keyword
  • 1 Combinatorial topology
  • 1 Cubical Complex
  • 1 Distributed computing
  • 1 Distributed hybrid systems
  • 1 Ditopology
  • Show More...

  • Refine by Type
  • 3 document

  • Refine by Publication Year
  • 1 2005
  • 1 2012
  • 1 2022

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact