Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution

  title={Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution},
  author={Huan Xu and Ufuk Topcu and Richard M. Murray},
  journal={IEEE Transactions on Control of Network Systems},
The increasing complexity of electric power systems leads to challenges in integration and verification. We consider the problem of designing a control protocol for an aircraft electric power system that meets a set of requirements describing the correct behaviors of the system and reacts dynamically to changes in internal system states. We formalize the requirements by translating them into a temporal logic specification language and apply game-based, temporal logic formal methods to… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 29 references

The temporal logic of programs

18th Annual Symposium on Foundations of Computer Science (sfcs 1977) • 1977
View 7 Excerpts
Highly Influenced

Dreamliner’s slow flight

S. Creedy
The Australian, Oct. 2013. [Online]. Available: http://www.theaustralian.com.au/news/features/dreamlinersslow-flight/story-e6frg6z6-1226733805717 • 2013
View 1 Excerpt

Pentagon says F-35 fighter delayed, costs rise 4.3 percent

A. Shalal-Esa
Chicago Tribune, Mar. 2012. [Online]. Available: http:// articles.chicagotribune.com/2012-03-29/news/sns-rt-us-lockheedfighterbre82t03r-20120329_1_f-35-costs-rise-pentagon-report • 2012
View 1 Excerpt

Receding Horizon Temporal Logic Planning

IEEE Transactions on Automatic Control • 2012
View 1 Excerpt

Distributed power allocation for vehicle management systems

IEEE Conference on Decision and Control and European Control Conference • 2011
View 2 Excerpts

Similar Papers

Loading similar papers…