Author:
Malik Robi,Pena Patrícia N.
Subject
Control and Systems Engineering
Reference24 articles.
1. Åkesson, K., Fabian, M., Flordal, H., and Malik, R. (2006). Supremica—an integrated environment for verification, synthesis and simulation of discrete event systems. In 8th Int. Workshop on Discrete Event Systems, 384–385. IEEE. doi:10.1109/WODES.2006.382401.
2. Executing production schedules in the face of uncertainties: A review and some future directions;Aytug;Eur. J. Oper. Res.,,2005
3. Chen, Y.L. and Lin, F. (2000). Modeling of Discrete Event Systems Using Finite State Machines with Parameters. In 2000 IEEE Int. Conf. Control Applications, 941–946. doi:10.1109/CCA.2000.897591.
4. Clark, W., Polakov, W.N., and Trabold, F.W. (1922). The Gantt chart, a working tool of management. The Ronald Press Company, New York, NY, USA.
5. Clarke, Jr., E.M., Grumberg, O., and Peled, D.A. (1999). Model Checking. MIT Press.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献