{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:26:04Z","timestamp":1740122764228,"version":"3.37.3"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T00:00:00Z","timestamp":1720051200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T00:00:00Z","timestamp":1720051200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100006764","name":"Technische Universit\u00e4t Berlin","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100006764","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2024,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper studies a scenario in which the occurrence of one or more events in a discrete event system is subject to external restrictions which may change unexpectedly during run-time. The system is modeled as a timed event graph (TEG) and, in this context, the presence of the aforementioned external restrictions has become known as <jats:italic>partial synchronization<\/jats:italic> (PS). This phenomenon arises naturally in several applications, from manufacturing to transportation systems. We develop a formal and systematic method to compute optimal control signals for TEGs in the presence of PS, where the control objective is tracking a given output reference as closely as possible and optimality is understood in the widely-adopted just-in-time sense. The approach is based on the formalism of tropical semirings \u2014 in particular, the min-plus algebra and derived semiring of counters. We claim that our method expands modeling and control capabilities with respect to previously existing ones by tackling the case of time-varying PS restrictions, which, to the best of our knowledge, has not been dealt with before in this context.<\/jats:p>","DOI":"10.1007\/s10626-024-00400-7","type":"journal-article","created":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T07:01:54Z","timestamp":1720076514000},"page":"429-463","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A tropical-algebraic method for the control of timed event graphs with partial synchronization"],"prefix":"10.1007","volume":"34","author":[{"given":"Germano","family":"Schafaschek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Hardouin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Raisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,4]]},"reference":[{"key":"400_CR1","unstructured":"Baccelli F, Cohen G, Olsder GJ, Quadrat J-P (1992) Synchronization and Linearity: an Algebra for Discrete Event Systems. Wiley, ???"},{"key":"400_CR2","unstructured":"Blyth T, Janowitz M (1972) Residuation Theory. Pergamon press, ???"},{"key":"400_CR3","unstructured":"Cottenceau B, Hardouin L, Trunk J (2020) A C++ toolbox to handle series for event-variant\/time-variant (max,+) systems"},{"key":"400_CR4","doi-asserted-by":"crossref","unstructured":"David-Henriet X, Hardouin L, Raisch J, Cottenceau B (2013) Optimal control for timed event graphs under partial synchronization. In: 52nd IEEE Conference on decision and control, pp 7609\u20137614","DOI":"10.1109\/CDC.2013.6761097"},{"key":"400_CR5","doi-asserted-by":"crossref","unstructured":"David-Henriet X, Hardouin L, Raisch J, Cottenceau B (2014) Modeling and control for max-plus systems with partial synchronization. In: 12th International workshop on discrete event systems (WODES), Paris, France","DOI":"10.3182\/20140514-3-FR-4046.00025"},{"key":"400_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.automatica.2015.12.006","volume":"70","author":"X David-Henriet","year":"2016","unstructured":"David-Henriet X, Hardouin L, Raisch J, Cottenceau B (2016) Model predictive control for discrete event systems with partial synchronization. Automatica 70:9\u201313","journal-title":"Automatica"},{"issue":"1","key":"400_CR7","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1080\/0020717021000049188","volume":"76","author":"B De Schutter","year":"2003","unstructured":"De Schutter B, van den Boom TJJ (2003) MPC for discrete-event systems with soft and hard synchronization constraints. Int J Control 76(1):82\u201394","journal-title":"Int J Control"},{"key":"400_CR8","doi-asserted-by":"publisher","unstructured":"Hardouin L, Cottenceau B, Lagrange S, Le\u00a0Corronc E (2008) Performance analysis of linear systems over semiring with additive inputs. In: 2008 9th International workshop on discrete event systems, pp 43\u201348. https:\/\/doi.org\/10.1109\/WODES.2008.4605920","DOI":"10.1109\/WODES.2008.4605920"},{"issue":"1","key":"400_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/2600000013","volume":"6","author":"L Hardouin","year":"2018","unstructured":"Hardouin L, Cottenceau B, Shang Y, Raisch J (2018) Control and state estimation for max-plus linear systems. Found Trends Syst Control 6(1):1\u2013116","journal-title":"Found Trends Syst Control"},{"issue":"2","key":"400_CR10","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1109\/TAC.2006.890478","volume":"52","author":"RD Katz","year":"2007","unstructured":"Katz RD (2007) Max-plus (A, B)-invariant control of timed discrete-event systems. IEEE Trans Auto Control 52(2):229\u2013241","journal-title":"IEEE Trans Auto Control"},{"key":"400_CR11","doi-asserted-by":"crossref","unstructured":"Maia CA, Hardouin L, Santos-Mendes R, Loiseau JJ (2011) A super-eigenvector approach to control constrained max-plus linear systems. In: 2011 50th IEEE Conference on decision and control and european control conference, pp 1136\u20131141","DOI":"10.1109\/CDC.2011.6160411"},{"issue":"5","key":"400_CR12","doi-asserted-by":"publisher","first-page":"988","DOI":"10.1016\/j.automatica.2011.01.047","volume":"47","author":"CA Maia","year":"2011","unstructured":"Maia CA, Andrade CR, Hardouin L (2011) On the control of max-plus linear system subject to state restriction. Automatica 47(5):988\u2013992","journal-title":"Automatica"},{"issue":"11","key":"400_CR13","doi-asserted-by":"publisher","first-page":"2155","DOI":"10.1109\/9.887652","volume":"45","author":"E Menguy","year":"2000","unstructured":"Menguy E, Boimond J-L, Hardouin L, Ferrier J-L (2000) Just-in-time control of timed event graphs: update of reference input, presence of uncontrollable input. IEEE Trans Auto Control 45(11):2155\u20132159","journal-title":"IEEE Trans Auto Control"},{"key":"400_CR14","unstructured":"Pinedo M (2008) Scheduling: Theory, Algorithms, and Systems. Springer, ???"},{"key":"400_CR15","doi-asserted-by":"crossref","unstructured":"Schafaschek G, Hardouin L, Raisch J (2022) A novel approach to the modeling and control of timed event graphs with partial synchronization. IFAC-PapersOnLine 55(28):204\u2013211. 16th IFAC Workshop on Discrete Event Systems (WODES\u201922)","DOI":"10.1016\/j.ifacol.2022.10.344"},{"issue":"4","key":"400_CR16","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1007\/s10626-020-00316-y","volume":"30","author":"J Trunk","year":"2020","unstructured":"Trunk J, Cottenceau B, Hardouin L, Raisch J (2020) Model decomposition of timed event graphs under periodic partial synchronization: application to output reference control. Discrete Event Dyn Syst 30(4):605\u2013634","journal-title":"Discrete Event Dyn Syst"},{"key":"400_CR17","doi-asserted-by":"crossref","unstructured":"Zorzenon D, Schafaschek G, Tirp\u00e1k D, Moradi S, Hardouin L, Raisch J (2022) Implementation of procedures for optimal control of timed event graphs with resource sharing. IFAC-PapersOnLine 55(28):220\u2013227. 16th IFAC Workshop on Discrete Event Systems (WODES\u201922)","DOI":"10.1016\/j.ifacol.2022.10.346"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00400-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-024-00400-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00400-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T09:11:12Z","timestamp":1731921072000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-024-00400-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,4]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["400"],"URL":"https:\/\/doi.org\/10.1007\/s10626-024-00400-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2024,7,4]]},"assertion":[{"value":"29 March 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 May 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 July 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no conflict of interest to declare that are relevant to this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}]}}