Wang, Jianping; Zhang, Yunsheng; Zhang, Guo; Zhang, Jing Real-time semantics of state transition for embedded control systems. (Chinese. English summary) Zbl 1313.93136 Control Decis. 29, No. 1, 83-88 (2014). 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.) Keywords:embedded control; state transition; super-dense time; real-time constraints; determinacy operation PDFBibTeX XMLCite \textit{J. Wang} et al., Control Decis. 29, No. 1, 83--88 (2014; Zbl 1313.93136) Full Text: DOI