View source for Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution

{{HTDB paper
| authors = Huan Xu, Ufuk Topcu, and Richard M. Murray
| title = Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
| source = Submitted, IEEE T. Control of Networked Systems (14 Nov 2013)
| year = 2013
| type = Journal submission
| funding = MuSyC, iCyPhy
| url = http://www.cds.caltech.edu/~murray/preprints/xtm13-tcns_s.pdf
| abstract = 
he 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 automatically synthesize a controller protocol that satisfies these overall properties and requirements. Through a case study, we perform a design exploration to show the benefits and tradeoffs between centralized and distributed control architectures.
| flags = 
| filetype = PDF
| filesize = 714K
| tag = xtm13-tcns
| id = 2013m
}}