Section: New Results

Highlights of the Year

The main advances in 2014 of the Hycomes team have been as follows:

Causality analysis of hybrid systems with ordinary differential equations (ODE)

We have proposed a causality analysis, in the form of a simple type system, rejecting hybrid programs with algebraic circuits — see section  6.2 .

An index theory of DAE hybrid systems with differential algebraic equations (DAE)

We have proposed a conservative extension of the notion of differentiation index to hybrid systems with differential algebraic equations — see section  6.3 .