Designing a lift control system

0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Van Truong Nguyen, Tran Nhu Pham

Ngôn ngữ: vie

Ký hiệu phân loại: 005.12 Software systems analysis and design

Thông tin xuất bản: Tin học và điều khiển học, 2004

Mô tả vật lý: 205-218

Bộ sưu tập: Metadata

ID: 514567

Thêm vào giỏ

Trình bày một ứng dụng hệ thống điều khiển thang máy theo cách tiếp cận hình thức cho các hệ nhúng. Kỹ thuật thiết kế được dùng là mô hình hoá sự rời rạc và xấp xỉ các biến trạng thái liên tục bởi các biến trạng thái rời rạc. Hệ thống thang máy được giám sát và điều khiển thông qua một hệ thống tính toán nhằm quản lý các bộ phận, điều khiển các sự kiện và làm thoả mãn các thủ tục cùng những bất biến đặc trưng cho hệ thống. Tính toán khoảng lặp được dùng trong bài viết để đặc tả các yêu cầu của hệ thống.

1. Đọc trực tuyến

1. Đọc trực tuyến

Tạo bộ sưu tập với mã QR