Foundations of Autonomous Systems: Verification and Synthesis (bằng tiếng Anh).

Thiết kế các hệ thống tự động như xe tự lái và trợ lý robot đòi hỏi sự chắc chắn tuyệt đối rằng chúng sẽ hành xử an toàn trong môi trường không thể đoán trước. Chương trình học dựa trên văn bản này giới thiệu các nguyên tắc cơ bản của kiểm chứng chính thức và tổng hợp điều khiển, đảm bảo thiết kế tự động của bạn đáp ứng các tiêu chuẩn an toàn và ổn định nghiêm ngặt. Bạn sẽ chuyển từ việc đơn giản kiểm tra hệ thống tự động sang chứng minh tính chính xác của chúng bằng toán học. Bằng cách hiểu cách xây dựng mô hình động lực học hệ thống và thể hiện các thuộc tính an toàn, bạn sẽ có được các kỹ năng cần thiết để thiết kế các bộ điều khiển đảm bảo hoạt động an toàn trong các điều kiện khác nhau. Bạn sẽ học: Hiểu động lực học hệ thống nền tảng và cách mô hình hóa hành vi tự động bằng toán học; Ứng dụng lý thuyết ổn định Lyapunov để xác minh các trạng thái ổn đinh dài hạn của các hệ thống động; Phân tích khả năng tiếp cận và sử dụng chứng chỉ rào cản để đảm bảo các ranh giới an toàn không bao giờ vượt qua; Tìm hiểu kiểm tra mô hình chính thức kỹ thuật để xác minh hệ thống chống lại các thuộc tính thời gian thường xuyên và omega-thường xuyên; Tổng hợp các bộ điều khiển đúng theo cấu trúc tự động thực thi các chính sách an toàn mong muốn; Xem xét các thách thức an toàn hiện đại, bao gồm hệ thống xác minh kết hợp các thành phần học tập và mạng nơron. Chương trình bắt đầu với thuật ngữ toán học cơ bản và mô hình hệ thống nền tảng trước khi hướng dẫn bạn qua phân tích ổn định, thuật toán xác minh chính thức và kỹ thuật tổng hợp điều khiển. Chương trình này được thiết kế cho những kỹ sư robot, nhà khoa học máy tính, và nhà phát triển hệ thống đang tìm kiếm một điểm nhập vào dễ tiếp cận vào các phương pháp chính thức, chỉ cần một nền tảng cơ bản trong toán học.