上一条: Optimal stabilization of discrete event systems with guaranteed worst cost
下一条: Marking Predictability and Prediction in Labeled Petri Nets