
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.
CIF 3 textual syntax (PDF)
Changelog for version r9682