Mobile robotics is a growing area of research, but the long-term deployment of such robots has had limited success. A major challenge in the field is that robotics software is often purpose built for a given robot, task, and environment. Adapting that software to accommodate even small changes in the robot’s hardware, mission, or ecosystem is difficult. At Carnegie Mellon University (CMU), CoBots have been assisting humans for the last seven plus years by escorting visitors, delivering messages, and carrying out other tasks. But getting these robots to perform as intended requires a good deal of human effort. So the CoBots remain mostly confined to the controlled environment of the Computer Science building.
Abstract:
We developed model-based adaptation, an approach that leverages models of software and its environment to enable automated adaptation. The goal of our approach is to buil...Show MoreMetadata
Abstract:
We developed model-based adaptation, an approach that leverages models of software and its environment to enable automated adaptation. The goal of our approach is to build long-lasting software systems that can effectively adapt to changes in their environment.
Published in: IEEE Software ( Volume: 36, Issue: 2, March-April 2019)
Funding Agency:
References is not available for this document.
Select All
1.
Models@run.time: Foundations Applications and Roadmaps, New York:Springer-Verlag, 2014.
2.
P. Jamshidi, N. Siegmund, M. Velez, C. Kästner, A. Patel and Y. Agarwal, "Transfer learning for performance modeling of configurable systems: An exploratory analysis", Proc. IEEE/ACM Int. Conf. Automated Software Engineering, pp. 497-508, 2011.
3.
J. Holtz, A. Guha and J. Biswas, "Interactive robot transition repair with SMT", Proc. Int. Joint Conf. Artificial Intelligence, pp. 4905-4911, 2018.
4.
M. Kwiatkowska, G. Norman and D. Parker, "PRISM 4.0: Verification of probabilistic real-time systems", Proc. Int. Conf. Computer Aided Verification, pp. 585-591, 2011.
5.
D. Melicher, Y. Shi, A. Potanin and J. Aldrich, "A capability-based module system for authority control", Proc. European Conf. Object-Oriented Programming, pp. 20:1-20:27, 2017.
6.
A. Mohseni-Kabir and M. Veloso, "Robot task interruption by learning to switch among multiple models", Proc. Int. Joint Conf. Artificial Intelligence, pp. 4943-4949, 2018.
7.
I. Ruchkin, J. Sunshine, G. Iraci, B. Schmerl and D. Garlan, "IPL: An integrated property language for multi-model cyber-physical systems", Proc. Int. Symp. Formal Methods, pp. 165-184, 2018.
8.
C. S. Timperley, A. Afzal, D. S. Katz, J. M. Hernandez and C. Le Goues, "Crashing simulated planes is cheap: Can simulation detect robotics bugs early?", Proc. IEEE Int. Conf. Software Testing Validation and Verification, pp. 331-342, 2018.
9.
University of Oxford, 2011, [online] Available: http://www.prismmodelchecker.org/.