EN FR
Homepage Inria website


2019 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
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