Sign in
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution.
Huan Xu
Ufuk Topcu
Richard 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