Carnegie Mellon University
Browse (54.71 MB)

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

Download (54.71 MB)
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.


DARPA/AFRL FA8750-16-2-0042


Publisher Statement

Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl, David Garlan. IPL: An Integration Property Language for Multi-Model Cyber-Physical Systems. In Proceedings of the 22nd International Symposium on Formal Methods (FM). Oxford, UK, 2018.