Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution

Huan Xu, Ufuk Topcu, Richard M. Murray. Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution. IEEE Trans. Control of Network Systems, 2(2):193-203, 2015. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: