20180130_RobotIPLstudy_ModelsCodeData_Ruchkin_v1-0.zip (54.71 MB)

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

Download (54.71 MB)
dataset
posted on 19.11.2018 by Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl, David Garlan
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.

Funding

DARPA/AFRL FA8750-16-2-0042

History

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.

Date

02/07/2018

Licence

Exports