Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic
<p>Cyber-physical systems integrate computation, networking, and physical processes. Substantial research challenges exist in the design and verification of such large-scale, distributed sensing, ac- tuation, and control systems. Rapidly improving technology and recent advances in control theo...
Internet
https://thesis.library.caltech.edu/7789/1/Xu_Huan_Thesis_2013.pdfXu, Huan (2013) Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/QDJN-BB72. https://resolver.caltech.edu/CaltechTHESIS:05312013-103940337 <https://resolver.caltech.edu/CaltechTHESIS:05312013-103940337>