Sign in

Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution.

Huan XuUfuk TopcuRichard M. Murray
Published in: IEEE Trans. Control. Netw. Syst. (2015)
Keyphrases
  • power distribution
  • reactive systems
  • transmission line
  • protocol specification
  • probabilistic neural networks
  • agent architecture
  • real time
  • artificial neural networks
  • formal specification
  • communication protocols