Extension of the class of linear-interval constraints for real-time control problems

详细

The problem of creating timing constraints for control systems is treated. An example of a control task is presented, and the corresponding timing constraint is formulated. It has been shown that this type of constraint is not a member of the previously proposed class of linear-interval constraints. A new class of realtime constraints is proposed for control problems, which is an extension of the class of linear-interval constraints.