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]

@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},
}