9 citations · 20 across the 6 of their papers we have counts for
6 papers
Towards Adaptive Planning of Assistive-care Robot Tasks
Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu +1
This 'research preview' paper introduces an adaptive path planning framework for robotic mission execution in assistive-care applications. The framework provides a graph-based envi…
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
Gricel Vázquez, Radu Calinescu, Javier Cámara
We present a formal tasK AllocatioN and scheduling apprOAch for multi-robot missions (KANOA). KANOA supports two important types of task constraints: task ordering, which requires…
Towards Bridging the Gap between Control and Self-Adaptive System Properties
Javier Cámara, Alessandro V. Papadopoulos, Thomas Vogel +4
Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system's run-time behavior. On the one hand, contr…
Perpetual Assurances for Self-Adaptive Systems
Danny Weyns, Nelly Bencomo, Radu Calinescu +10
Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplet…
Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots
Pooyan Jamshidi, Javier Cámara, Bradley Schmerl +2
Modern cyber-physical systems (e.g., robotics systems) are typically composed of physical and software components, the characteristics of which are likely to change over time. Assu…
Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
Javier Cámara, José Proença
This volume contains the proceedings of FOCLASA 2014, the 13th International Workshop on the Foundations of Coordination Languages and Self-Adaptive Systems. FOCLASA 2014 was held…