Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


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