Sign in

Model verification of fallback control system under cyberattacks via UPPAAL.

Kousei SakataShintaro FujitaKenji SawadaHiroshi IwasawaHiromichi EndohNoritaka Matsumoto
Published in: Adv. Robotics (2023)
Keyphrases
  • control system
  • high level
  • experimental data
  • computational model
  • formal model
  • mathematical model
  • statistical model
  • model checking
  • conceptual model
  • reinforcement learning
  • prior knowledge
  • closed loop
  • linear model