tailieunhanh - Thiết kế hệ thống điều khiển thang máy.

Thiết kế hệ thống điều khiển thang máy. Lý thuyết chung các hệ thống là thuật ngữ đã được L. Von Bertalarffy đưa vào vốn từ vựng khoa học để mô tả lý thuyết các hệ thống mở và các trạng thái cân bằng động năm 1933 tại trường đại học tổng hợp Chicago. | Tạp chí Tin học và Đĩêu khiền học 2004 205--218 DESIGNING A LIFT CONTROL SYSTEM PHAM TRAN NHU1 NGUYEN VAN TRUONG2 1 Institute of Information Technology 2Pedagogical University-Thai Nguyen University Abstract. In this paper we present an application of syntactical approach given in a formal design technique for real-time embedded systems. The technique is the model of discretization at the state level and the approximation of continuous state variables by discrete ones. The lift system presented in this paper shall be monitored and controlled by a computing system that shall respect the components handle the events and satisfy the usual procedures and invariants. The Duration Calculus with Iteration is used in the paper to specify requirements of the system. Tóm tắt. Trong bài báo này chúng tôi 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 hê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. 1. INTRODUCTION The lift control system belongs among real-time control systems. The system consists of some physical plant in permanent interaction with its environment for which a suitable controller has to be constructed such that the controlled plant exhibits the desired time dependent behavior. Many authors have proposed approachs for designing the lift control system . 2 10 . However some approach is just a postulate - it has not yet been widely tested so a failure in the reaction of the plant may appear. The problem is to use suitable technique for specifying and reasoning about the design of the system. For any real-time systems in general and for our lift