Login / Signup

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties.

Clara HobbsBineet GhoshShengjie XuParasara Sridhar DuggiralaSamarjit Chakraborty
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
  • safety analysis
  • control system
  • safety critical
  • nuclear power plant
  • real time
  • artificial intelligence
  • embedded systems
  • reinforcement learning
  • decision support system
  • user interface
  • symbolic model checking