東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

User-interfaces for hybrid systems: ...

Oishi, Meeko Mitsuko Karen.

FindBook

Google Book

Amazon

博客來

User-interfaces for hybrid systems: Analysis and design through hybrid reachability.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	User-interfaces for hybrid systems: Analysis and design through hybrid reachability./
作者:	Oishi, Meeko Mitsuko Karen.
面頁冊數:	92 p.
附註:	Source: Dissertation Abstracts International, Volume: 64-11, Section: B, page: 5619.
Contained By:	Dissertation Abstracts International64-11B.
標題:	Engineering, Aerospace. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3111773

User-interfaces for hybrid systems: Analysis and design through hybrid reachability.
Oishi, Meeko Mitsuko Karen.

User-interfaces for hybrid systems: Analysis and design through hybrid reachability. - 92 p.

Source: Dissertation Abstracts International, Volume: 64-11, Section: B, page: 5619.

Thesis (Ph.D.)--Stanford University, 2004.

Hybrid systems combine discrete state dynamics, which model mode switching, with continuous state dynamics, which model the physical processes themselves. Applications of hybrid system theory to automated systems have traditionally assumed that the controller itself is an automaton which runs in parallel with the system under control. We model human interaction with hybrid systems, which involves the user; the automation's discrete mode-logic, and the underlying continuous dynamics of the physical system. Often in safety-critical systems, user-interfaces display a reduced set of information about the entire system, however must still provide adequate information and must not confuse the user. of the hybrid system, in order to verify or design user-interfaces for hybrid human-automation systems, and (2) the relationship between user-interfaces and discrete observability properties.Subjects--Topical Terms:

1018395
Engineering, Aerospace.

User-interfaces for hybrid systems: Analysis and design through hybrid reachability.
LDR:03202nmm 2200313 4500 001 1810842
005 20041216102940.5
008 130614s2004 eng d
035 $a (UnM)AAI3111773
035 $a AAI3111773
040 $a UnM $c UnM
100 1 $a Oishi, Meeko Mitsuko Karen. $3 1900439
245 1 0 $a User-interfaces for hybrid systems: Analysis and design through hybrid reachability.
300 $a 92 p.
500 $a Source: Dissertation Abstracts International, Volume: 64-11, Section: B, page: 5619.
500 $a Adviser: Claire J. Tomlin.
502 $a Thesis (Ph.D.)--Stanford University, 2004.
520 $a Hybrid systems combine discrete state dynamics, which model mode switching, with continuous state dynamics, which model the physical processes themselves. Applications of hybrid system theory to automated systems have traditionally assumed that the controller itself is an automaton which runs in parallel with the system under control. We model human interaction with hybrid systems, which involves the user; the automation's discrete mode-logic, and the underlying continuous dynamics of the physical system. Often in safety-critical systems, user-interfaces display a reduced set of information about the entire system, however must still provide adequate information and must not confuse the user. of the hybrid system, in order to verify or design user-interfaces for hybrid human-automation systems, and (2) the relationship between user-interfaces and discrete observability properties.
520 $a Using a hybrid computational tool for reachability, we find the largest region in which the system can always remain---this is the safe region of operation. By implementing a controller which arises from this computation, we mathematically guarantee that this safe region is invariant. Assigning discrete states to the computed invariant regions, we create a discrete event can then be used in existing interface verification and design methods.
520 $a A user-interface, modeled as a discrete system, must, not only be reduced (extraneous information has been eliminated), but also "immediately observable". We derive conditions for immediate observability, in which the current state can be constructed from the current output and last occurring event. Based on finite state machine state-reduction techniques, we synthesize an output for remote user-interfaces which fulfills this property.
520 $a Aircraft are prime examples of complex, safety-critical systems. In addition to examining pilot interaction with an aircraft autopilot during a landing/go-around maneuver for a large civil jet aircraft, we also provide two other examples: a car traveling through a yellow light at an intersection, and a fleet of formation-flying aircraft. The examples demonstrate the general nature of these methods, which are relevant for systems with operational constraints posed in terms of safety.
590 $a School code: 0212.
650 4 $a Engineering, Aerospace. $3 1018395
650 4 $a Engineering, System Science. $3 1018128
650 4 $a Engineering, Electronics and Electrical. $3 626636
690 $a 0538
690 $a 0790
690 $a 0544
710 2 0 $a Stanford University. $3 754827
773 0 $t Dissertation Abstracts International $g 64-11B.
790 1 0 $a Tomlin, Claire J., $e advisor
790 $a 0212
791 $a Ph.D.
792 $a 2004
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3111773