3 Search Results for "Kühne, Ulrich"

Document
DOI: 10.4230/DagRep.7.12.18
Multi-Level Modelling (Dagstuhl Seminar 17492)

Authors: João Paulo A. Almeida, Ulrich Frank, and Thomas Kühne

Published in: Dagstuhl Reports, Volume 7, Issue 12 (2018)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17492 "Multi-Level Modelling". This seminar brought together researchers and industry practitioners from the fields of conceptual modeling, ontologies, and formal foundations to discuss and share the benefits of Multi-Level Modelling (MLM), to develop an agreement on MLM terminology and scope, and to drive future research directions in MLM. Some foundational presentations were given by the seminar organizers to ground the discussions and provide an initial set of open questions which would lead to the formation of the working groups. In addition, six industry representatives gave talks explaining the needs, challenges, utility, and possible issues with adoption of MLM in industry. Based on the original seminar goals, the talks, and the resulting discussions, four working groups were established to investigate: the formal and ontological "Foundations"of MLM; promising "Applications" and potential evaluation criteria for MLM methods; the "Dynamic Aspects" of MLM, such as processes and behaviour; and, the use of and impact on "Model Transformations" in the context of MLM.
Cite as

João Paulo A. Almeida, Ulrich Frank, and Thomas Kühne. Multi-Level Modelling (Dagstuhl Seminar 17492). In Dagstuhl Reports, Volume 7, Issue 12, pp. 18-49, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@Article{almeida_et_al:DagRep.7.12.18,
  author =	{Almeida, Jo\~{a}o Paulo A. and Frank, Ulrich and K\"{u}hne, Thomas},
  title =	{{Multi-Level Modelling (Dagstuhl Seminar 17492)}},
  pages =	{18--49},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  editor =	{Almeida, Jo\~{a}o Paulo A. and Frank, Ulrich and K\"{u}hne, Thomas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.7.12.18},
  URN =		{urn:nbn:de:0030-drops-86758},
  doi =		{10.4230/DagRep.7.12.18},
  annote =	{Keywords: metamodeling, multi-level modeling}
}
Document
DOI: 10.4230/OASIcs.SynCoP.2015.48
Game-based Synthesis of Distributed Controllers for Sampled Switched Systems

Authors: Laurent Fribourg, Ulrich Kühne, and Nicolas Markey

Published in: OASIcs, Volume 44, 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) (2015)

Abstract
Switched systems are a convenient formalism for modeling physical processes interacting with a digital controller. Unfortunately, the formalism does not capture the distributed nature encountered e.g. in cyber-physical systems, which are organized as networks of elements interacting with local controllers. Most current methods for control synthesis can only produce a centralized controller, which is assumed to have complete knowledge of all the component states and can interact with all of them. In this paper, we consider a centralized-controller synthesis technique based on state-space decomposition, and use a game-based approach to extend it to a distributed framework.
Cite as

Laurent Fribourg, Ulrich Kühne, and Nicolas Markey. Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 48-62, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@InProceedings{fribourg_et_al:OASIcs.SynCoP.2015.48,
  author =	{Fribourg, Laurent and K\"{u}hne, Ulrich and Markey, Nicolas},
  title =	{{Game-based Synthesis of Distributed Controllers for Sampled Switched Systems}},
  booktitle =	{2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)},
  pages =	{48--62},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-82-8},
  ISSN =	{2190-6807},
  year =	{2015},
  volume =	{44},
  editor =	{Andr\'{e}, \'{E}tienne and Frehse, Goran},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.48},
  URN =		{urn:nbn:de:0030-drops-56091},
  doi =		{10.4230/OASIcs.SynCoP.2015.48},
  annote =	{Keywords: Cyber-physical systems, controller synthesis, games, robustness, partial observation}
}
Document
DOI: 10.4230/OASIcs.FSFMA.2013.53
Constructing Attractors of Nonlinear Dynamical Systems

Authors: Laurent Fribourg, Ulrich Kühne, and Romain Soulat

Published in: OASIcs, Volume 31, 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)

Abstract
In a previous work, we have shown how to generate attractor sets of affine hybrid systems using a method of state space decomposition. We show here how to adapt the method to polynomial dynamics systems by approximating them as switched affine systems. We show the practical interest of the method on standard examples of the literature.
Cite as

Laurent Fribourg, Ulrich Kühne, and Romain Soulat. Constructing Attractors of Nonlinear Dynamical Systems. In 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). Open Access Series in Informatics (OASIcs), Volume 31, pp. 53-60, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{fribourg_et_al:OASIcs.FSFMA.2013.53,
  author =	{Fribourg, Laurent and K\"{u}hne, Ulrich and Soulat, Romain},
  title =	{{Constructing Attractors of Nonlinear Dynamical Systems}},
  booktitle =	{1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
  pages =	{53--60},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-56-9},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{31},
  editor =	{Choppy, Christine and Sun, Jun},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FSFMA.2013.53},
  URN =		{urn:nbn:de:0030-drops-40885},
  doi =		{10.4230/OASIcs.FSFMA.2013.53},
  annote =	{Keywords: Control theory, Hybrid Systems, Nonlinear dynamical systems}
}
  • Refine by Author
  • 2 Fribourg, Laurent
  • 2 Kühne, Ulrich
  • 1 Almeida, João Paulo A.
  • 1 Frank, Ulrich
  • 1 Kühne, Thomas
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 1 Control theory
  • 1 Cyber-physical systems
  • 1 Hybrid Systems
  • 1 Nonlinear dynamical systems
  • 1 controller synthesis
  • Show More...

  • Refine by Type
  • 3 document

  • Refine by Publication Year
  • 1 2013
  • 1 2015
  • 1 2018

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