Sign in

Formal Design and Validation of an Automatic Train Operation Control System.

Arturo AmendolaLorenzo BarruffoMarco BozzanoAlessandro CimattiSalvatore De SimoneEugenio FedeliArtem GabbasovDomenico Ernesto GarrubbaMassimiliano GirardiDiana SerraRoberto TiellaGianni Zampedri
Published in: RSSRail (2022)
Keyphrases
  • control system
  • real time
  • case study
  • user interface
  • engineering design
  • controller design
  • multi agent
  • multi agent systems
  • human computer interaction
  • fully automatic
  • closed loop
  • optimal design
  • air conditioning