Login / Signup

Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata.

Meng LiRatnesh Kumar
Published in: IET Cyper-Phys. Syst.: Theory & Appl. (2016)
Keyphrases
  • test generation
  • control system
  • design automation
  • error rate
  • machine learning
  • artificial intelligence
  • case study
  • multi agent
  • test cases
  • cellular automata
  • control algorithm
  • finite state machines