Step Revision in Hybrid Co-simulation with FMI

Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

14 Citations (Scopus)


This paper presents a master algorithm for co-simulation of hybrid systems using the Functional Mock-up Interface (FMI) standard. Our algorithm introduces step revision to achieve an accurate and precise handling of mixtures of continuous-time and discrete-event signals, particularly in the situation where components are unable to accurately extrapolate their input. Step revision provides an efficient means to respect the error bounds of numerical approximation algorithms that operate inside co-simulated FMUs. We first explain the most fundamental issues associated with hybrid co-simulation and analyze them in the framework of FMI. We demonstrate the necessity for step revision to address some of these issues and formally describe a master algorithm that supports it. Finally, we present experimental results obtained through our reference implementation that is part of our publicly available open-source toolchain called FIDE.
Original languageEnglish
Title of host publication2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
ISBN (Print)978-1-5090-2791-0
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventACM-IEEE International Conference on Formal Methods and Models for System Design - Indian Institute of Technology, Kanpur, India
Duration: 18 Nov 201620 Nov 2016
Conference number: 14


ConferenceACM-IEEE International Conference on Formal Methods and Models for System Design
Abbreviated titleMEMOCODE
Internet address


  • Computational modeling
  • Unified modeling language
  • Software packages
  • Mathematical model
  • Standards
  • Signal processing algorithms
  • Approximation algorithms

Fingerprint Dive into the research topics of 'Step Revision in Hybrid Co-simulation with FMI'. Together they form a unique fingerprint.

Cite this