Team MDSC (Discrete Models for Complex Systems)
Leaders : Enrico Formenti - Cinzia Di Giusto
The MDSC (Discrete Models for Complex Systems) team aims at studying formal models for complex systems and their applications to various fields (mainly Biology, Mathematics and Computer Science). Formal models include cellular automata, constraint verification, communication centric automata with and without time.
The team is organized into two themes:
MDSC is mainly devoted to fundamental research which impacts the main current societal changes in the domain of:
- Combinatorial optimization;
- Complexity in dynamical models;
- Computational complexity;
- Discrete dynamical systems;
- Modeling for Complex Systems;
- Problem solving;
- Program verification;
- Systems biology.
Among our recent achievements one could list:
- a relation between fixed points of a finite dynamical system, error correcting codes and the network coding problem;
- a method for solving constraints problems in parallel (embarrassingly parallel search) which in some cases outperforms classical methods;
- a connection between abstract interpretation and constraint programming which originated excellent publications and opened the path to a new large project at national and international level.
- Pulications from HAL
- Séminars (2015- )
- Working group Formal Methods and Automatic Verification
- Séminars (2007-2014)