Carnegie Mellon University
Browse
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)
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

2018-07-02

Usage metrics

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC