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]
@article{XuTM15, title = {Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution}, author = {Huan Xu and Ufuk Topcu and Richard M. Murray}, year = {2015}, doi = {10.1109/TCNS.2015.2401174}, url = {http://dx.doi.org/10.1109/TCNS.2015.2401174}, researchr = {https://researchr.org/publication/XuTM15}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Control of Network Systems}, volume = {2}, number = {2}, pages = {193-203}, }