상세정보
Export to Refworks부가기능
Hybrid Cloud Model Checking Using the Interaction Layer of Harms for Ambient Assistive Living Environments
상세 프로파일
| 자료유형 | 학위논문 |
|---|---|
| 서명/저자사항 | Hybrid Cloud Model Checking Using the Interaction Layer of Harms for Ambient Assistive Living Environments. |
| 개인저자 | Gomez Morales, Mauricio Alejandro. |
| 단체저자명 | Purdue University. Computer and Information Technology. |
| 발행사항 | [S.l.]: Purdue University., 2018. |
| 발행사항 | Ann Arbor: ProQuest Dissertations & Theses, 2018. |
| 형태사항 | 170 p. |
| 기본자료 저록 | Dissertation Abstracts International 80-02B(E). Dissertation Abstract International |
| ISBN | 9780438371743 |
| 학위논문주기 | Thesis (Ph.D.)--Purdue University, 2018. |
| 일반주기 |
Source: Dissertation Abstracts International, Volume: 80-02(E), Section: B.
Adviser: Eric T. Matson. |
| 요약 | Soon, humans will be co-living and taking advantage of the help of multi-agent systems in a broader way than the present. Such systems will involve machines or devices of any variety, including robots. These kind of solutions will adapt to the s |
| 요약 | This dissertation worked towards two specific goals. First, to assure that the system will always work, independently of which of the agents performs the different tasks needed to accomplish a bigger objective. Second, to provide initial steps t |
| 일반주제명 | Robotics. Artificial intelligence. |
| 언어 | 영어 |
| 바로가기 | 
: 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
