×

Real-time semantics of state transition for embedded control systems. (Chinese. English summary) Zbl 1313.93136

Summary: Embedded control is the procedure execution of the physical system state transition driven by the real-time event. It uses super dense time (SDT) label to indicate the real-time nature of the event, and it describes a real-time state transition semantic model which naturally expresses time. It is proved that the real-time event tag is a partial order function in time value, and the state transition sequence of real-time events are same as the corresponding non-real-time process. For the real-time constraints on the trajectory of the state transition, the operation on the non-real-time process is extended to the real-time process to obtain the execution order of determinacy operation. An example of controlling flat machine weaving movement shows the effectiveness of the semantic expression.

MSC:

93C83 Control/observation systems involving computers (process control, etc.)
PDFBibTeX XMLCite
Full Text: DOI