Teknologi.Bagian dari ensiklopedia.onlineCari/
BerandaAI & otomasiIntegrated Task and Motion Planning with Verification via Formal Methods
Proyek riset & pengembangan

Integrated Task and Motion Planning with Verification via Formal Methods

Ringkasan tujuan riset

Perencanaan tugas dan gerak robot dipadukan dengan metode formal untuk mengembangkan alat pemeriksa maupun pencari pelanggaran terhadap rencana eksplorasi dan kolaborasi dengan astronaut.

AI & otomasi1 rujukanProfil diperbarui
Lihat rujukanBandingkan proyek
Linimasa NASA TechPort 94150Periode tercatat 2017-08-01 sampai 2021-07-31. TRL: awal 2, saat akses 3, target 3. Target bukan hasil.NASA TechPort 94150MulaiAkhir tercatat201720222017-08-012021-07-31TRL 1–9Awal2Saat akses3Target3
Linimasa dan catatan proyek

Tanggal dan TRL menurut catatan penerbit. Akhir periode dan target bukan bukti hasil riset.

Teknologi · CC BY 4.0 · Sumber data

Apa tujuan dan pendekatan risetnya?

Profil ini merangkum ruang lingkup proyek yang dipublikasikan NASA TechPort. Sumber diakses . Uraian pendekatan dan manfaat menyatakan tujuan pengembangan, kecuali sumber secara khusus melaporkan hasil.

Penelitian memperluas gabungan lapisan perencanaan diskret dan kontinu dari masalah gerak menuju masalah tugas sekaligus gerak. Keunikan usulan ialah mengembangkan alat verifikasi dan falsifikasi secara paralel dengan alat perencana, sehingga validitas rencana dapat ditelaah sejak proses pengembangannya. Konteks pemakaian mencakup robot eksplorasi jarak jauh dan kerja bersama astronaut. Proyek merumuskan rencana penelitian; keberhasilan pemeriksaan formal pada seluruh situasi operasi tidak diasumsikan telah tercapai.

Baca uraian penerbit

Konteks pengembangan

Institusi pemimpin
Rice University
Program
Space Technology Research Grants
Periode proyek
2017-08-01 → 2021-07-31

Klasifikasi NASA

  • TX10.2.3 — Path Planning

Label penerbit dipertahankan sebagai konteks. Bidang katalog merupakan pengelompokan editorial.

Apa yang diketahui tentang statusnya?

Status proyek menurut NASACompleted
Awal proyekTRL 2
Tercatat saat aksesTRL 3
Target akhirTRL 3

TRL adalah tingkat kesiapan teknologi yang dilaporkan penerbit, pada skala 1–9. Nilai target akhir menunjukkan sasaran. Status “Completed” berarti proyek telah selesai menurut pencatatan NASA; status tersebut tidak membuktikan bahwa seluruh sasaran kinerja telah tercapai.

Batas informasi

Profil ini menjelaskan ruang lingkup riset dari catatan penerbit. Target pengembangan dan TRL akhir bukan bukti keberhasilan, ketersediaan produk, atau kelayakan penerapan. Tinjauan ahli dan pengujian performa independen belum dilakukan.

Dasar profil

Metodologi dan batas pemeriksaan. Ringkasan berbahasa Indonesia disusun sebagai parafrasa editorial dengan pemeriksaan sumber primer oleh agen AI. Identitas, periode, serta status berasal dari catatan penerbit. Tinjauan ahli dan pengujian kinerja independen belum dilakukan; rujukan tidak menyiratkan dukungan atau sertifikasi NASA.