{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:21:36Z","timestamp":1762521696101},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,6,24]],"date-time":"2014-06-24T00:00:00Z","timestamp":1403568000000},"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":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s10626-014-0200-z","type":"journal-article","created":{"date-parts":[[2014,6,23]],"date-time":"2014-06-23T07:34:23Z","timestamp":1403508863000},"page":"351-366","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On just-in-time control of timed event graphs with input constraints: a semimodule approach"],"prefix":"10.1007","volume":"26","author":[{"given":"Guilherme Gomes","family":"da Silva","sequence":"first","affiliation":[]},{"given":"Carlos Andrey","family":"Maia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,24]]},"reference":[{"key":"200_CR1","doi-asserted-by":"crossref","unstructured":"Allamigeon X, Gaubert S, Goubault E (2008) Inferring min and max invariants using max-plus polyhedra. In: Proceedings of the 15th International Static Analysis Symposium (SAS\u201908), Springer LNCS, vol 5079, pp 189\u2013204","DOI":"10.1007\/978-3-540-69166-2_13"},{"key":"200_CR2","first-page":"7738","volume-title":"Control of linear min-plus systems under temporal constraints. In: 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC\u201905)","author":"S Amari","year":"2005","unstructured":"Amari S, Demongodin I, Loiseau J (2005) Control of linear min-plus systems under temporal constraints. In: 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC\u201905). Seville, Spain, pp 7738\u20137743"},{"key":"200_CR3","volume-title":"Synchronization and Linearity: An Algebra for Discrete Event Systems","author":"F Baccelli","year":"1992","unstructured":"Baccelli F, Cohen G, Olsder G, Quadrat J (1992) Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley, New York"},{"key":"200_CR4","first-page":"203","volume":"20","author":"P Butkovic","year":"1984","unstructured":"Butkovic P, Heged\u00fcs G (1984) An elimination method for finding all solutions of the system of linear equations over an extremal algebra. Ekon. Mat. Obzor 20:203\u2013214","journal-title":"Obzor"},{"key":"200_CR5","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/j.laa.2003.08.010","volume":"379","author":"G Cohen","year":"2004","unstructured":"Cohen G, Gaubert S, Quadrat J (2004) Duality and separation theorems in idempotent semimodules. Linear Algebra Appl 379:395\u2013422","journal-title":"Linear Algebra Appl"},{"key":"200_CR6","doi-asserted-by":"crossref","first-page":"1451","DOI":"10.1016\/S0005-1098(01)00073-5","volume":"37","author":"B Cottenceau","year":"2001","unstructured":"Cottenceau B, Hardouin L, Boimond J-L, Ferrier J-L (2001) Model Reference Control for Timed Event Graphs in Dioid. Automatica 37:1451\u20131458","journal-title":"Automatica"},{"key":"200_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(02)00228-1","volume":"293","author":"RA Cuninghame-Green","year":"2003","unstructured":"Cuninghame-Green R A, Butkovic P (2003) The equation A \u2297x=B \u2297y over (max,+). Theor Comput Sci 293:3\u201312","journal-title":"Theor Comput Sci"},{"key":"200_CR8","doi-asserted-by":"crossref","first-page":"1049","DOI":"10.1016\/S0005-1098(01)00054-1","volume":"37","author":"B De Schutter","year":"2001","unstructured":"De Schutter B (2001) Model predictive control for max-plus-linear discrete event systems. Automatica 37: 1049\u20131056","journal-title":"Automatica"},{"issue":"3","key":"200_CR9","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0005-1098(89)90002-2","volume":"25","author":"CE Garcia","year":"1989","unstructured":"Garcia C E, Prett D M, Morari M (1989) Model predictive control: Theory and pratice - a survey. Automatica 25(3):335\u2013348","journal-title":"Automatica"},{"key":"200_CR10","unstructured":"Garey M R, Johnson D S (1979) Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company"},{"key":"200_CR11","unstructured":"Gaubert S (1992) Th\u00e9orie des syst\u00e8mes lin\u00e9aires dans les dio\u00efdes. Th\u00e8se de doctorat, Ecole des Mines de, Paris"},{"key":"200_CR12","unstructured":"Gondran M, Minoux M (2010) Graphs, Dioids and Semirings: New Models and Algorithms. Springer"},{"issue":"5-7","key":"200_CR13","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1016\/j.laa.2009.03.039","volume":"431","author":"L Hardouin","year":"2009","unstructured":"Hardouin L, Cottenceau B, Lhommeau M, Corronc E L (2009) Interval systems over idempotent semiring. Linear Algebra Appl 431(5-7):855\u2013862","journal-title":"Linear Algebra Appl"},{"key":"200_CR14","doi-asserted-by":"crossref","unstructured":"Hardouin L, Lhommeau M, Shang Y (2011) Towards geometric control of max-plus linear systems with applications to manufacturing systems. In: 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC\u201911). Orlando, Florida","DOI":"10.1109\/CDC.2011.6160489"},{"issue":"2","key":"200_CR15","first-page":"159","volume":"17","author":"L Houssin","year":"2007","unstructured":"Houssin L, Lahaye S, Boimond J (2007) Just in time control of constrained (max,+)-linear systems. Discrete Event Dynamic Systems. Theory Appl 17(2):159\u2013178","journal-title":"Theory Appl"},{"key":"200_CR16","doi-asserted-by":"crossref","unstructured":"Houssin L, Lahaye S, Boimond J L (2012) Control of (max,+)-linear systems minimizing delays. In: Discrete Event Dynamic Systems. Springer","DOI":"10.1007\/s10626-012-0143-1"},{"issue":"2","key":"200_CR17","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1109\/TAC.2006.890478","volume":"52","author":"RD Katz","year":"2007","unstructured":"Katz R D (2007) Max-plus (A, B)-invariant spaces and control of timed discrete-event systems. IEEE Trans Autom Control 52(2):229\u2013241","journal-title":"IEEE Trans Autom Control"},{"issue":"5","key":"200_CR18","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1016\/j.automatica.2011.01.047","volume":"47","author":"CA Maia","year":"2011","unstructured":"Maia C A, Andrade C R, Hardouin L (2011) On the control of max-plus linear system subject to state restriction. Automatica 47(5):988\u2013992","journal-title":"Automatica"},{"key":"200_CR19","doi-asserted-by":"crossref","unstructured":"Maia C A, Hardouin L, Mendes R S, Loiseau J (2011) A super-eigenvector approach to control constrained max-plus linear systems: In: 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC\u201911). Orlando, Florida","DOI":"10.1109\/CDC.2011.6160411"},{"issue":"12","key":"200_CR20","doi-asserted-by":"crossref","first-page":"2284","DOI":"10.1109\/TAC.2003.820666","volume":"48","author":"CA Maia","year":"2003","unstructured":"Maia C A, Hardouin L, Santos-Mendes R, Cottenceau B (2003) Optimal closed-loop of timed event graphs in dioids. IEEE Trans Autom Control 48(12):2284\u20132287","journal-title":"IEEE Trans Autom Control"},{"issue":"11","key":"200_CR21","doi-asserted-by":"crossref","first-page":"2155","DOI":"10.1109\/9.887652","volume":"45","author":"E Menguy","year":"2000","unstructured":"Menguy E, Boimond J, Hardouin L, Ferrier J (2000) Just-in-time control of timed event graphs update of reference input, presence of uncontrollable input. IEEE Trans Autom Control 45(11):2155\u20132158","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"200_CR22","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets : properties, analysis and applications. Proceedings of the IEEE 77 (4): 541\u2013580","journal-title":"Proceedings of the IEEE"},{"key":"200_CR23","first-page":"341","volume-title":"A precompensator synthesis for p-temporal event graphs, In: POSTA\u201906 - Springer LNCS","author":"I Ouerghi","year":"2006","unstructured":"Ouerghi I, Hardouin L (2006) A precompensator synthesis for p-temporal event graphs, In: POSTA\u201906 - Springer LNCS. Grenoble, France, p 341"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0200-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-014-0200-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0200-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,11]],"date-time":"2019-08-11T20:28:56Z","timestamp":1565555336000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-014-0200-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,24]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["200"],"URL":"https:\/\/doi.org\/10.1007\/s10626-014-0200-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6,24]]}}}