CIF 3¶

Welcome to the website for CIF 3, the Compositional Interchange Format for hybrid systems. CIF is an automata-based modeling language for the specification of discrete event, timed, and hybrid systems. The CIF 3 tooling supports the entire development process of controllers, including among others specification, supervisory controller synthesis, simulation-based validation and visualization, verification, real-time testing, and code generation.

CIF 3 was created and is currently developed by the Systems Engineering group of the Mechanical Engineering department, at the Eindhoven University of Technology (TU/e).

The CIF 3 tooling is free, and is available under the MIT open source license.