東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Design, Specification, and Synthesis...

Xu, Huan.

FindBook

Google Book

Amazon

博客來

Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic./
作者:	Xu, Huan.
面頁冊數:	140 p.
附註:	Source: Dissertation Abstracts International, Volume: 74-10(E), Section: B.
Contained By:	Dissertation Abstracts International74-10B(E).
標題:	Engineering, Mechanical. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3564468
ISBN:	9781303133459

Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic.
Xu, Huan.

Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic. - 140 p.

Source: Dissertation Abstracts International, Volume: 74-10(E), Section: B.

Thesis (Ph.D.)--California Institute of Technology, 2013.

Cyber-physical systems integrate computation, networking, and physical processes. Substantial research challenges exist in the design and verification of such large-scale, distributed sensing, actuation, and control systems. Rapidly improving technology and recent advances in control theory, networked systems, and computer science give us the opportunity to drastically improve our approach to integrated flow of information and cooperative behavior. Current systems rely on text-based specifications and manual design. Using new technology advances, we can create easier, more efficient, and cheaper ways of developing these control systems.

ISBN: 9781303133459Subjects--Topical Terms:

783786
Engineering, Mechanical.

Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic.
LDR:03178nam 2200325 4500 001 1958120
005 20140224122718.5
008 150212s2013 ||||||||||||||||| ||eng d
020 $a 9781303133459
035 $a (MiAaPQ)AAI3564468
035 $a AAI3564468
040 $a MiAaPQ $c MiAaPQ
100 1 $a Xu, Huan. $3 2093110
245 1 0 $a Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic.
300 $a 140 p.
500 $a Source: Dissertation Abstracts International, Volume: 74-10(E), Section: B.
500 $a Adviser: Richard Murray.
502 $a Thesis (Ph.D.)--California Institute of Technology, 2013.
520 $a Cyber-physical systems integrate computation, networking, and physical processes. Substantial research challenges exist in the design and verification of such large-scale, distributed sensing, actuation, and control systems. Rapidly improving technology and recent advances in control theory, networked systems, and computer science give us the opportunity to drastically improve our approach to integrated flow of information and cooperative behavior. Current systems rely on text-based specifications and manual design. Using new technology advances, we can create easier, more efficient, and cheaper ways of developing these control systems.
520 $a This thesis will focus on design considerations for system topologies, ways to formally and automatically specify requirements, and methods to synthesize reactive control protocols, all within the context of an aircraft electric power system as a representative application area. This thesis consists of three complementary parts: synthesis, specification, and design. The first section focuses on the synthesis of central and distributed reactive controllers for an aircraft elec- tric power system. This approach incorporates methodologies from computer science and control. The resulting controllers are correct by construction with respect to system requirements, which are formulated using the specification language of linear temporal logic (LTL). The second section addresses how to formally specify requirements and introduces a domain-specific language for electric power systems. A software tool automatically converts high-level requirements into LTL and synthesizes a controller.
520 $a The final sections focus on design space exploration. A design methodology is proposed that uses mixed-integer linear programming to obtain candidate topologies, which are then used to synthesize controllers. The discrete-time control logic is then verified in real-time by two methods: hardware and simulation. Finally, the problem of partial observability and dynamic state estimation is explored. Given a set placement of sensors on an electric power system, measurements from these sensors can be used in conjunction with control logic to infer the state of the system.
590 $a School code: 0037.
650 4 $a Engineering, Mechanical. $3 783786
650 4 $a Engineering, Aerospace. $3 1018395
650 4 $a Computer Science. $3 626642
650 4 $a Engineering, System Science. $3 1018128
690 $a 0548
690 $a 0538
690 $a 0984
690 $a 0790
710 2 $a California Institute of Technology. $b Mechanical Engineering. $3 2093076
773 0 $t Dissertation Abstracts International $g 74-10B(E).
790 $a 0037
791 $a Ph.D.
792 $a 2013
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3564468