News

ADAPT: Modeling and Analyzing Software Adaptation

ADAPT Oberseminar will be held on weekly basis (on Tuesdays) in room B233 at 17:30. If you think that your work might be related to ADAPT project activity and you would like to give a talk at ADAPT Oberseminar, please, send an email with the title and short abstract to adapt@uni-koblenz.de.

News are also available on Twitter :  twitter.com/ADAPT_KO

22.07.2009

ADAPT Oberseminar announces a summer pause until September.

21.07.2009

ADAPT Oberseminar in room B233, 17:30. Dr. Ansgar Scherp with talk "A Formal Model of Events Based on the Foundational Ontology DOLCE+DnS Ultralight". (Slides)

Abstract: The lack of a formal event model hinders interoperability in distributed event-based systems. Consequently, we present in this talk a formal model of events, called F. The model bases on an upper-level ontology and provides comprehensive support for all aspects of events such as time and space, objects and persons involved, as well as the structural aspects, namely mereological, causal, and correlational relationships. The event model provides a flexible means for event composition, modeling of event causality and correlation, and allows for representing different interpretations of the same event. The foundational event model F is developed in a pattern-oriente approach, modularized in different ontologies, and can be easily extended by domain specific ontologies. 

16.06.2009

 ADAPT Oberseminar in room B233, 17:30. Dipl.-Inform. Johannes Pellenz with talk "Stable Mapping Using a Hyper Particle Filter". (Slides)

Abstract: In this talk, we present a Hyper Particle Filter (HPF) -- a Particle Filter of Particle Filters -- for solving the SLAM (Simultaneous Localization and Mapping) problem in unstructured environments. Each particle of the HPF contains a standard localization Particle Filter (with a map and a set particles, that model the belief of the robot pose in this particular map). To measure the weight of a particle in the HPF, we developed two map quality measures that can be calculated automatically and do not rely on a ground truth map: The first map quality measure determines the contrast of the occupancy map, the second determines the distribution of the orientation of wall pixels. Using the two measures, broken maps can automatically be detected. The corresponding particle is then more likely to be replaced by a particle with a better map within the HPF. We implemented the approach on our robot ``Robbie 12'', which was used in the RoboCup Rescue league in 2009. We tested the HPF using the log files from last years RoboCup Rescue autonomy final, and with new data of a larger building. The quality of the generated maps outperformed our last years (league's best) maps. With the data acquired in the larger structure, Robbie was able to close loops in the map. Due to a highly efficient implementation, the algorithm still runs online during the autonomous exploration.

09.06.2009

ADAPT Oberseminar in room B233, 17:30. Tobias Walter and Fernando Silva Parreiras with talk "OntoDSL: An Ontology-Based Framework for Domain-Specific Languages". (Slides)

26.05.2009

ADAPT Oberseminar in room B233, 17:30. Ulf Lotzmann with talk "Simulation with Normative Agents". (Slides)

12.05.2009

ADAPT Oberseminar in room B233, 17:30. Ekaterina Pek with talk "Enforcement of Privacy Preferences in WebService Architectures".

05.05.2009

ADAPT Oberseminar in room B233, 17:30. Christoph Ringelstein with talk "DIALOG: Distributed Auditing Logs". (Slides)

28.04.2009

ADAPT Oberseminar in room B233, 17:30. Christian Schwarz with talk "Hybrid Automata as an Approach to Model and Check Software Adaptation".

25.06.2008 

Press release (in German) by the government of Rhineland Palatinate on the launch of its Research Initiative 2008-2011, as part of which the Research Focus ADAPT is funded.

A brochure (in German) on the Research Initiative is available as well : PDF (4.6 MB)

07.07.2008

We are hiring ! One post-doc and one PhD position are available in ADAPT. (Positions were closed in January 2009).