{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T10:58:26Z","timestamp":1769511506066,"version":"3.49.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,9,3]],"date-time":"2009-09-03T00:00:00Z","timestamp":1251936000000},"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":[[2009,12]]},"DOI":"10.1007\/s10626-009-0083-6","type":"journal-article","created":{"date-parts":[[2009,9,2]],"date-time":"2009-09-02T05:51:02Z","timestamp":1251870662000},"page":"525-549","source":"Crossref","is-referenced-by-count":31,"title":["Supervisory Control of (max,+) Automata: A Behavioral Approach"],"prefix":"10.1007","volume":"19","author":[{"given":"Jan","family":"Komenda","sequence":"first","affiliation":[]},{"given":"S\u00e9bastien","family":"Lahaye","sequence":"additional","affiliation":[]},{"given":"Jean-Louis","family":"Boimond","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,9,3]]},"reference":[{"key":"83_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill D (1994) The theory of timed automata. Theor Comp Sci 126:183\u2013235","journal-title":"Theor Comp Sci"},{"key":"83_CR2","volume-title":"Finite transition systems. Semantics of communicating systems","author":"A Arnold","year":"1994","unstructured":"Arnold A (1994) Finite transition systems. Semantics of communicating systems. Prentice-Hall, Englewood Cliffs"},{"key":"83_CR3","volume-title":"Synchronization and linearity. An algebra for discrete event systems","author":"F Baccelli","year":"1992","unstructured":"Baccelli F, Cohen G, Olsder GJ, Quadrat J-P (1992) Synchronization and linearity. An algebra for discrete event systems. Wiley, New York"},{"key":"83_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-73235-5","volume-title":"Rational series and their languages","author":"J Berstel","year":"1988","unstructured":"Berstel J, Reutenauer C (1988) Rational series and their languages. Springer, Berlin"},{"key":"83_CR7","volume-title":"Residuation theory","author":"TS Blyth","year":"1972","unstructured":"Blyth TS, Janowitz MF (1972) Residuation theory. Pergamon, Oxford"},{"issue":"2","key":"83_CR8","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"BA Brandin","year":"1994","unstructured":"Brandin BA, Wonham WM (1994) Supervisory control of timed discrete event systems. IEEE Trans Automat Contr 39(2):329\u2013351","journal-title":"IEEE Trans Automat Contr"},{"issue":"12","key":"83_CR10","doi-asserted-by":"crossref","first-page":"2014","DOI":"10.1109\/9.478227","volume":"40","author":"S Gaubert","year":"1995","unstructured":"Gaubert S (1995) Performance evaluation of (max,+) automata. IEEE Trans Automat Contr 40(12):2014\u20132025","journal-title":"IEEE Trans Automat Contr"},{"issue":"4","key":"83_CR11","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1109\/9.754807","volume":"44","author":"S Gaubert","year":"1999","unstructured":"Gaubert S, Mairesse J (1999) Modeling and analysis of timed petri nets using heaps of pieces. IEEE Trans Automat Contr 44(4):683\u2013698","journal-title":"IEEE Trans Automat Contr"},{"issue":"4","key":"83_CR12","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/37.56284","volume":"10","author":"M Heymann","year":"1990","unstructured":"Heymann M (1990) Concurrency and discrete event control. IEEE Control Syst Mag 10(4):103\u2013112","journal-title":"IEEE Control Syst Mag"},{"key":"83_CR13","volume-title":"Topics in matrix analysis","author":"RA Horn","year":"1994","unstructured":"Horn RA, Johnson CR (1994) Topics in matrix analysis. Cambridge University Press, Cambridge"},{"issue":"2","key":"83_CR14","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/s10626-006-0009-5","volume":"17","author":"L Houssin","year":"2007","unstructured":"Houssin L, Lahaye S, Boimond J-L (2007) Just in time control of constrained (max,+)-linear systems. Discrete Event Dyn Syst Theor Appl 17(2):159\u2013178","journal-title":"Discrete Event Dyn Syst Theor Appl"},{"key":"83_CR16","doi-asserted-by":"crossref","unstructured":"Komenda J, Lahaye S, Boimond J-L (2008) Control of (max,+) automata: logical and timing aspects. In: Proceedings of WODES 2008, Gothenburg, Sweden, 28\u201330 May 2008","DOI":"10.1109\/WODES.2008.4605922"},{"issue":"11","key":"83_CR19","doi-asserted-by":"crossref","first-page":"1970","DOI":"10.1109\/9.887621","volume":"45","author":"R Kumar","year":"2000","unstructured":"Kumar R, Heymann M (2000) Masked prioritized synchronization for interaction and control of discrete event systems. IEEE Trans Automat Contr 45(11):1970\u20131982","journal-title":"IEEE Trans Automat Contr"},{"key":"83_CR20","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham WM (1988) On observability of discrete-event systems. Inf Sci 44:173\u2013198","journal-title":"Inf Sci"},{"key":"83_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1051\/ita:2005042","volume":"40","author":"S Lombardy","year":"2006","unstructured":"Lombardy S, Mairesse J (2006) Series which are both max-plus and min-plus rational are unambiguous. RAIRO\u2014Inform Theor Appl 40:1\u201314","journal-title":"RAIRO\u2014Inform Theor Appl"},{"key":"83_CR23","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete-event systems. Proc IEEE 77:81\u201398","journal-title":"Proc IEEE"},{"key":"83_CR24","unstructured":"Van der Poorten AJ (1988) Solution de la conjecture de Pisot sur le quotient de Hadamard de deux fractions rationnelles. CR Acad Sci Paris 306, s\u00e9rie I"},{"key":"83_CR25","unstructured":"Wong-Toi H, Hoffmann G (1995) The control of dense real-time discrete event systems. Technical report STA-CS-92-1411, Stanford University"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0083-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-009-0083-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0083-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:58:52Z","timestamp":1559231932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-009-0083-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,3]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["83"],"URL":"https:\/\/doi.org\/10.1007\/s10626-009-0083-6","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9,3]]}}}