{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:52:23Z","timestamp":1760820743522,"version":"build-2065373602"},"reference-count":35,"publisher":"MDPI AG","issue":"11","license":[{"start":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T00:00:00Z","timestamp":1446681600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Aeronautics Fund of China","award":["2013ZD51055"],"award-info":[{"award-number":["2013ZD51055"]}]},{"DOI":"10.13039\/501100004543","name":"China Scholarship Council","doi-asserted-by":"publisher","award":["201306020068"],"award-info":[{"award-number":["201306020068"]}],"id":[{"id":"10.13039\/501100004543","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>Cyber-physical systems such as autonomous spacecraft, power plants and automotive systems become more vulnerable to unanticipated failures as their complexity increases. Accurate tracking of system dynamics and fault diagnosis are essential. This paper presents an efficient state estimation method for dynamic systems modeled as concurrent probabilistic automata. First, the Labeled Uncertainty Graph (LUG) method in the planning domain is introduced to describe the state tracking and fault diagnosis processes. Because the system model is probabilistic, the Monte Carlo technique is employed to sample the probability distribution of belief states. In addition, to address the sample impoverishment problem, an innovative look-ahead technique is proposed to recursively generate most likely belief states without exhaustively checking all possible successor modes. The overall algorithms incorporate two major steps: a roll-forward process that estimates system state and identifies faults, and a roll-backward process that analyzes possible system trajectories once the faults have been detected. We demonstrate the effectiveness of this approach by applying it to a real world domain: the power supply control unit of a spacecraft.<\/jats:p>","DOI":"10.3390\/s151128031","type":"journal-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T10:56:04Z","timestamp":1446720964000},"page":"28031-28051","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["State Tracking and Fault Diagnosis for Dynamic Systems Using Labeled Uncertainty Graph"],"prefix":"10.3390","volume":"15","author":[{"given":"Gan","family":"Zhou","sequence":"first","affiliation":[{"name":"School of Electronic and Information Engineering, Beihang University, Beijing 100191, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenquan","family":"Feng","sequence":"additional","affiliation":[{"name":"School of Electronic and Information Engineering, Beihang University, Beijing 100191, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3508-027X","authenticated-orcid":false,"given":"Qi","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Electronic and Information Engineering, Beihang University, Beijing 100191, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1196-4089","authenticated-orcid":false,"given":"Hongbo","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Electronic and Information Engineering, Beihang University, Beijing 100191, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2015,11,5]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1109\/TASE.2008.2009094","article-title":"Designing distributed diagnosers for complex continuous systems","volume":"6","author":"Roychoudhury","year":"2009","journal-title":"IEEE Trans. Autom. Sci."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"10991","DOI":"10.3390\/s150510991","article-title":"Faults Diagnostics of Railway Axle Bearings Based on IMF\u2019s Confidence Index Algorithm for Ensemble EMD","volume":"15","author":"Yi","year":"2015","journal-title":"Sensors"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"1182","DOI":"10.3390\/s150101182","article-title":"Fault Diagnosis of Rolling Bearing Based on Fast Nonlocal Means and Envelop Spectrum","volume":"15","author":"Lv","year":"2015","journal-title":"Sensors"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1109\/61.108901","article-title":"A new approach for fault location problem on power lines","volume":"7","author":"Ranjbar","year":"1992","journal-title":"IEEE Trans. Power Deliv."},{"key":"ref_5","unstructured":"Gertler, J. (1998). Fault Detection and Diagnosis in Engineering Systems, CRC Press."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1109\/TCST.2007.906317","article-title":"Parameter estimation-based fault detection, isolation and recovery for nonlinear satellite models","volume":"16","author":"Jiang","year":"2008","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"ref_7","unstructured":"Dearden, R., Willeke, T., Simmons, R., Verma, V., Hutter, F., and Thrun, S. (2004, January 6\u201313). Real-time fault detection and situational awareness for rovers: Report on the mars technology program task. Proceedings of the IEEE Aerospace Conference, Moffett Field, CA, USA."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","article-title":"Overview of fault diagnosis methods for Discrete Event Systems","volume":"37","author":"Zaytoon","year":"2013","journal-title":"Annu. Rev. Control."},{"key":"ref_9","first-page":"93","article-title":"An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems","volume":"20","author":"Torta","year":"2007","journal-title":"AI Commun."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1002\/spe.773","article-title":"A diagnostic environment for automaton networks","volume":"37","author":"Cerutti","year":"2007","journal-title":"Softw. Pract. Exp."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1142\/S0218213002000927","article-title":"A decentralized model-based diagnostic tool for complex systems","volume":"11","author":"Cordier","year":"2002","journal-title":"Int. J. Artif. Intell. Tools"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","article-title":"A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks","volume":"164","author":"Cordier","year":"2005","journal-title":"Artif. Intell."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"2163","DOI":"10.1109\/TSMCB.2004.835010","article-title":"Conflicts versus analytical redundancy relations: A comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives","volume":"34","author":"Cordier","year":"2004","journal-title":"IEEE Trans. Syst. Man Cybern. Part B Cybern."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"863","DOI":"10.1109\/TSMC.2013.2284577","article-title":"A Common Framework for Compilation Techniques Applied to Diagnosis of Linear Dynamic Systems","volume":"44","author":"Bregon","year":"2014","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.engappai.2013.09.018","article-title":"Bridging control and artificial intelligence theories for diagnosis: A survey","volume":"27","year":"2014","journal-title":"Eng. Appl. Artif. Intell."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","article-title":"Failure diagnosis using discrete-event models","volume":"4","author":"Sampath","year":"1996","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","article-title":"Diagnosability of discrete-event systems","volume":"40","author":"Sampath","year":"1995","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref_18","unstructured":"Schumann, A., Pencol\u00e9, Y., and Thi\u00e9baux, S. (2007, January 29\u201331). A Spectrum of Symbolic On-Line Diagnosis Approaches. Proceedings of the 18th International Workshop on Principles of Diagnosis, Nashville, TN, USA."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","article-title":"Diagnosis of large active systems","volume":"110","author":"Baroni","year":"1999","journal-title":"Artif. Intell."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"1040","DOI":"10.1109\/TSMCC.2007.900622","article-title":"Hierarchical fault diagnosis: Application to an ozone plant","volume":"37","year":"2007","journal-title":"IEEE Trans. Syst. Man Cybern. Part C Appl. Rev."},{"key":"ref_21","unstructured":"Williams, B.C., and Nayak, P.P. (1996, January 4\u20138). A model-based approach to reactive self-configuring systems. Proceedings of the National Conference on Artificial Intelligence, Portland, OR, USA."},{"key":"ref_22","unstructured":"Kurien, J., and Nayak, P.P. (August, January 30). Back to the future for consistency-based trajectory tracking. Proceedings of the National Conference on Artificial Intelligence, Austin, TX, USA."},{"key":"ref_23","unstructured":"Martin, O.B., Williams, B.C., and Ingham, M.D. (2005, January 9\u201313). Diagnosis as approximate belief state enumeration for probabilistic concurrent constraint automata. Proceedings of the National Conference on Artificial Intelligence, Pittsburgh, PA, USA."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"1562","DOI":"10.1016\/j.dam.2005.10.022","article-title":"Conflict-directed A* and its role in model-based embedded systems","volume":"155","author":"Williams","year":"2007","journal-title":"Discret. Appl. Math."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1613\/jair.1869","article-title":"Planning graph heuristics for belief space search","volume":"26","author":"Bryce","year":"2006","journal-title":"J. Artif. Intell. Res."},{"key":"ref_26","unstructured":"Wang, M., and Dearden, R. (2009, January 14\u201317). Detecting and learning unknown fault states in hybrid diagnosis. Proceedings of the 20th International Workshop on Principles of Diagnosis, Stockholm, Sweden."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artif. Int."},{"key":"ref_28","unstructured":"Verma, I., Thrun, S., and Simmons, R. (2003, January 9\u201315). Variable resolution particle filter. Proceedings of the International Joint Conference of Artificial Intelligence, Acapulco, Mexico."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"848","DOI":"10.1016\/j.artint.2010.12.002","article-title":"State agnostic planning graphs: Deterministic, non-deterministic, and probabilistic planning","volume":"175","author":"Bryce","year":"2011","journal-title":"Artif. Int."},{"key":"ref_30","unstructured":"Bryce, D. (2007). Scalable Planning under Uncertainty. [Ph.D. Thesis, Arizona State University]."},{"key":"ref_31","unstructured":"Haslum, P., and Grastien, A. (2011, January 11\u201316). Diagnosis as planning: Two case studies. Proceedings of the International Scheduling and Planning Applications workshop, Freiburg, Germany."},{"key":"ref_32","unstructured":"Gilks, W.R. (2005). Markov Chain Monte Carlo, John Wiley & Sons, Ltd."},{"key":"ref_33","unstructured":"Russell, S., and Norvig, P. (2010). Artificial Intelligence: A Modern Approach, Prentice Hall. [3rd ed.]."},{"key":"ref_34","unstructured":"Struss, P., and Dressler, O. (1989, January 20\u201325). \u201cPhysical Negation\u201d Integrating Fault Models into the General Diagnostic Engine. Proceedings of the International Joint Conference of Artificial Intelligence, Detroit, MI, USA."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.robot.2007.07.003","article-title":"A combined stochastic and greedy hybrid estimation capability for concurrent hybrid models with autonomous mode transitions","volume":"56","author":"Blackmore","year":"2008","journal-title":"Robot. Auton. Syst."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/15\/11\/28031\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T20:51:34Z","timestamp":1760215894000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/15\/11\/28031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,5]]},"references-count":35,"journal-issue":{"issue":"11","published-online":{"date-parts":[[2015,11]]}},"alternative-id":["s151128031"],"URL":"https:\/\/doi.org\/10.3390\/s151128031","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2015,11,5]]}}}