Teknologi.Bagian dari ensiklopedia.onlineCari/
BerandaKomputasi & perangkat lunakCAREER: A Data-Driven Approach for Verification and Control of Cyber-Physical Systems
Proyek riset & pengembangan

CAREER: A Data-Driven Approach for Verification and Control of Cyber-Physical Systems

Ringkasan tujuan riset

Verifikasi dan sintesis kendali berbasis data membangun fungsi barrier dari skenario pengamatan untuk sistem siberfisik yang model tertutupnya tidak diketahui.

Komputasi & perangkat lunak1 rujukanProfil diperbarui
Lihat rujukanBandingkan proyek
Linimasa NSF 2145184Periode tercatat 2022-06-15 sampai 2027-05-31.NSF 2145184MulaiAkhir tercatat202220282022-06-152027-05-31
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 National Science Foundation (NSF). Sumber diakses . Uraian pendekatan dan manfaat menyatakan tujuan pengembangan, kecuali sumber secara khusus melaporkan hasil.

Persyaratan logika temporal dipecah menjadi tugas yang lebih sederhana melalui struktur automata. Kondisi fungsi barrier awalnya dirumuskan sebagai robust convex programs, kemudian diganti dengan scenario convex programs yang memakai data sistem dan dapat diselesaikan sebagai program linear terbatas. Fungsi hasilnya digabungkan untuk memverifikasi kebutuhan atau menyintesis pengendali. Sampling adaptif serta pemecahan modular dikaji untuk mengurangi kompleksitas data, dengan perangkat lunak terbuka dan testbed kendaraan model sebagai sasaran validasi.

Baca uraian penerbit

Konteks pengembangan

Institusi penerima pada catatan
University of Colorado at Boulder
Program
CPS-Cyber-Physical Systems
Periode pendanaan tercatat
2022-06-15 → 2027-05-31

Proyek kolaboratif beberapa institusi diwakili oleh satu catatan penghargaan. Institusi di atas adalah penerima pada catatan tersebut.

Klasifikasi NSF

  • Directorate for Computer and Information Science and Engineering
  • Cyber, Physical, & Intelligent Systems

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

Apa yang diketahui tentang statusnya?

Status pendanaan menurut NSFAktif (catatan pendanaan NSF)

Catatan NSF tidak melaporkan tingkat kesiapan teknologi (TRL). Status pendanaan aktif atau berakhir bukan bukti keberhasilan riset.

Batas informasi

Profil merangkum tujuan dan pendekatan dalam abstrak pendanaan NSF. Status pendanaan tidak membuktikan keberhasilan riset, kesiapan teknologi, atau ketersediaan produk. Hasil dan performa belum diverifikasi secara independen; tinjauan ahli 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 NSF.