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

dataset

posted on 2018-11-19, 18:03 authored by Ivan RuchkinIvan Ruchkin, Joshua SunshineJoshua Sunshine, Grant Iraci, Bradley SchmerlBradley Schmerl, David GarlanDavid 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.