2018 Project-Team Activity Report

TROPICAL

Tropical methods: structures, algorithms and interactions

Research centre:
Saclay - Île-de-France

In collaboration with: Centre de Mathématiques Appliquées (CMAP)

Field: Applied Mathematics, Computation and Simulation

Theme: Optimization and control of dynamic systems

Theme: Optimization and control of dynamic systems

Keywords:

Computer Science and Digital Science:

- A1.2.4. - QoS, performance evaluation
- A2.3.3. - Real-time systems
- A2.4. - Formal method for verification, reliability, certification
- A6.2.5. - Numerical Linear Algebra
- A6.2.6. - Optimization
- A6.4.6. - Optimal control
- A7.2.4. - Mechanized Formalization of Mathematics
- A8.1. - Discrete mathematics, combinatorics
- A8.2.1. - Operations research
- A8.2.3. - Calculus of variations
- A8.3. - Geometry, Topology
- A8.9. - Performance evaluation
- A8.11. - Game Theory
- A9.6. - Decision support

Other Research Topics and Application Domains:

- B4.3. - Renewable energy production
- B4.4. - Energy delivery
- B4.4.1. - Smart grids
- B6.6. - Embedded systems
- B8.4. - Security and personal assistance
- B8.4.1. - Crisis management