As models are the ultimate tools fo

As models are the ultimate tools for obtaining and dealing with knowledge, not only
in engineering, but also in philosophy, sociology and economics, a search has been
undertaken for appropriate mathematical models for hybrid systems. A whole range of
possible model structures for hybrid systems has already been proposed. An overview
of possible modeling techniques has been given for instance in [19,24]. Mentioned
are, among others,
• Timed or hybrid Petri-nets, see e.g. [51];
• Differential automata [195];
Page 16 of 240
1.1. Hybrid Systems 7
• Hybrid automata [28,130];
• Brockett’s model [30];
• Mixed logical dynamic models [15];
• Duration calculus [39]
• Real-time temporal logics [1,161]
• Timed communicating sequential processes [52,100]
• Switched bond graphs [189]
We would like to emphasize that this list is by no means exhaustive.
Some of these models start from one domain (DES or differential/difference equa-
tions) and include additional elements of the other domain. Hybrid automata, for
instance, are derived from finite state machines used in describing DES by replacing
the simple clock dynamics inside each discrete state by more involved differential and
algebraic equations.

Kết quả (Việt) 2:

Như mô hình là công cụ cuối cùng cho việc thu thập và xử lý các kiến thức, không chỉ
trong kỹ thuật, mà còn trong triết học, xã hội học và kinh tế, một tìm kiếm đã được
thực hiện cho các mô hình toán học thích hợp cho các hệ thống hybrid. Một loạt các
cấu trúc mô hình có thể cho các hệ thống hybrid đã được đề xuất. Một cái nhìn tổng quan
về kỹ thuật mô hình có thể đã được đưa ra ví dụ trong [19,24]. Đề cập
được, trong số những người khác,
• Định giờ hoặc hybrid Petri lưới, xem ví dụ [51];
• Differential automata [195];
Page 16 of 240
1.1. Hệ thống hybrid 7
• lai automata [28.130];
mô hình • Brockett của [30];
• Các mô hình năng động logic hỗn hợp [15];
• Thời gian tính toán [39]
• Real-time logic thời gian [1161]
• Định giờ giao quy trình tuần tự [52.100]
• chuyển đồ thị trái phiếu [189]
Chúng tôi muốn nhấn mạnh rằng danh sách này là do không có phương tiện đầy đủ.
Một số các mô hình này bắt đầu từ một tên miền (DES hoặc khác biệt / khác biệt equa-
tions) và bao gồm các yếu tố bổ sung của các miền khác. Lai automata, cho
ví dụ, có nguồn gốc từ các máy trạng thái hữu hạn được sử dụng trong việc mô tả DES bằng cách thay thế
các động thái đồng hồ đơn giản bên trong mỗi trạng thái rời rạc bởi khác biệt tham gia nhiều hơn và
các phương trình đại số.