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

Xây dựng hệ thống tự động hoạt động an toàn trong thế giới thực đòi hỏi thiết kế và kiểm tra nghiêm ngặt. Chương trình này giới thiệu cho bạn những khái niệm cơ bản về mô hình hóa, xác định, và khẳng định hệ thống độc lập với sự đảm bảo an toàn toán học. Bạn sẽ học cách chuyển từ định nghĩa cơ bản của hệ thống đến phân tích các hành vi tự vận hành phức tạp. Bạn học được gì: 1. Hiểu được thuật ngữ cơ bản và kiến trúc cốt lõi của hệ tự động. 2. Mô hình động lực học hệ thống sử dụng biểu diễn không gian trạng thái và mô hình chuyển tiếp. 3. Định nghĩa các yêu cầu an toàn và vận hành bằng cách sử dụng logic chính thức. 4. Kiểm tra tính chính xác của hệ thống bằng cách dùng kỹ thuật kiểm tra và xác nhận mô hình cơ bản. 5. Ứng dụng các bộ lọc an toàn hiện đại, bao gồm các chức năng rào cản kiểm soát, để ngăn chặn sự cố. 6. Chương trình học dựa trên văn bản này bắt đầu với các định nghĩa cơ bản và các khái niệm điều khiển trước khi tiến tới các đặc điểm chính thức và các phương pháp kiểm tra. Chương này được thiết kế cho người mới bắt đầu trong kỹ thuật hoặc khoa học máy tính, không cần có nền tảng toán học cao cấp. Hãy bắt đầu đọc ngay để làm chủ các nền móng của thiết kế tự động an toàn.