The research activities of the Hycomes team can be separated into four topics, as listed below:
- Multimode DAEs, used for the modeling of large-scale physical systems and Cyber-Physical Systems, are not handled in general by the existing tools. Our research aims at addressing their correct simulation as well as providing theoretical results on the existence and uniqueness of solutions.
- Computer Algebra
- Boolean Functions and their representation are known to be a key concern in circuit design and formal verification (among others); our works also give them an essential role in the study of multimode DAEs. Models and data structures that reduce the computational costs for representing and computing on Boolean functions are studied.
- Probabilistic modeling and programming is at the core of the study of graphical models, whose applications range from Bayesian statistics to machine learning and arise in biology, computer vision and other fields. Our works propose a new model of mixed automata that generalizes probabilistic graphical models.
A summary of our results, extracted from our latest annual activity report, is also available.