Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution

DOI10.1109/TCNS.2015.2401174zbMath1370.93191DBLPjournals/tcns/XuTM15OpenAlexW2063820834WikidataQ59813845 ScholiaQ59813845MaRDI QIDQ5358457

Ufuk Topcu, Richard M. Murray, Huan Xu

Publication date: 21 September 2017

Published in: IEEE Transactions on Control of Network Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tcns.2015.2401174

Mathematics Subject Classification ID

Application models in control theory (93C95)

This page was built for publication: Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution