Supplementary Materials for a Case Study of a Power-aware Mobile Robot with the Integration Property Language

This archive contains the models and views for a case study of integrating power and planning models in a power-aware mobile robot. It also contains an implementation of the Integration Property Language as a plugin for the OSATE2/Eclipse environment.<div><br></div>