One of the major challenges towards a broad industrial acceptance of hybrid systems
techniques and tools is the large number of distinct modeling formalisms and the resulting …

The purpose of the Compositional Interchange Format for hybrid systems (CIF) is to
establish inter-operability of a wide range of tools by means of model transformations to and …

The compositional interchange format for hybrid systems is syntactically and semantically
defined in terms of an interchange automaton in an abstract format, allowing among others …

In recent years, the object-oriented M odelica formalism for dynamic hybrid models has
become a de-facto standard for the equation-based modeling, design, and analysis of …

Interchange formats have been the backbone of the EDA industry for several years. They are
used as a way of helping the development of design flows that integrate foreign tools using …

In [1] we advocated the need for an interchange format for hybrid systems that enables the
integration of design tools coming from many different research communities. In deriving …

Abstract The Compositional Interchange Format (CIF), is a modeling formalism for hybrid
systems, that aims to establishing interoperability of a wide range of tools by means of model …

Different modeling formalisms for timed and hybrid systems exist, each of which addresses a
specific set of problems, and has its own set of features. These formalisms and tools can be …

This report is a critical review of existing modeling techniques, programming languages, and
design toolsets for hybrid systems. We analyzed industrial and academic tools with the intent …

A compositional interchange format for hybrid systems is defined in terms of an interchange
automaton, allowing arbitrary differential algebraic equations, including fully implicit or …