Programming autonomous behavior of AMM network data concentrator by timed automata.

Published in: IDAACS (2015)

Keyphrases

timed automata
model checking
programming language
reachability analysis
databases
theorem prover
neural network
cooperative
expert systems
temporal logic
theorem proving
behavior patterns