{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:24:20Z","timestamp":1761488660298},"reference-count":47,"publisher":"University of Zielona G\u00f3ra, Poland","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3,1]]},"abstract":"<jats:title>Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems<\/jats:title><jats:p>This paper presents a constrained decomposition methodology with output injection to obtain decoupled partial models. Measured process outputs and decoupled partial model outputs are used to generate structured residuals for Fault Detection and Isolation (FDI). An algebraic framework is chosen to describe the decomposition method. The constraints of the decomposition ensure that the resulting partial model is decoupled from a given subset of inputs. Set theoretical notions are used to describe the decomposition methodology in the general case. The methodology is then detailed for discrete-event model decomposition using pair algebra concepts, and an extension of the output injection technique is used to relax the conservatism of the decomposition.<\/jats:p>","DOI":"10.2478\/v10006-011-0008-z","type":"journal-article","created":{"date-parts":[[2011,3,30]],"date-time":"2011-03-30T01:08:12Z","timestamp":1301447292000},"page":"109-125","source":"Crossref","is-referenced-by-count":6,"title":["Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems"],"prefix":"10.61822","volume":"21","author":[{"given":"Denis","family":"Berdjag","sequence":"first","affiliation":[]},{"given":"Vincent","family":"Cocquempot","sequence":"additional","affiliation":[]},{"given":"Cyrille","family":"Christophe","sequence":"additional","affiliation":[]},{"given":"Alexey","family":"Shumsky","sequence":"additional","affiliation":[]},{"given":"Alexey","family":"Zhirabok","sequence":"additional","affiliation":[]}],"member":"37438","reference":[{"key":"1","first-page":"213","article-title":"Automated fault diagnosis using a discrete event systems framework","author":"S. Bavishi","year":"1994"},{"issue":"5","key":"2","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1109\/TAC.2003.811249","article-title":"Diagnosis of asynchronous discrete event systems: A net unfolding approach","volume":"48","author":"A. Benveniste","year":"2003","journal-title":"IEEE Transactions of Automatic Control"},{"key":"3","first-page":"42","article-title":"An algebraic method for nonlinear system decomposition","author":"D. Berdjag","year":"2006a"},{"key":"4","first-page":"3321","article-title":"Nonlinear model decomposition for fault detection and isolation system design","author":"D. Berdjag","year":"2006b"},{"issue":"6","key":"5","first-page":"1337","article-title":"Nonlinear model decomposition for robust fault detection and isolation using algebraic tools","volume":"2","author":"D. Berdjag","year":"2006c","journal-title":"International Journal of Innovative Computing, Information and Control"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05344-7","volume-title":"Diagnosis and Fault-Tolerant Control","author":"M. Blanke","year":"2003"},{"key":"7","first-page":"343","article-title":"Distributed contextual diagnosis for very large systems","author":"R. Boel","year":"2004"},{"key":"8","first-page":"720","article-title":"A Petri net approach to fault detection and diagnosis in distributed systems (Parts 1 and 2)","author":"R. Boubour","year":"1997"},{"issue":"7","key":"9","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1109\/TAC.1984.1103593","article-title":"Analytical redundancy and the design of robust failure detection systems","volume":"29","author":"E. Chow","year":"1984","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10","volume-title":"Ideals, Varieties, and Algorithms","author":"D. Cox","year":"1991"},{"key":"11","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BF02551378","article-title":"Elimination in control theory","volume":"4","author":"S. Diop","year":"1991","journal-title":"Mathematics of Control, Signals, and Systems"},{"key":"12","first-page":"1","article-title":"An algebraic approach to fault diagnosis for linear systems","author":"M. Fliess","year":"2003"},{"issue":"20","key":"13","doi-asserted-by":"crossref","first-page":"1223","DOI":"10.1080\/002071704200024374","article-title":"Robust residual generation for linear fault diagnosis: An algebraic setting with examples","volume":"77","author":"M. Fliess","year":"2004","journal-title":"International Journal of Control"},{"key":"14","first-page":"9","article-title":"Analytical redundancy methods in fault detection and isolation\u2014Survey and synthesis","volume":"1","author":"J. Gertler","year":"1991"},{"key":"15","volume-title":"Fault Detection and Diagnosis in Engineering Systems","author":"J. Gertler","year":"1998"},{"key":"16","first-page":"4086","article-title":"Petri net state estimators based on event observation","author":"A. Giua","year":"1997"},{"key":"17","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-48745-X_12","volume-title":"Application and Theory of Petri Nets","volume":"1639","author":"C. Hadjicostis","year":"1999"},{"issue":"9","key":"18","doi-asserted-by":"crossref","first-page":"1451","DOI":"10.1109\/9.948476","article-title":"A geometric approach to fault detection and isolation for bilinear systems","volume":"46","author":"H. Hammouri","year":"2001","journal-title":"IEEE Transactions on Automatic Control"},{"key":"19","volume-title":"Readings in Model-Based Diagnosis","author":"W. Hamscher","year":"1992"},{"key":"20","volume-title":"The Algebraic Structure Theory of Sequential Machines","author":"J. Hartmanis","year":"1966"},{"key":"21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996"},{"issue":"4","key":"22","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1016\/0005-1098(84)90098-0","article-title":"Process fault-detection based on modelling and estimation methods\u2014A survey","volume":"20","author":"R. Isermann","year":"1984","journal-title":"Automatica"},{"issue":"1","key":"23","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.arcontrol.2004.12.002","article-title":"Model-based filt detection and analysis\u2014Status and application","volume":"29","author":"R. Isermann","year":"2005","journal-title":"Annual Reviews in Control"},{"issue":"4","key":"24","first-page":"620","article-title":"Process fault diagnosis based on process model knowledge, Part <b>1<\/b>: Principles for fault diagnosis with parameter estimation","volume":"113","author":"R. Isermann","year":"1991","journal-title":"Transactions of the American Society of Mechanical Engineers"},{"key":"25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84628-615-5","volume-title":"Nonlinear Control Systems","author":"A. Isidori","year":"1995"},{"issue":"4","key":"26","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1080\/00207170410001669673","article-title":"Fault diagnosis based on adaptive observer for a class of nonlinear systems with unknown parameters","volume":"77","author":"B. Jiang","year":"2004","journal-title":"International Journal of Control"},{"issue":"9","key":"27","doi-asserted-by":"crossref","first-page":"1578","DOI":"10.1109\/TAC.2006.878732","article-title":"Fault accommodation for nonlinear dynamic systems","volume":"51","author":"B. Jiang","year":"2006","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"11","key":"28","doi-asserted-by":"crossref","first-page":"1829","DOI":"10.1016\/S0005-1098(99)00067-9","article-title":"Robust fault detection based on observers for bilinear systems","volume":"35","author":"M. Kinnaert","year":"1999","journal-title":"Automatica"},{"key":"29","first-page":"2058","article-title":"Failure diagnosis of dynamic systems: An approach based on discrete event systems","author":"S. Lafortune","year":"2001"},{"key":"30","article-title":"Failure detection and isolation for manufacturing systems","volume":"2","author":"D. Lefebvre","year":"1999","journal-title":"Revue internationale d'ingenierie des systemes de production mecanique"},{"issue":"3","key":"31","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1109\/TCST.2004.839577","article-title":"Fault residual generation via nonlinear analytical redundancy","volume":"13","author":"M. Leuschen","year":"2005","journal-title":"IEEE Transactions on Control Systems Technology"},{"issue":"2","key":"32","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF01441211","article-title":"Diagnosability of discrete event systems and its applications","volume":"4","author":"F. Lin","year":"1994","journal-title":"Discrete Event Dynamic Systems"},{"key":"33","unstructured":"Lootsma, T. (2001). <i>Observer-based Fault Detection and Isolation for Nonlinear Systems<\/i>, Ph.D. thesis, Aalborg University, Aalborg."},{"key":"34","first-page":"270","article-title":"Generation of analytical redundancy relations for FDI purposes","author":"D. Maquin","year":"1997"},{"issue":"2","key":"35","first-page":"393","article-title":"Fault detection and isolation and sensor network design","volume":"31","author":"D. Maquin","year":"1997","journal-title":"Journal europ\u00e9en des syst\u00e8mes automatis\u00e9s"},{"key":"36","first-page":"1","article-title":"Robust model-based fault diagnosis: The state of the art","volume":"1","author":"R. Patton","year":"1994"},{"issue":"9","key":"37","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","article-title":"Diagnosability of discreteevent systems","volume":"40","author":"M. Sampath","year":"1995","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"38","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","article-title":"Failure diagnosis using discrete-event models","volume":"4","author":"M. Sampath","year":"1996","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"39","first-page":"148","article-title":"Fault isolation in nonlinear dynamic systems by functional diagnosis","volume":"12","author":"A. Shumsky","year":"1991","journal-title":"Automation and Remote Control"},{"issue":"4","key":"40","doi-asserted-by":"publisher","first-page":"477","DOI":"10.2478\/v10006-007-0040-1","article-title":"Redundancy relations for fault diagnosis in nonlinear uncertain systems","volume":"17","author":"A. Shumsky","year":"2007","journal-title":"International Journal of Applied Mathematics and Computer Science"},{"issue":"1","key":"41","first-page":"115","article-title":"Nonlinear diagnostic filter design: Algebraic and geometric points of view","volume":"16","author":"A. Shumsky","year":"2006","journal-title":"International Journal of Applied Mathematics and Computer Science"},{"issue":"5","key":"42","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1016\/S0005-1098(01)00005-X","article-title":"Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems","volume":"37","author":"M. Staroswiecki","year":"2001","journal-title":"Automatica"},{"key":"43","volume-title":"Basic Set Theory, Student Mathematical Library","volume":"17","author":"N. Vereshchagin","year":"2002"},{"issue":"7","key":"44","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1109\/TAC.2003.814099","article-title":"Fault diagnosis in discrete-event systems: Framework and model reduction","volume":"48","author":"H. Zad","year":"2003","journal-title":"IEEE Transactions on Automatic Control"},{"key":"45","unstructured":"Zad, S. H. (1999). <i>Fault Diagnosis in Discrete-event and Hybrid Systems<\/i>, Ph.D. thesis, University of Toronto, Toronto."},{"issue":"4","key":"46","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1134\/S0005117906040011","article-title":"Nonlinear dynamic systems: Their canonical decomposition based on invariant functions","volume":"67","author":"A. Zhirabok","year":"2006","journal-title":"Automation and Remote Control"},{"key":"47","first-page":"485","article-title":"A new mathematical techniques for nonlinear systems research","author":"A. Zhirabok","year":"1993"}],"container-title":["International Journal of Applied Mathematics and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/content.sciendo.com\/view\/journals\/amcs\/21\/1\/article-p109.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/view\/j\/amcs.2011.21.issue-1\/v10006-011-0008-z\/v10006-011-0008-z.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T10:27:06Z","timestamp":1709202426000},"score":1,"resource":{"primary":{"URL":"https:\/\/content.sciendo.com\/doi\/10.2478\/v10006-011-0008-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,1]]},"references-count":47,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.2478\/v10006-011-0008-z","relation":{},"ISSN":["1641-876X"],"issn-type":[{"value":"1641-876X","type":"print"}],"subject":[],"published":{"date-parts":[[2011,3,1]]}}}