{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T14:59:17Z","timestamp":1787324357676,"version":"build-2736575974"},"reference-count":24,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Control Optim."],"published-print":{"date-parts":[[2015,1]]},"abstract":"<jats:p>A substantial number of tasks in production systems are executed in a repetitive, cyclic fashion. Specifically, production systems run different production cycles of different products as well as different instances of the same production cycle. In this paper, we consider the optimal control and interleaving of such production cycles in a supervisory control framework for discrete event systems (DESs). That is, different from other approaches, our work is based on a behavioral specification of each production cycle. First, we adapt an optimal control approach for DESs, in order to optimize the operation of individual production cycles. Second, we employ the interleaving composition to design a supervisor that enables the simultaneous execution of different production cycles. Combining both results, we can further determine the maximum number of production cycles that can be executed simultaneously on a given production system.<\/jats:p>","DOI":"10.1137\/120892908","type":"journal-article","created":{"date-parts":[[2015,6,2]],"date-time":"2015-06-02T12:27:53Z","timestamp":1433248073000},"page":"1425-1439","source":"Crossref","is-referenced-by-count":6,"title":["Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks"],"prefix":"10.1137","volume":"53","author":[{"given":"Klaus Werner","family":"Schmidt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2015,6,2]]},"reference":[{"key":"atypb1","doi-asserted-by":"crossref","unstructured":"T. Brunsch, L. Hardouin, and J. Raisch,\n                      Modeling and control of nested manufacturing processes using dioid models\n                      , in Proceedings of the 2011 3rd International Workshop on Dependable Control of Discrete Systems, IEEE, Piscataway, NJ, 2011.","DOI":"10.1109\/DCDS.2011.5970322"},{"key":"atypb2","unstructured":"H. Camus, H. Ohl, O. Korbaa, and J. C. Gentina,\n                      Cyclic schedules in flexible manufacturing systems with flexibilities in operating sequences\n                      , in Proceedings of the First International Workshop on Manufacturing and Petri Nets, 17th International Conference on Application and Theory of Petri Nets, 1996, pp. 97-116."},{"key":"atypb3","doi-asserted-by":"crossref","unstructured":"C. G. Cassandras and S. Lafortune,\n                      Introduction to Discrete Event Systems\n                      , 2nd ed., Springer, New York, 2008.","DOI":"10.1007\/978-0-387-68612-7"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807529"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-005-4058-y"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00189-3"},{"key":"atypb7","unstructured":"C. A. R. Hoare,\n                      Communicating Sequential Processes\n                      , Prentice Hall International, Englewood Cliffs, NJ, 1985; 2004 electronic version available at http:\/\/www.usingcsp.com\/cspbook.pdf"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.902652"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6377(03)00004-X"},{"key":"atypb10","first-page":"381","author":"Kobetski A.","year":"2006","journal-title":"Proceedings of the IEEE International Conference on Automation Science and Engineering"},{"key":"atypb11","unstructured":"O. Korbaa, H. Camus, and J.C. Gentina,\n                      FMS cyclic scheduling with overlapping production cycles\n                      , in Proceedings of the 18th International Conference on Application and Theory of Petri Nets, 1997, pp. 35-52."},{"key":"atypb12","doi-asserted-by":"crossref","unstructured":"R. Kumar and V. K. Garg,\n                      Modeling and Control of Logical Discrete Event Systems\n                      , Kluwer Academic Publishers, Boston, 1995.","DOI":"10.1007\/978-1-4615-2217-1"},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.03.011"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1109\/9.52291"},{"key":"atypb15","doi-asserted-by":"crossref","unstructured":"P. Lopez and F. Roubellat, eds.\n                      Production Scheduling\n                      , John Wiley & Sons, Hoboken, NJ, ISTE, London, 2008.","DOI":"10.1002\/9780470611050"},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012998341964"},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1108\/09576069510099365"},{"key":"atypb18","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"atypb19","doi-asserted-by":"publisher","DOI":"10.1080\/0020717042000273762"},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012994260957"},{"key":"atypb21","doi-asserted-by":"publisher","DOI":"10.1080\/00207549508904787"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551233"},{"key":"atypb23","doi-asserted-by":"crossref","unstructured":"W. M. Wonham,\n                      Supervisory Control of Discrete-Event Systems\n                      , lecture notes, Department of Electrical and Computer Engineering, University of Toronto, Toronto, 2013.","DOI":"10.1007\/978-1-4471-5102-9_54-1"},{"key":"atypb24","doi-asserted-by":"crossref","unstructured":"M. Zhou and F. Dicesare,\n                      Petri Net Synthesis for Discrete Event Control of Manufacturing Systems\n                      , Kluwer Academic Publishers, Boston, 1993.","DOI":"10.1007\/978-1-4615-3126-5"}],"container-title":["SIAM Journal on Control and Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/120892908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T14:22:26Z","timestamp":1787322146000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/120892908"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["10.1137\/120892908"],"URL":"https:\/\/doi.org\/10.1137\/120892908","relation":{},"ISSN":["0363-0129","1095-7138"],"issn-type":[{"value":"0363-0129","type":"print"},{"value":"1095-7138","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1]]}}}