國立虎尾科技大學 |

Nondeterministic modeling and verification of networked robotic systems.

Record Type:	Language materials, manuscript : Monograph/item
Title/Author:	Nondeterministic modeling and verification of networked robotic systems./
Author:	McNew, John-Michael.
Description:	1 online resource (238 pages)
Notes:	Source: Dissertation Abstracts International, Volume: 69-09, Section: B, page: 5753.
Contained By:	Dissertation Abstracts International69-09B.
Subject:	Robotics. -
Online resource:	click for full text (PQDT)
ISBN:	9780549816645

Nondeterministic modeling and verification of networked robotic systems.
McNew, John-Michael.

Nondeterministic modeling and verification of networked robotic systems. - 1 online resource (238 pages)

Source: Dissertation Abstracts International, Volume: 69-09, Section: B, page: 5753.

Thesis (Ph.D.)--University of Washington, 2008.

Includes bibliographical references

The advent and integration of wide-scale networking capabilities into the technological fabric of our society has spurred interest in the control of large scale networked multi-agent systems. The applications include air-traffic control, automated highway systems, and coordinated search and reconnaissance. The scale of these applications requires a distributed control methodology, and their potential integration with daily life requires proofs of safety, ease in programming and program distribution, self-organizing and self-stabilizing behaviors, and a general plug-and-play capability. Designing distributed control is challenging because communicating subsystems (cars, planes, etc.) are spatially distributed, and the flow of information among the subsystems is the result of complex interactions between their software, geometry, environment and operational modes.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2018

Mode of access: World Wide Web

ISBN: 9780549816645Subjects--Topical Terms:

561941
Robotics.
Index Terms--Genre/Form:

554714
Electronic books.

Nondeterministic modeling and verification of networked robotic systems.
LDR:02839ntm a2200349Ki 4500 001 915971
005 20180907134544.5
006 m o u
007 cr mn||||a|a||
008 190606s2008 xx obm 000 0 eng d
020 $a 9780549816645
035 $a (MiAaPQ)AAI3328431
035 $a AAI3328431
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a McNew, John-Michael. $3 1189532
245 1 0 $a Nondeterministic modeling and verification of networked robotic systems.
264 0 $c 2008
300 $a 1 online resource (238 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertation Abstracts International, Volume: 69-09, Section: B, page: 5753.
500 $a Adviser: Eric Klavins.
502 $a Thesis (Ph.D.)--University of Washington, 2008.
504 $a Includes bibliographical references
520 $a The advent and integration of wide-scale networking capabilities into the technological fabric of our society has spurred interest in the control of large scale networked multi-agent systems. The applications include air-traffic control, automated highway systems, and coordinated search and reconnaissance. The scale of these applications requires a distributed control methodology, and their potential integration with daily life requires proofs of safety, ease in programming and program distribution, self-organizing and self-stabilizing behaviors, and a general plug-and-play capability. Designing distributed control is challenging because communicating subsystems (cars, planes, etc.) are spatially distributed, and the flow of information among the subsystems is the result of complex interactions between their software, geometry, environment and operational modes.
520 $a In supporting these developing needs, the main contributions of this thesis are the following: (1) A unified, graph-centric, local model of networked multi-agent systems called embedded graph grammars that abstracts away variables associated with message passing and considers all nondeterrninistic trajectories corresponding to different communication timings, communication orderings and program structures; (2) A design process which (in conjunction with the noncieterministic behavior of the embedded graph grammar model) provides an abstract control program that is portable across platforms; (3) Efficient (eventually automated) methods of reasoning about these systems and models, in particular Lexicographic Lyapunov Functions.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2018
538 $a Mode of access: World Wide Web
650 4 $a Robotics. $3 561941
650 4 $a Artificial intelligence. $3 559380
650 4 $a Mechanical engineering. $3 557493
655 7 $a Electronic books. $2 local $3 554714
690 $a 0771
690 $a 0800
690 $a 0548
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a University of Washington. $3 845434
773 0 $t Dissertation Abstracts International $g 69-09B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3328431 $z click for full text (PQDT)