Login / Signup

Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration.

Klaus EchtleThorsten Kimmeskamp
Published in: MMB/DFT (2010)
Keyphrases
  • space exploration
  • control system
  • timed automata
  • model checking
  • real time
  • fuzzy logic
  • neural network
  • closed loop
  • real time systems
  • obstacle avoidance