Login / Signup
Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration.
Klaus Echtle
Thorsten 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