Cited By
View all- Julius A(2015)Trajectory-Based Theory for Hybrid SystemsMathematical Control Theory I10.1007/978-3-319-20988-3_20(363-384)Online publication date: 14-Jul-2015
Probabilistic diagnosability of hybrid systems
Pages 88 - 97
Abstract
The model-based fault diagnosability analysis is concerned with the timely detection and isolation of faults by using the system model and observations of the system output. In this paper, we propose the (δd, δm, α)-diagnosability notion for hybrid systems with probabilistic reset, where the faults are diagnosed by observing the timed event sequences. We also present an approach for the analysis of such diagnosability.
The (δd, δm, α)-diagnosability notion characterizes the worst-case probability α of detecting and isolating faults within the maximum delay δd since their first occurrence, given the measurement uncertainty δm in observing the time intervals between observed events. We present a method of system abstraction, and prove a quantitative relation between the (δd, δm, α)-diagnosability of the original system and the abstraction. The abstraction has only finitely many trajectories that extend to the end of the time horizon of interest, which allows us to practically calculate the diagnosability and construct the diagnoser.
References
[1]
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138: 3--34, 1995.
[2]
S. Bohacek, J. P. Hespanha, J. Lee, and K. Obraczka. A hybrid systems modeling framework for fast and accurate simulation of data communication networks. In Proceedings of the 2003 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS '03, pages 58--69, 2003.
[3]
M.-O. Cordier, P. Dague, F. Levy, J. Montmain, M. Staroswiecki, and L. Trave-Massuyes. Conflicts versus analytical redundancy relations a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives. Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on, 34(5): 2163--2177, 2004.
[4]
Y. Deng, A. Rajhans, and A. A. Julius. Strong: A trajectory-based verification toolbox for hybrid systems. In Quantitative Evaluation of Systems, volume 8054 of Lecture Notes in Computer Science, pages 165--168. Springer Berlin Heidelberg, 2013.
[5]
M. D. Di Benedetto, S. Di Gennaro, and A. D'Innocenzo. Diagnosability verification for hybrid automata and durational graphs. In Decision and Control, 2007 46th IEEE Conference on, pages 1789--1794, 2007.
[6]
M. D. Di Benedetto, S. Di Gennaro, and A. D'Innocenzo. Diagnosability of hybrid automata with measurement uncertainty. In Decision and Control, 2008. CDC 2008. 47th IEEE Conference on, pages 1042--1047, 2008.
[7]
M. D. Di Benedetto, S. Di Gennaro, and A. D'Innocenzo. Discrete state observability of hybrid systems. Int. J. Robust Nonlinear Control, 19: 1564--1580, 2009.
[8]
M. D. Di Benedetto, S. Di Gennaro, and A. D'Innocenzo. Verification of hybrid automata diagnosability by abstraction. Automatic Control, IEEE Transactions on, 56(9): 2050--2061, Sept 2011.
[9]
J. J. Gertler. Survey of model-based failure detection and isolation in complex plants. Control Systems Magazine, IEEE, 8(6): 3--11, 1988.
[10]
M. Heymann, F. Lin, G. Meyer, and S. Resmerita. Analysis of zeno behaviors in hybrid systems. In In: Proceedings of the 41st IEEE Conference on Decision and Control, Las Vagas, NV (2002), pages 2379--2384, 2002.
[11]
A. A. Julius, G. E. Fainekos, M. Anand, I. Lee, and G. J. Pappas. Robust test generation and coverage for hybrid systems. In In Proc. of the 10th International Workshop on Hybrid Systems: Computation and Control, pages 329--342. Springer, 2007.
[12]
W. Liu and I. Hwang. Robust estimation and fault detection and isolation algorithms for stochastic linear hybrid systems with unknown fault input. Control Theory Applications, IET, 5(12): 1353--1368, August 2011.
[13]
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete-event systems. Automatic Control, IEEE Transactions on, 40(9): 1555--1575, 1995.
[14]
D. Thorsley. Diagnosability of stochastic chemical kinetic systems: a discrete event systems approach. In American Control Conference (ACC), 2010, pages 2623--2630, June 2010.
[15]
D. Thorsley and D. Teneketzis. Diagnosability of stochastic discrete-event systems. Automatic Control, IEEE Transactions on, 50(4): 476--492, April 2005.
[16]
S. Tripakis. Fault diagnosis for timed automata. In Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 2469 of Lecture Notes in Computer Science, pages 205--221. Springer Berlin Heidelberg, 2002.
[17]
F. Zhao, X. Koutsoukos, H. Haussecker, J. Reich, and P. Cheung. Monitoring and fault diagnosis of hybrid systems. Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on, 35(6): 1225--1240, Dec 2005.
Index Terms
- Probabilistic diagnosability of hybrid systems
Recommendations
A generalization of hybrid fault diagnosability
A hybrid fault situation in a PMC system is a (bounded) combination of permanently and intermittently faulty units. Mallela and Masson [8] have given a general characterization of PMC systems for the diagnosis of hybrid fault situations. For this so-...
Using Node Diagnosability to Determine t-Diagnosability under the Comparison Diagnosis Model
Diagnosis is an essential subject for the reliability of a multiprocessor system. Under the comparison diagnosis model, Sengupta and Dahbura proposed a polynomial-time algorithm with time complexity O(N^{5}) to identify all the faulty processors for a ...
Diagnosability study of technological systems
IEA/AIE'11: Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part IThis paper describes an approach to study the diagnosability of technological systems, by characterizing their observable behaviors. Due to the interaction between many components, faults can occur in a technological system and cause hard damages not ...
Comments
Information & Contributors
Information
Published In
April 2015
321 pages
Copyright © 2015 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- IEEE-CSS: Control Systems Society
- SIGBED: ACM Special Interest Group on Embedded Systems
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 14 April 2015
Check for updates
Qualifiers
- Research-article
Funding Sources
Conference
HSCC '15
Sponsor:
- IEEE-CSS
- SIGBED
HSCC '15: 18th International Conference on Hybrid Systems: Computation and Control
April 14 - 16, 2015
Washington, Seattle
Acceptance Rates
Overall Acceptance Rate 153 of 373 submissions, 41%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 83Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Oct 2024
Other Metrics
Citations
Cited By
View all- Julius A(2015)Trajectory-Based Theory for Hybrid SystemsMathematical Control Theory I10.1007/978-3-319-20988-3_20(363-384)Online publication date: 14-Jul-2015
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in