{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T04:11:53Z","timestamp":1770437513491,"version":"3.49.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,4,20]],"date-time":"2013-04-20T00:00:00Z","timestamp":1366416000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s10626-013-0163-5","type":"journal-article","created":{"date-parts":[[2013,4,18]],"date-time":"2013-04-18T22:36:49Z","timestamp":1366324609000},"page":"385-418","source":"Crossref","is-referenced-by-count":45,"title":["Integrating discrete controller synthesis into a reactive programming language compiler"],"prefix":"10.1007","volume":"23","author":[{"given":"Gwena\u00ebl","family":"Delaval","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Rutten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herv\u00e9","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,4,20]]},"reference":[{"key":"163_CR1","doi-asserted-by":"crossref","unstructured":"Aboubekr S, Delaval G, Pissard-Gibollet R, Rutten E, Simon D (2011) Automatic generation of discrete handlers of real-time continuous control tasks. In: Proc. 18th World congress of the international federation of automatic control (IFAC). Milano, Italy, pp\u00a0786\u2013793","DOI":"10.3182\/20110828-6-IT-1002.01548"},{"key":"163_CR2","doi-asserted-by":"crossref","unstructured":"Altisen K, Clodic A, Maraninchi F, Rutten E (2003) Using controller synthesis to build property-enforcing layers. In: European symposium on programming. LNCS, vol\u00a02618. Warsaw, Poland, pp\u00a0126\u2013141","DOI":"10.1007\/3-540-36575-3_13"},{"key":"163_CR3","doi-asserted-by":"crossref","unstructured":"Auer A, Dingel J, Rudie K (2009) Concurrency control generation for dynamic threads using discrete-event systems. In: 47th Annual allerton conference on communication, control, and computing, 2009. Allerton 2009, pp\u00a0927\u2013934","DOI":"10.1109\/ALLERTON.2009.5394896"},{"issue":"1","key":"163_CR4","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Caspi P, Edwards S, Halbwachs N, Le\u00a0Guernic P, de\u00a0Simone R (2003) The synchronous languages twelve years later. Proc IEEE 91(1):64\u201383","journal-title":"Proc IEEE"},{"key":"163_CR5","unstructured":"Benveniste A, Caillaud B, Passerone R (2007) A generic model of contracts for embedded systems. Res. Rep. RR-6214, INRIA"},{"key":"163_CR6","doi-asserted-by":"crossref","unstructured":"Bodik R, Chandra S, Galenson J, Kimelman D, Tung N, Barman S, Rodarmor C (2010) Programming with angelic nondeterminism. In: Principles of programming languages, POPL, pp\u00a0339\u2013352","DOI":"10.1145\/1706299.1706339"},{"key":"163_CR7","unstructured":"Bouhadiba T, Sabah Q, Delaval G, Rutten E (2011) Synchronous control of reconfiguration in fractal component-based systems\u2014a case study. In: Int. conf. on embedded software. EMSOFT 2011. Taipei, Taiwan, pp\u00a0309\u2013318"},{"key":"163_CR8","doi-asserted-by":"crossref","unstructured":"Cassandras C, Lafortune S (2007) Introduction to discrete event systems. Springer","DOI":"10.1007\/978-0-387-68612-7"},{"key":"163_CR9","doi-asserted-by":"crossref","unstructured":"Cassez F, David A, Fleury E, Larsen K, Lime D (2005) Efficient on-the-fly algorithms for the analysis of timed games. In: Conf. on concurrency theory (CONCUR). LNCS, vol\u00a03653, pp\u00a066\u201380","DOI":"10.1007\/11539452_9"},{"key":"163_CR10","doi-asserted-by":"crossref","unstructured":"Chakrabarti A, de\u00a0Alfaro L, Henzinger TA, Mang FYC (2002) Synchronous and bidirectional component interfaces. In: Computer aided verification. LNCS, vol\u00a02404. Copenhagen, Denmark, pp\u00a0414\u2013427","DOI":"10.1007\/3-540-45657-0_34"},{"key":"163_CR11","doi-asserted-by":"crossref","unstructured":"Cola\u00e7o J-L, Pagano B, Pouzet M (2005) A conservative extension of synchronous data-flow with state machines. In: Embedded software (EMSOFT). New Jersey, USA, pp\u00a0173\u2013182","DOI":"10.1145\/1086228.1086261"},{"key":"163_CR12","doi-asserted-by":"crossref","unstructured":"Delaval G, Rutten E (2010) Reactive model-based control of reconfiguration in the fractal component-based model. In: Component based software engineering. LNCS, vol\u00a06092. Prague, Czech R., pp\u00a093\u2013112","DOI":"10.1007\/978-3-642-13238-4_6"},{"key":"163_CR13","doi-asserted-by":"crossref","unstructured":"Delaval G, Marchand H, Rutten E (2010) Contracts for modular discrete controller synthesis. In: Languages, compilers and tools for embedded systems. Stockholm, Sweden, pp\u00a057\u201366","DOI":"10.1145\/1755888.1755898"},{"key":"163_CR14","unstructured":"deQueiroz MH, Cury JER (2002) Synthesis and implementation of local modular supervisory control for a manufacturing cell. In: Proceedings of the 6th international workshop on discrete event systems, pp\u00a0377\u2013382"},{"key":"163_CR15","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/1453101.1453122","volume-title":"Proceedings of the 16th ACM SIGSOFT international symposium on foundations of software engineering, SIGSOFT \u201908\/FSE-16","author":"C Dragert","year":"2008","unstructured":"Dragert C, Dingel J, Rudie K (2008) Generation of concurrency control code using discrete-event systems theory. In: Proceedings of the 16th ACM SIGSOFT international symposium on foundations of software engineering, SIGSOFT \u201908\/FSE-16. ACM, New York, NY, USA, pp\u00a0146\u2013157"},{"key":"163_CR16","unstructured":"Hamon G (2002) Calcul d\u2019horloge et structures de contr\u00f4le dans Lucid Synchrone, un langage de flots synchrones \u00e0 la ML. PhD thesis, Univ. P. et M. Curie, Paris, France"},{"issue":"1","key":"163_CR17","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MC.2008.10","volume":"41","author":"D Harel","year":"2008","unstructured":"Harel D (2008) Can programming be liberated, period? Computer 41(1):28\u201337","journal-title":"Computer"},{"issue":"4","key":"163_CR18","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D Harel","year":"1996","unstructured":"Harel D, Naamad A (1996) The STATEMATE semantics of statecharts. ACM Trans Softw Eng Methodol 5(4):293\u2013333","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"163_CR19","doi-asserted-by":"crossref","unstructured":"Harel D, Kugler H, Pnueli A (2005) Synthesis revisited: generating statechart models from scenario-based requirements. In: Formal methods in software and systems modeling. LNCS, vol\u00a03393, pp\u00a0309\u2013324","DOI":"10.1007\/978-3-540-31847-7_18"},{"key":"163_CR20","doi-asserted-by":"crossref","unstructured":"Hellerstein J, Diao Y, Parekh S, Tilbury D (2004) Feedback control of computing systems. Wiley-IEEE","DOI":"10.1002\/047166880X"},{"key":"163_CR21","unstructured":"Hietter Y, Roussel J-M, Lesage J-J (2008) Algebraic synthesis of transition conditions of a state model. In: Proc. of 9th int. workshop on discrete event systems (WODES\u201908), G\u00f6teborg, pp\u00a0187\u2013192"},{"key":"163_CR22","doi-asserted-by":"crossref","unstructured":"Iordache MV, Antsaklis PJ (2009) Petri nets and programming: a survey. In: Proceedings of the 2009 American control conference, pp\u00a04994\u20134999","DOI":"10.1109\/ACC.2009.5159987"},{"key":"163_CR23","doi-asserted-by":"crossref","unstructured":"Iordache M, Antsaklis P (2010) Concurrent program synthesis based on supervisory control. In: 2010 American control conference","DOI":"10.1109\/ACC.2010.5530904"},{"issue":"5","key":"163_CR24","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1109\/3477.875442","volume":"30","author":"S Jiang","year":"2000","unstructured":"Jiang S, Kumar R (2000) Decentralized control of discrete event systems with specializations to local control and concurrent systems. IEEE Trans Syst Man Cybern, Part B 30(5):653\u2013660","journal-title":"IEEE Trans Syst Man Cybern, Part B"},{"key":"163_CR25","doi-asserted-by":"crossref","unstructured":"Komenda J, van\u00a0Schuppen JH (2005) Supremal sublanguages of general specification languages arising in modular control of discrete-event systems. In: 44th IEEE conference on decision and control, pp\u00a02775\u20132780","DOI":"10.1109\/CDC.2005.1582583"},{"key":"163_CR26","first-page":"426","volume":"10","author":"J Komenda","year":"2010","unstructured":"Komenda J, Masopust T, van\u00a0Schuppen JH (2010) Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems. Discrete Event Dyn Syst 10:426\u2013431","journal-title":"Discrete Event Dyn Syst"},{"key":"163_CR27","doi-asserted-by":"crossref","unstructured":"Kugler H, Plock C, Pnueli A (2009) Controller synthesis from LSC requirements. In: Fundamental approaches to software engineering, FASE\u201909, York, UK, 22\u201329 March 2009","DOI":"10.1007\/978-3-642-00593-0_6"},{"key":"163_CR28","doi-asserted-by":"crossref","unstructured":"Le\u00a0Gall T, Jeannet B, Marchand H (2005) Supervisory control of infinite symbolic systems using abstract interpretation. In: 44nd IEEE conference on decision and control (CDC\u201905) and control and European control conference ECC 2005. Seville, Spain, pp\u00a031\u201335","DOI":"10.1109\/CDC.2005.1582126"},{"issue":"5","key":"163_CR29","doi-asserted-by":"crossref","first-page":"477","DOI":"10.3166\/ejc.8.477-491","volume":"8","author":"S-H Lee","year":"2002","unstructured":"Lee S-H, Wong KC (2002) Structural decentralized control of concurrent discrete-event systems. Eur J Control 8(5):477\u2013491","journal-title":"Eur J Control"},{"key":"163_CR30","unstructured":"Liu C, Kondratyev A, Watanabe Y, Desel J, Sangiovanni-Vincentelli A (2006) Schedulability analysis of petri nets based on structural properties. In: Sixth international conference on application of concurrency to system design, 2006. ACSD 2006, pp\u00a069\u201378"},{"key":"163_CR31","unstructured":"Maraninchi F, Morel L (2004) Logical-time contracts for the development of reactive embedded software. In: 30th Euromicro conference, component-based software engineering track (ECBSE). Rennes, France, pp\u00a048\u201355"},{"key":"163_CR32","unstructured":"Marchand H (1997) M\u00e9thodes de synth\u00e8se d\u2019automatismes d\u00e9crits par des syst\u00e8mes \u00e0 \u00e9v\u00e9nements discrets finis. PhD thesis, Universit\u00e9 de Rennes 1, IFSIC"},{"key":"163_CR33","doi-asserted-by":"crossref","unstructured":"Marchand H, Gaudin B (2002) Supervisory control problems of hierarchical finite state machines. In: 41th IEEE conference on decision and control. Las Vegas, USA, pp\u00a01199\u20131204","DOI":"10.1109\/CDC.2002.1184677"},{"issue":"4","key":"163_CR34","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1023\/A:1008311720696","volume":"10","author":"H Marchand","year":"2000","unstructured":"Marchand H, Bournai P, Le\u00a0Borgne M, Le\u00a0Guernic P (2000) Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic Systems: Theory Appl 10(4):325\u2013346","journal-title":"Discrete Event Dynamic Systems: Theory Appl"},{"issue":"10","key":"163_CR35","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer B (1992) Applying \u201cdesign by contract\u201d. Computer 25(10):40\u201351","journal-title":"Computer"},{"issue":"9","key":"163_CR36","doi-asserted-by":"crossref","first-page":"1187","DOI":"10.1109\/TC.2004.67","volume":"53","author":"VV Phoha","year":"2004","unstructured":"Phoha VV, Nadgar AU, Ray A, Phoha S (2004) Supervisory control of software systems. IEEE Trans Comput 53(9):1187\u20131199","journal-title":"IEEE Trans Comput"},{"issue":"1","key":"163_CR37","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"key":"163_CR38","doi-asserted-by":"crossref","unstructured":"Schmidt K, Breindl C (2008) On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems. In: 9th international workshop on discrete event systems, 2008. WODES 2008, pp\u00a0462\u2013467. IEEE","DOI":"10.1109\/WODES.2008.4605990"},{"key":"163_CR39","unstructured":"Wallace C, Jensen P, Soparkar N (1996) Supervisory control of workflow scheduling. In: Advanced transaction models and architectures workshop (ATMA), Goa, India"},{"key":"163_CR40","doi-asserted-by":"crossref","unstructured":"Wang Y, Lafortune S, Kelly T, Kudlur M, Mahlke S (2009) The theory of deadlock avoidance via discrete control. In Principles of programming languages, POPL. Savannah, USA, pp\u00a0252\u2013263","DOI":"10.1145\/1594834.1480913"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-013-0163-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-013-0163-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-013-0163-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T16:54:08Z","timestamp":1562950448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-013-0163-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,20]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["163"],"URL":"https:\/\/doi.org\/10.1007\/s10626-013-0163-5","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,20]]}}}