@phdthesis(Bay2009, author = "M. Bayoudh", year = "2009", title = "Active diagnosis of hybrid systems guided by diagnosability properties - application to autonomous satellites", school = "Universit{\'e} de Toulouse, institut national polytechnique", ) @article(BaTrOlSp08, author = "M. Bayoudh and L Trav{\'e}-Massuyes and X Olive and T A Space", year = "2008", title = "Hybrid systems diagnosis by coupling continuous and discrete event techniques", journal = "IFAC World Congress", pages = "7265--7270", doi = "10.3182/20080706-5-KR-1001.01229", ) @article(Cao89, author = "X.R. Cao", year = "1989", title = "The predictability of discrete event systems", journal = "IEEE Transactions Automatic Control", volume = "34", number = "11", pages = "1168--1171", doi = "10.1109/9.40745", ) @inproceedings(Castaneda10, author = "G.-A. P\'erez Castaneda and J.-F. Aubry and N. Brinzei", year = "2010", title = "DyRelA (Dynamic Reliability and Assessment)", booktitle = "1st Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, DYADEM-FTS 2010", address = "Valence, Spain", doi = "10.1145/1772630.1772642", ) @inproceedings(Ferreiro08, author = "S. Ferreiro and A. Arnaiz", year = "2008", title = "Prognosis Based on Probabilistic Models and Reliability Analysis to improve aircraft maintenance", booktitle = "International Conference on Prognostics and Health Management", address = "Denver, USA", ) @inproceedings(Genc06a, author = "S. Genc and L. Lafortune", year = "2006", title = "Predictability in discrete-event systems under partial observations", booktitle = "6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Process (SAFEPROCESS)", address = "Beijing, China P.R.", pages = "1531--1536", doi = "10.3182/20060829-4-CN-2909.00243", ) @article(Genc09, author = "S. Genc and S. Lafortune", year = "2009", title = "Predictability of event occurrences in partially-observed discrete-event systems", journal = "Automatica", volume = "45", number = "2", pages = "301--311", doi = "10.1016/j.automatica.2008.06.022", ) @article(Hall03, author = "P. L. Hall and J. E. Strutt", year = "2003", title = "Probabilistic physics-of-failure models for component reliabilities using Monte Carlo simulation and Weibull analysis: a parametric study", journal = "Reliability Engineering and System Safety", volume = "80", pages = "233--242", doi = "10.1016/S0951-8320(03)00032-2", ) @conference(Hen1996, author = "T. Henzinger", year = "1996", title = "The theory of hybrid automata.", booktitle = "Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science", pages = "278--292", doi = "10.1109/LICS.1996.561342", ) @inproceedings(Jeron08, author = "T. J\'eron and H. Marchand and S. Genc and S. Lafortune", year = "2008", title = "Predictability of sequence patterns in discrete event systems", booktitle = "the 17th IFAC World Congress", pages = "537", doi = "10.3182/20080706-5-KR-1001.00091", ) @inproceedings(Khoumsi09, author = "A. Khoumsi", year = "2009", title = "Fault prognosis in real-time discrete event systems", booktitle = "DX'09", pages = "259", ) @book(Rausand04, author = "M. Rausand and A. Hoyland", year = "2004", title = "System reliability theory: models, statistical methods and applications", publisher = "Wiley", doi = "10.1002/9780470316900", ) @inproceedings(Ribot11, author = "P. Ribot and E. Bensana", year = "2011", title = "A generic adaptative prognostic function for heterogeneous multi-cmoponent systems: application to helicopters", booktitle = "ESREL 2011, European Safety \& Reliability Conference", address = "Troyes, France", doi = "10.1201/b11433-53", ) @inproceedings(Ribot09b, author = "P. Ribot and Y. Pencol\'e and M. Combacau", year = "2009", title = "Diagnosis and prognosis for the maintenance of complex systems", booktitle = "IEEE International Conference on Systems, Man, and Cybernetics", address = "USA", doi = "10.1109/ICSMC.2009.5346718", ) @article(Rienmuller13, author = "T. Rienmuller and M.W. Hofbaur and L. Trav\'e-Massuy\`es and M. Bayoudh", year = "2013", title = "Mode set focused hybrid estimation", journal = "International Journal of Applied Mathematics and Computer Science (AMCS)", volume = "23", number = "1", doi = "10.2478/amcs-2013-0011", ) @inproceedings(Roychoudhury11, author = "I. Roychoudhury and M. Daigle", year = "2011", title = "An Integrated Model-Based Diagnostic and Prognostic Framework", booktitle = "22nd International Workshop on Principle of Diagnosis", address = "Murnau, Germany", ) @article(Sam:95, author = "M. Sampath and R. Sengputa and S. Lafortune and K. Sinnamohideen and D. Teneketsis", year = "1995", title = "Diagnosability of Discrete-Event Systems", journal = "IEEE Trans. on Automatic Control", volume = "40", pages = "1555--1575", doi = "10.1109/9.412626", ) @article(Sta2001, author = "M Staroswiecki and G Comtet-Varga", year = "2001", title = "Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems", journal = "Automatica", volume = "37", number = "5", pages = "687--699", doi = "10.1016/S0005-1098(01)00005-X", ) @book(Vachtsevanos06, author = "G. Vachtsevanos and . L. Lewis and M. Roemer and A.Hess and B. Wu", year = "2006", title = "Intelligent Fault Diagnosis and Prognosis for Engineering Systems", publisher = "Wiley", doi = "10.1002/9780470117842.index", ) @conference(Zemouri06, author = "R. Zemouri and J.-M. Faure", year = "2006", title = "Diagnosis of discrete event system by stochastic timed automata", booktitle = "IEEE International Conference on Control Applications", address = "Munich, Germany", pages = "1861--1866", doi = "10.1109/CACSD-CCA-ISIC.2006.4776924", )