Login / Signup

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities.

Davide BasileMaurice H. ter BeekPierpaolo DeganoAxel LegayGian Luigi FerrariStefania GnesiFelicita Di Giandomenico
Published in: FORTE (2021)
Keyphrases
  • control system
  • program synthesis
  • supply chain
  • genetic algorithm
  • evolutionary algorithm
  • control strategy
  • data sets
  • machine learning
  • objective function
  • multiresolution