Project-Team Sumo
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

up Home | Next next

2019 Project-Team Activity Report
SUMO
SUpervision of large MOdular and distributed systems
Research centre: Rennes - Bretagne-Atlantique
In partnership with: CNRS, Université Rennes 1
In collaboration with: Institut de recherche en informatique et systèmes aléatoires (IRISA)

Field: Algorithmics, Programming, Software and Architecture
Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • A1.2.2. - Supervision
  • A1.3. - Distributed Systems
  • A1.5. - Complex systems
  • A2.3. - Embedded and cyber-physical systems
  • A2.4. - Formal method for verification, reliability, certification
  • A2.4.2. - Model-checking
  • A4.5. - Formal methods for security
  • A6.4.3. - Observability and Controlability
  • A6.4.6. - Optimal control
  • A7.1.1. - Distributed algorithms
  • A7.2. - Logic in Computer Science
  • A8.2. - Optimization
  • A8.6. - Information theory
  • A8.11. - Game Theory
Other Research Topics and Application Domains:
  • B5.2.2. - Railway
  • B6.2. - Network technologies
  • B6.3.3. - Network Management
  • B7.1. - Traffic management
  • B8.5.2. - Crowd sourcing