Predictive control of timed event graphs with specifications defined by P-time event graphs

From MaRDI portal
Publication:2256886