{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:20:54Z","timestamp":1737609654661,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_35","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T01:30:57Z","timestamp":1195003857000},"page":"1605-1624","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Incremental design of a Power transformer station controller using a controller synthesis methodology"],"prefix":"10.1007","author":[{"given":"Herv\u00e9","family":"Marchand","sequence":"first","affiliation":[]},{"given":"Mazen","family":"Samaan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"issue":"7","key":"35_CR1","doi-asserted-by":"publisher","first-page":"1040","DOI":"10.1109\/9.231459","volume":"38","author":"S. Balemi","year":"1993","unstructured":"S. Balemi, G. J. Hoffmann, H. Wong-Toi, and G. F. Franklin. Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control, 38(7):1040\u20131059, July 1993.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"9","key":"35_CR2","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste and G. Berry. Real-time systems designs and programming. Proceedings of the IEEE, 79(9):1270\u20131282, September 1991.","journal-title":"Proceedings of the IEEE"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"R.E. Bryant and Chen Y. Verification of Arithmetic Functions with Binary Diagrams. Research Report, School of Computer Science CMU, May 1995.","DOI":"10.21236\/ADA281028"},{"key":"35_CR4","unstructured":"B. Dutertre and M. Le Borgne. Control of polynomial dynamic systems: an example. Research Report 798, IRISA, January 1994."},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"L.E. Holloway","year":"1997","unstructured":"L.E. Holloway, B.H. Krogh, and A. Giua. A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Application, 7:151\u2013190, 1997.","journal-title":"Discrete Event Dynamic Systems: Theory and Application"},{"key":"35_CR6","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/BFb0006940","volume":"165","author":"M. L. Borgne","year":"1991","unstructured":"M. Le Borgne, A. Benveniste, and P. Le Guernic. Polynomial dynamical systems over finite fields. In Algebraic Computing in Control, volume 165, pages 212\u2013222. LNCIS, G. Jacob et F. Lamnabhi-lagarrigue, March 1991.","journal-title":"Algebraic Computing in Control"},{"key":"35_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BFb0014322","volume-title":"Proceedings of AMAST\u201996","author":"M. Borgne Le","year":"1996","unstructured":"M. Le Borgne, H. Marchand, E. Rutten, and M. Samaan. Formal verification of signal programs: Application to a power transformer station controller. In Proceedings of AMAST\u201996, pages 271\u2013285, Munich, Germany, July 1996. Springer-Verlag, LNCS 1101."},{"key":"35_CR8","unstructured":"P. Le Guernic and T. Gautier. Data-flow to von Neumann: the SIGNAL approach. In Jean-Luc Gaudiot and Lubomir Bic, editors, Advanced Topics in Data-Flow Computing, chapter 15, pages 413\u2013438. Prentice-Hall, 1991."},{"key":"35_CR9","unstructured":"H. Marchand and M. Le Borgne. On the optimal control of polynomial dynamical systems over \u2124\/p\u2124. In 4th International Workshop on Discrete Event Systems, pages 385\u2013390, Cagliari, Italy, August 1998."},{"key":"35_CR10","unstructured":"H. Marchand and M. Le Borgne. Partial order control of discrete event systems modeled as polynomial dynamical systems. In 1998 IEEE International Conference On Control Applications, Trieste, Italia, September 1998."},{"key":"35_CR11","unstructured":"H. Marchand, Bournai P., M. Le Borgne, and P. Le Guernic. A design environment for discrete-event controllers based on the signal language. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, pages 770\u2013775, San Diego, California, USA, October 1998."},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"H. Marchand, E. Rutten, and M. Samaan. Synchronous design of a transformer station controller with Signal. In 4th IEEE Conference on Control Applications, pages 754\u2013759, Albany, New-York, September 1995.","DOI":"10.1109\/CCA.1995.555843"},{"key":"35_CR13","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/298595.298601","volume-title":"Proceedings of the 2nd Workshop on Formal Methods in Software Practice (FMSP-98)","author":"H. Melcher","year":"1998","unstructured":"H. Melcher and K. Winkelmann. Controller synthesis for the production cell case study. In Proceedings of the 2nd Workshop on Formal Methods in Software Practice (FMSP-98), pages 24\u201333, New YOrk, March 4-5 1998. ACM Press."},{"issue":"1","key":"35_CR14","first-page":"81","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems, 77(1):81\u201398, 1989.","journal-title":"Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T09:09:25Z","timestamp":1737536965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"17 September 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}