{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T20:05:19Z","timestamp":1790798719601,"version":"4.1.0"},"reference-count":37,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"funder":[{"DOI":"10.13039\/501100021171","name":"Basic and Applied Basic Research Foundation of Guangdong Province","doi-asserted-by":"publisher","award":["2026A1515011789"],"award-info":[{"award-number":["2026A1515011789"]}],"id":[{"id":"10.13039\/501100021171","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["52305105"],"award-info":[{"award-number":["52305105"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["ISA Transactions"],"published-print":{"date-parts":[[2026,9]]},"DOI":"10.1016\/j.isatra.2026.09.021","type":"journal-article","created":{"date-parts":[[2026,9,16]],"date-time":"2026-09-16T15:31:36Z","timestamp":1789572696000},"update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["Certified supervisory recovery and scheduling for automated manufacturing systems under diagnosis delay"],"prefix":"10.1016","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4970-2540","authenticated-orcid":false,"given":"Gang","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peng","family":"Wei","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.isatra.2026.09.021_bib0005","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.jmsy.2022.12.006","article-title":"Compound fault diagnosis for industrial robots based on dual-transformer networks","volume":"66","author":"Chong","year":"2023","journal-title":"J Manuf Syst"},{"key":"10.1016\/j.isatra.2026.09.021_bib0010","article-title":"Knowledge and data dual-driven transfer network for industrial robot fault diagnosis","volume":"182","author":"Tao","year":"2023","journal-title":"Mech Syst Signal Process"},{"key":"10.1016\/j.isatra.2026.09.021_bib0015","doi-asserted-by":"crossref","first-page":"798","DOI":"10.1016\/j.jmsy.2024.10.016","article-title":"A digital twin framework for anomaly detection in industrial robot system based on multiple physics-informed hybrid convolutional autoencoder","volume":"77","author":"Shijie","year":"2024","journal-title":"J Manuf Syst"},{"key":"10.1016\/j.isatra.2026.09.021_bib0020","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1016\/j.jmsy.2023.02.008","article-title":"Digital twin-enabled automated anomaly detection and bottleneck identification in complex manufacturing systems using a multi-agent approach","volume":"67","author":"Christina","year":"2023","journal-title":"J Manuf Syst"},{"key":"10.1016\/j.isatra.2026.09.021_bib0025","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1016\/j.jmsy.2022.08.010","article-title":"Time-based resilience metric for smart manufacturing systems and optimization method with dual-strategy recovery","volume":"65","author":"Qiang","year":"2022","journal-title":"J Manuf Syst"},{"issue":"6","key":"10.1016\/j.isatra.2026.09.021_bib0030","doi-asserted-by":"crossref","first-page":"2441","DOI":"10.1007\/s10845-023-02165-6","article-title":"Fault diagnosis and self-healing for smart manufacturing: a review","volume":"35","author":"Joma","year":"2024","journal-title":"J Intell Manuf"},{"key":"10.1016\/j.isatra.2026.09.021_bib0035","article-title":"A new modeling framework for networked discrete-event systems","volume":"138","author":"Ruochen","year":"2022","journal-title":"Automatica"},{"key":"10.1016\/j.isatra.2026.09.021_bib0040","article-title":"Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis","volume":"142","author":"Liyong","year":"2022","journal-title":"Automatica"},{"issue":"8","key":"10.1016\/j.isatra.2026.09.021_bib0045","doi-asserted-by":"crossref","first-page":"5508","DOI":"10.1109\/TAC.2024.3369510","article-title":"Distributed fault diagnosis in discrete event systems with transmission delay impairments","volume":"69","author":"Jiwei","year":"2024","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"10.1016\/j.isatra.2026.09.021_bib0050","article-title":"Decentralized fault diagnosis of discrete-event systems with unreliable sensors using linear temporal logic","volume":"68","author":"Weijie","year":"2025","journal-title":"Sci China Inf Sci"},{"key":"10.1016\/j.isatra.2026.09.021_bib0055","article-title":"Fault diagnosis of discrete event systems under uncertain initial conditions","volume":"255","author":"Ali","year":"2024","journal-title":"Expert Syst Appl"},{"key":"10.1016\/j.isatra.2026.09.021_bib0060","article-title":"An effective approach for fault diagnosis of discrete-event systems modeled as safe labeled Petri Nets","volume":"123","author":"Bonafin Ana","year":"2022","journal-title":"Control Eng Pract"},{"key":"10.1016\/j.isatra.2026.09.021_bib0065","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.arcontrol.2021.03.007","article-title":"Comparative analysis of related notions of robust diagnosability of discrete-event systems","volume":"51","author":"Kawakami","year":"2021","journal-title":"Annu Rev Control"},{"issue":"4","key":"10.1016\/j.isatra.2026.09.021_bib0070","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1007\/s13235-018-0285-3","article-title":"Supervisory control of discrete-event systems under attacks","volume":"9","author":"Masashi","year":"2019","journal-title":"Dyn Games Appl"},{"key":"10.1016\/j.isatra.2026.09.021_bib0075","article-title":"Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri Nets","volume":"677","author":"Yihui","year":"2024","journal-title":"Inf Sci"},{"key":"10.1016\/j.isatra.2026.09.021_bib0080","article-title":"Robust predictability of stochastic discrete-event systems and a polynomial-time verification","volume":"144","author":"Hui","year":"2022","journal-title":"Automatica"},{"key":"10.1016\/j.isatra.2026.09.021_bib0085","article-title":"Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets","volume":"125","author":"Arun","year":"2021","journal-title":"Automatica"},{"issue":"1","key":"10.1016\/j.isatra.2026.09.021_bib0090","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s10626-020-00325-x","article-title":"Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems","volume":"31","author":"van Putten","year":"2021","journal-title":"Discrete Event Dyn Syst"},{"key":"10.1016\/j.isatra.2026.09.021_bib0095","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1016\/j.ejcon.2021.06.023","article-title":"Specification governor for fault tolerant control of large-scale manufacturing systems","volume":"62","author":"Andreas","year":"2021","journal-title":"Eur J Control"},{"issue":"4","key":"10.1016\/j.isatra.2026.09.021_bib0100","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/s10626-023-00386-8","article-title":"On tolerance of discrete systems with respect to transition perturbations","volume":"33","author":"R\u00f4mulo","year":"2023","journal-title":"Discrete Event Dyn Syst"},{"issue":"4","key":"10.1016\/j.isatra.2026.09.021_bib0105","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1007\/s10626-024-00403-4","article-title":"Reducing the computational effort of symbolic supervisor synthesis","volume":"34","author":"Sander","year":"2024","journal-title":"Discrete Event Dyn Syst"},{"issue":"4","key":"10.1016\/j.isatra.2026.09.021_bib0110","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1007\/s10626-024-00408-z","article-title":"Offline supervisory control synthesis: taxonomy and recent developments","volume":"34","author":"Fokkink Wan","year":"2024","journal-title":"Discrete Event Dyn Syst"},{"issue":"12","key":"10.1016\/j.isatra.2026.09.021_bib0115","doi-asserted-by":"crossref","first-page":"7286","DOI":"10.1109\/TAC.2023.3257232","article-title":"Hierarchical supervisory control under partial observation: normality","volume":"68","author":"Jan","year":"2023","journal-title":"IEEE Trans Autom Control"},{"issue":"6","key":"10.1016\/j.isatra.2026.09.021_bib0120","doi-asserted-by":"crossref","first-page":"3796","DOI":"10.1109\/TAC.2023.3333792","article-title":"Supervisory control of modular discrete-event systems under partial observation: normality","volume":"69","author":"Jan","year":"2024","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"10.1016\/j.isatra.2026.09.021_bib0125","doi-asserted-by":"crossref","first-page":"4710","DOI":"10.1109\/TAC.2024.3355378","article-title":"A unified framework for verification of observational properties for partially-observed discrete-event systems","volume":"69","author":"Jianing","year":"2024","journal-title":"IEEE Trans Autom Control"},{"key":"10.1016\/j.isatra.2026.09.021_bib0130","article-title":"Planning on discrete event systems using parallelism maximization","volume":"112","author":"Alves Lucas","year":"2021","journal-title":"Control Eng Pract"},{"key":"10.1016\/j.isatra.2026.09.021_bib0135","article-title":"Optimal supervisory control of discrete event systems for cyclic tasks","volume":"164","author":"Peng","year":"2024","journal-title":"Automatica"},{"key":"10.1016\/j.isatra.2026.09.021_bib0140","doi-asserted-by":"crossref","first-page":"995","DOI":"10.1016\/j.jmsy.2024.05.006","article-title":"Petri-Net-based deep reinforcement learning for real-time scheduling of automated manufacturing systems","volume":"74","author":"Jiliang","year":"2024","journal-title":"J Manuf Syst"},{"key":"10.1016\/j.isatra.2026.09.021_bib0145","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1016\/j.jmsy.2024.04.028","article-title":"Introducing PetriRL: an innovative framework for JSSP resolution integrating Petri Nets and event-based reinforcement learning","volume":"74","author":"Sofiene","year":"2024","journal-title":"J Manuf Syst"},{"key":"10.1016\/j.isatra.2026.09.021_bib0150","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1016\/j.jmsy.2025.06.017","article-title":"Flexible manufacturing systems intralogistics: dynamic optimization of AGVs and tool sharing using colored-timed Petri Nets and actor\u2013critic reinforcement learning with actions masking","volume":"82","author":"Sofiene","year":"2025","journal-title":"J Manuf Syst"},{"key":"10.1016\/j.isatra.2026.09.021_bib0155","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1016\/j.jmsy.2024.04.026","article-title":"Integrated decision of production scheduling and condition-based maintenance planning for multi-unit systems with variable replacement thresholds","volume":"74","author":"Wenyu","year":"2024","journal-title":"J Manuf Syst"},{"key":"10.1016\/j.isatra.2026.09.021_bib0160","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1016\/j.jmsy.2024.03.009","article-title":"An improved genetic programming hyper-heuristic for the dynamic flexible job shop scheduling problem with reconfigurable manufacturing cells","volume":"74","author":"Haoxin","year":"2024","journal-title":"J Manuf Syst"},{"key":"10.1016\/j.isatra.2026.09.021_bib0165","article-title":"Dynamic scheduling for flexible job shop using a deep reinforcement learning approach","volume":"180","author":"Yong","year":"2023","journal-title":"Comput Ind Eng"},{"key":"10.1016\/j.isatra.2026.09.021_bib0170","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/j.jmsy.2022.03.011","article-title":"Development of a multidimensional conceptual model for job shop smart manufacturing scheduling from the Industry 4.0 perspective","volume":"63","author":"Serrano-Ruiz Julio","year":"2022","journal-title":"J Manuf Syst"},{"issue":"2","key":"10.1016\/j.isatra.2026.09.021_bib0175","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1016\/j.cirp.2025.04.095","article-title":"Future-proof production scheduling and control","volume":"74","author":"Marcello","year":"2025","journal-title":"CIRP Ann"},{"key":"10.1016\/j.isatra.2026.09.021_bib0180","series-title":"Synchronization and linearity: an algebra for discrete event systems","author":"Fran\u00e7ois","year":"1992"},{"key":"10.1016\/j.isatra.2026.09.021_bib0185","series-title":"Max plus at work: modeling and analysis of synchronized systems: a course on max-plus algebra and its applications","author":"Bernd","year":"2006"}],"container-title":["ISA Transactions"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S001905782600491X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S001905782600491X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T19:54:14Z","timestamp":1790798054000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S001905782600491X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9]]},"references-count":37,"alternative-id":["S001905782600491X"],"URL":"https:\/\/doi.org\/10.1016\/j.isatra.2026.09.021","relation":{},"ISSN":["0019-0578"],"issn-type":[{"value":"0019-0578","type":"print"}],"subject":[],"published":{"date-parts":[[2026,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Certified supervisory recovery and scheduling for automated manufacturing systems under diagnosis delay","name":"articletitle","label":"Article Title"},{"value":"ISA Transactions","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.isatra.2026.09.021","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 International Society of Automation. Published by Elsevier Ltd. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}]}}