Lọc theo danh mục
  • Năm xuất bản
    Xem thêm
  • Lĩnh vực
liên kết website
Lượt truy cập
 Lượt truy cập :  30,090,151
  • Công bố khoa học và công nghệ Việt Nam

50.51; 50.43

Pham Tran Nhu, Nguyen Van Truong, Lê Thị Vinh Hạnh(1)

Designing a lift control system

Tin học và điều khiển học

2004

03

205-218

Trình bày một ứng dụng hệ thống điều khiển thang máy theo cách tiếp cận hình thức cho các hệ nhúng. Kỹ thuật thiết kế được dùng là mô hình hoá sự rời rạc và xấp xỉ các biến trạng thái liên tục bởi các biến trạng thái rời rạc. Hệ thống thang máy được giám sát và điều khiển thông qua một hệ thống tính toán nhằm quản lý các bộ phận, điều khiển các sự kiện và làm thoả mãn các thủ tục cùng những bất biến đặc trưng cho hệ thống. Tính toán khoảng lặp được dùng trong bài viết để đặc tả các yêu cầu của hệ thống.

TVKHKTTW, CVv 127