Stochastic non sequitur behavior analysis of fault tolerant hybrid systems
Pages 53 - 62
Abstract
In this paper, we introduce a new stochastic analysis method for the uncontrollable behaviour of hybrid systems triggered by faults. Models like manoeuvre automata can be used for controllable transitions between stable modes. However, the normal behaviour can become easily unpredictable when a fault occurs, and a human or an automated supervisor needs to take very quickly the right actions to drive the system back into a controllable state. The system behaviour while transiting two controllable states is called non sequitur. Using stochastic analysis we investigate how to extract information about non sequitur that can be used in stochastic control.
References
[1]
Bect, J.: A Unifying Formulation of the Fokker-Planck-Kolmogorov Equation for General Stochastic Hybrid Systems. Proc. of IFAC World Congress (2008).
[2]
Blom, H. A. P., Lygeros, J. (Eds.): "Stochastic Hybrid Systems: Theory and Safety Critical Applications" Springer Verlag LNCIS series 337 (2006).
[3]
Blom, H. A. P. and Bakker, G. J. and Krystul, J. Rare Event Estimation for a Large-Scale Stochastic Hybrid System With Air Traffic Application. In: Rare Event Simulation using Monte Carlo Methods. John Wiley & Sons, (2009): 193--214.
[4]
Boeing Company Aerodynamic Principles of Large-Airplane Upsets http://www.boeing.com/commercial/aeromagazine/aero_03/textonly/fo01txt.html
[5]
A330 Test Flight (1994) http://aviation-safety.net/database/record.php?id=19940630-0&lang=fr
[6]
Bujorianu, M. L., Lygeros, J.: Towards Modelling of General Stochastic Hybrid Systems. In {2}: 3--30.
[7]
Bujorianu, M. L., Bujorianu, M. C.: State-Constrained Reachability for Stochastic Hybrid Systems. IFAC Conference on Analysis and Design of Hybrid Systems (2009).
[8]
Bujorianu M. C., Bujorianu M. L. Towards Hilbertian Formal Methods in. Proc. of ACSD, IEEE Computer Society Press (2007).
[9]
China Airlines Flight 006 http://www.rvs.uni-bielefeld.de/publications/Incidents/DOCS/ComAndRep/ChinaAir/AAR8603.html
[10]
Davis, M. H. A.: "Markov Models and Optimization" Chapman & Hall, London, (1993).
[11]
Dellago, C., Bolhuis, P. G., Geissler, P. L. Transition Path Sampling Methods. In Computer Simulations in Condensed Matter: from Materials to Chemical Biology, Springer Verlag (2006).
[12]
Dellago, C.; Bolhuis, P. G.: Transition Path Sampling and Other Advanced Simulation Techniques for Rare Events. Springer Verlag (2010).
[13]
Ducard, G. J. J. "Fault Tolerant Flight Control Systems. Practical Methods for Small Unmanned Aerial Vehicles Challenge" Springer Verlag, Advances in Industrial Control Series (2009).
[14]
Douglas, C. C., Haase, G., Langer, U.: A Tutorial on Elliptic PDE Solvers and their Parallelization. SIAM (2003).
[15]
Edwards, C., Lombaerts, T., Smaili, H. "Fault Tolerant Flight Control: A Benchmark Challenge" Springer Verlag, Lectures Notes in Control and Information Sciences 399 (2010).
[16]
Frazzoli, E.: Robust Hybrid Control for Autonomous Vehicle Motion Planning. PhD thesis, MIT. Cambridge, MA (2001).
[17]
Frazzoli, E., Dahleh, M. A., Feron, E.: A Maneuver-Based Hybrid Control Architecture for Autonomous Vehicle Motion Planning. In T. Samad, G. Balas, eds., Software Enabled Control: Information Technology for Dynamical Systems. Wiley-IEEE Press (2003).
[18]
Ghosh, M. K., Arapostathis, A., Marcus, S. I.: An Optimal Control Problem Arising in Flexible Manufacturing Systems. in Proc. 30th IEEE Conf. on Decision and Control, (1991): 1884--1849.
[19]
Ghosh, M. K., Arapostathis, A., Marcus, S. I.: Optimal Control of Switching Diffusions with Application to Flexible Manifacturing Systems. SIAM J. Control Optim. 31(5), (1993): 1183--1204.
[20]
Ghosh, M. K., Arapostathis, A., Marcus, S. I.: Ergodic Control of Switching Diffusions. SIAM J. Control Optim. 35(6) (1997): 1952--1988.
[21]
Hradecky, S.: Crash: Colgan DH8D at Buffalo on February 12th 2009, impacted home while on approach. Aviation Herald, February (2010).
[22]
Jacod, J., Shiryayev, A. N.: "Limit Theorems for Stochastic Processes." Springer Verlag (1987).
[23]
Lunze J.: Fault Diagnosis of Discretely Controlled Continuous Systems by means of Discrete Event Models. Discrete Event Dyn. Syst. 18 (2008): 181--2010.
[24]
NTSB Aircraft Accident Report 01/01: United Airlines Flight 585 http://www.ntsb.gov/Publictn/2001/AAR0101.pdf
[25]
NTSB MetroJet B-737 In-Flight Event. February 24, (1999) http://www.ntsb.gov/Pressrel/1999/990223.htm
[26]
NTSB Aircraft Accident Report Uncontrolled Descent and Collision with Terrain USAir Flight 427 http://www.ntsb.gov/publictn/1999/AAR9901.pdf
[27]
NTSB Aircraft Accident Report Pan Am B707, Over The Atlantic, between London and Gander, February 3, (1959).
[28]
National Transportation Safety Committee Aircraft Accident Report Jakarta (2000) http://www.dephub.go.id/knkt/ntsc_aviation/RevisedMI185%20Final%20Report%20(2001)%20.pdf
[29]
Raffard, R. L., Hu, J., Tomlin, C. J.: Adjoint-based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems. in Proc. of HSCC: Hybrid Systems: Computation and Control, Springer Verlag (2005).
[30]
Riganelli, O., Grosu, R., Ramakrishnan, C. R., Smolka, S. A.: Power Optimization in Fault-Tolerant MANETs. In Proc. of Hase'08, the 11th IEEE High Assurance Systems Engineering Symposium, IEEE Computer Society, (2008): 362--370.
[31]
Shaked M., Shanthikumar J. G.: Reliability and Maintainability in "Handbook of Operations Research and Management Science" vol. 2, North Holland, (1990)
[32]
Flight United B-720 Turbulence Penetration Study, UAL B720, Upset near O'Neal Nebraska, July 12 (1963):18--19.
[33]
U.S. FAA Airplane Upset Recovery Training Aid, Revision 2, 443 pages, http://www.faa.gov/other_visit/aviation_industry/airline_operators/training/media/AP_UpsetRecovery_Book.pdf
[34]
Varadhan, S. R. S.: "Large Deviations and Applications". SIAM (1984).
[35]
Mahmoud, M. M., Jiang, J., Zhang, Y. "Active Fault Tolerant Control Systems. Stochastic Analysis and Synthesis." Springer Verlag, Lectures Notes in Control and Information Sciences 287, (2003).
[36]
Yang, H., Jiang, B., Cocquempot, V.: "Fault Tolerant Control Design for Hybrid Systems." Springer Verlag, Lectures Notes in Control and Information Sciences 397 (2010).
[37]
Yang, H., Jiang, B., Cocquempot, V.: Fault Tolerance Analysis for Stochastic Systems Using Switching Diffusion Processes. International Journal of Control 82(8), (2009): 1516--1525.
Index Terms
- Stochastic non sequitur behavior analysis of fault tolerant hybrid systems
Recommendations
Fault tolerant control using a fuzzy predictive approach
This paper proposes the application of fault-tolerant control (FTC) using fuzzy predictive control. The FTC approach is based on two steps, fault detection and isolation (FDI) and fault accommodation. The fault detection is performed by a model-based ...
Fault Tolerant Formations Control of UAVs Subject to Permanent and Intermittent Faults
The paper addresses the formation control of unmanned aerial vehicles (UAVs) in the presence of permanent and intermittent faults in each UAV. A fault tolerant control (FTC) scheme is developed to accommodate the permanent fault. It further shows that ...
Fault tolerant control of nonlinear systems based on fault diagnosis and switching
CI '07: Proceedings of the Third IASTED International Conference on Computational IntelligenceThis paper presents a fault tolerant control architecture using fault diagnosis and switching functions. The fault tolerant controller consists of a fault detection part to sense the faults, a fault isolation part to identify the types of faults that ...
Comments
Information & Contributors
Information
Published In
April 2011
330 pages
ISBN:9781450306294
DOI:10.1145/1967701
- General Chair:
- Marco Caccamo,
- Program Chairs:
- Emilio Frazzoli,
- Radu Grosu
Copyright © 2011 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
In-Cooperation
- IEEE
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 12 April 2011
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
HSCC '11
Sponsor:
Acceptance Rates
Overall Acceptance Rate 153 of 373 submissions, 41%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 145Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)1
Reflects downloads up to 23 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in