@incollection(Adler05,
 author       = "B. Adler and L. de Alfaro and M. Faella",
 year         = "2005",
 title        = "Average Reward Timed Games",
 booktitle    = "Formal Modeling and Analysis of Timed Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "3829",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "65--80",
 doi          = "10.1007/11603009_6",
)
@article(Alur95,
 author       = "R. Alur and C. Courcoubetis and N. Halbwachs and T. A. Henzinger and P. h. Ho and X. Nicollin and A. Olivero and J. Sifakis and S. Yovine",
 year         = "1995",
 title        = "The Algorithmic Analysis of Hybrid Systems",
 journal      = "Theoretical Computer Science",
 volume       = "138",
 pages        = "3--34",
 doi          = "10.1016/0304-3975(94)00202-T",
)
@article(Alur94,
 author       = "R. Alur and D. L. Dill",
 year         = "1994",
 title        = "A theory of timed automata",
 journal      = "Theoretical Computer Science",
 volume       = "126",
 number       = "2",
 pages        = "183 -- 235",
)
@inproceedings(Asarin98,
 author       = "E. Asarin and O. Maler and A. Pnueli and J. Sifakis",
 year         = "1998",
 title        = "Controller Synthesis For Timed Automata",
 booktitle    = "Proceedings of the IFAC Symposium on System Structure and Control",
 publisher    = "Elsevier Science Publishers",
 pages        = "469--474",
)
@phdthesis(vanBenthem78,
 author       = "J. van Benthem",
 year         = "1978",
 title        = "Modal correspondence theory",
 school       = "Department of Mathematics, University of Amsterdam",
 address      = "Amsterdam, The Netherlands",
)
@book(FTC_book,
 author       = "M. Blanke and M. Kinnaert and M. Staroswiecki and J. Lunze",
 year         = "2003",
 title        = "Diagnosis and fault-tolerant control",
 publisher    = "Springer-Verlag",
)
@article(Bouyer10,
 author       = "P. Bouyer and T. Brihaye and F. Chevalier",
 year         = "2010",
 title        = "O-Minimal Hybrid Reachability Games",
 journal      = "Logical Methods in Computer Science",
 volume       = "6",
 number       = "1:1",
 pages        = "1--48",
)
@incollection(Bouyer08,
 author       = "P. Bouyer and T. Brihaye and M. Jurdzi{\'n}ski and R. Lazi{\'c} and M. Rutkowski",
 year         = "2008",
 title        = "Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets",
 booktitle    = "Formal Modeling and Analysis of Timed Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "5215",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "63--77",
 doi          = "10.1007/978-3-540-85778-5_6",
)
@incollection(Bouyer05,
 author       = "P. Bouyer and F. Chevalier and D. D'Souza",
 year         = "2005",
 title        = "Fault Diagnosis Using Timed Automata",
 booktitle    = "Foundations of Software Science and Computational Structures",
 series       = "Lecture Notes in Computer Science",
 volume       = "3441",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "219--233",
 doi          = "10.1007/978-3-540-31982-5_14",
)
@inproceedings(Brihaye04,
 author       = "T. Brihaye and C. Michaux and C. Rivi\`ere and C. Troestler",
 year         = "2004",
 title        = "{On O-Minimal Hybrid Systems}",
 booktitle    = "Proceedings of Hybrid Systems: Computation and Control (HSCC'04)",
 series       = "Lecture Notes in Computer Science",
 volume       = "2993",
 publisher    = "Springer",
 pages        = "219--233",
 doi          = "10.1007/978-3-540-24743-2_15",
)
@article(Console91,
 author       = "L. Console and P. Torasso",
 year         = "1991",
 title        = "A spectrum of logical definitions of model-based diagnosis",
 journal      = "Computational Intelligence",
 volume       = "7",
 number       = "3",
 pages        = "133--141",
 doi          = "10.1111/j.1467-8640.1991.tb00388.x",
)
@article(Fey08,
 author       = "G. Fey and S. Staber and R. Bloem and R. Drechsler",
 year         = "2008",
 title        = "Automatic Fault Localization for Property Checking",
 journal      = "Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on",
 volume       = "27",
 number       = "6",
 pages        = "1138 --1149",
)
@inproceedings(fourlas01,
 author       = "G.K. Fourlas and K.J. Kyriakopoulos and N.J. Krikelis",
 year         = "2001",
 title        = "A Framework for Fault Detection of Hybrid Systems",
 booktitle    = "Proceedings of the IEEE MED 2001 Conference",
 address      = "Dubrovnik, Croatia",
)
@inproceedings(Henzinger96,
 author       = "T. A. Henzinger",
 year         = "1996",
 title        = "The theory of hybrid automata",
 booktitle    = "Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science",
 publisher    = "IEEE Computer Society",
 pages        = "278--292",
 doi          = "10.1109/LICS.1996.561342",
)
@inproceedings(Henzinger99,
 author       = "T. A. Henzinger and B. Horowitz and R. Majumdar",
 year         = "1999",
 title        = "Rectangular Hybrid Games",
 booktitle    = "Proceedings of the 10th International Conference on Concurrency Theory",
 series       = "LNCS",
 volume       = "1664",
 publisher    = "Springer-Verlag",
 pages        = "320--335",
)
@book(chem_FDI78,
 author       = "D.M. Himmelblau",
 year         = "1978",
 title        = "Fault detection and diagnosis in chemical and petrochemical processes",
 series       = "Chemical engineering monographs",
 publisher    = "Elsevier Scientific Pub.",
)
@article(isermann,
 author       = "R. Isermann",
 year         = "1984",
 title        = "Process Fault Detection Based on Modeling and Estimation Methods - A Survey",
 journal      = "Automatica",
 volume       = "20",
 number       = "4",
 pages        = "387--404",
 doi          = "10.1016/0005-1098(84)90098-0",
)
@article(Jobstmann11,
 author       = "B. Jobstmann and S. Staber and A. Griesmayer and R. Bloem",
 year         = "2011",
 title        = "Finding and Fixing Faults",
 journal      = "Journal of Computer and System Sciences (JCSS)",
 url          = "http://www-verimag.imag.fr/~jobstman/bib/files/findingandfixing.pdf",
 note         = "To appear",
)
@misc(colin_flight,
 author       = "C.N. Jones and J.M. Maciejowski",
 year         = "2005",
 title        = "Fault Tolerant Flight Control - An Overview",
 howpublished = "Cambridge University - Engineering Department, Technical Report",
)
@article(Lafferriere00,
 author       = "G. Lafferriere and G. J. Pappas and S. Sastry",
 year         = "2000",
 title        = "{O-Minimal Hybrid Systems}",
 journal      = "Mathematics of Control, Signals, and Systems",
 volume       = "13",
 pages        = "1--21",
 doi          = "10.1007/PL00009858",
)
@article(Lynch03,
 author       = "N. Lynch and R. Segala and F. Vaandrager",
 year         = "2003",
 title        = "Hybrid {I/O} automata",
 journal      = "Information and Computation",
 volume       = "185",
 number       = "1",
 pages        = "105 -- 157",
)
@inproceedings(maler91from,
 author       = "O. Maler and Z. Manna and A. Pnueli",
 year         = "1991",
 title        = "From Timed to Hybrid Systems",
 editor       = "J. W. de Bakker and C. Huizing and W. P. de Roever and G. Rozenberg",
 booktitle    = "Real-Time: Theory in Practice",
 volume       = "600",
 publisher    = "Springer-Verlag",
 pages        = "447--484",
 doi          = "10.1007/BFb0032003",
)
@inproceedings(MM_FDI2,
 author       = "D. Mignone and A. Bemporad and M. Morari",
 year         = "1999",
 title        = "Moving Horizon Estimation for Hybrid Systems and Fault Detection",
 booktitle    = "Proceedings of the American Control Conference",
 address      = "San Diego, California",
 pages        = "2471--2475",
)
@book(patton_book,
 author       = "R.J. Patton and P.M. Frank and R.N. Clark",
 year         = "2000",
 title        = "Issues of Fault Diagnosis for Dynamical Systems",
 publisher    = "Springer-Verlag",
)
@book(FDI81,
 author       = "L.F. Pau",
 year         = "1981",
 title        = "Failure Diagnosis and Performance Monitoring",
 publisher    = "Marcel Dekker",
)
@article(ind_procFD,
 author       = "I.R. Petersen and D.C McFarlane",
 year         = "2004",
 title        = "A methodology for Robust Fault Detection in Dynamic Systems",
 journal      = "Control Engineering Practice",
 volume       = "12",
 pages        = "123--138",
 doi          = "10.1016/S0967-0661(03)00004-2",
)
@incollection(Poole87,
 author       = "D. Poole and R. Goebel and R. Aleliunas",
 year         = "1987",
 title        = "Theorist: a logical reasoning system for defaults and diagnosis'",
 editor       = "N. Cercone and G. McCalla",
 booktitle    = "The Knowledge Frontier: Essays in the Representation of Knowledge",
 publisher    = "Springer-Verlag",
 pages        = "331--352",
)
@article(Reiter87,
 author       = "R. Reiter",
 year         = "1987",
 title        = "A theory of diagnosis from first principles",
 journal      = "Artificial Intelligence",
 volume       = "32",
 number       = "1",
 pages        = "57--95",
 doi          = "10.1016/0004-3702(87)90062-2",
)
@book(schroeder,
 author       = "J. Schr\"{o}der",
 year         = "2003",
 title        = "Modelling, State Observation and Diagnosis of Quantised Systems",
 series       = "Lecture Notes in Control and Information Sciences",
 publisher    = "Springer",
 doi          = "10.1007/b94129",
)
@article(tomlin2000,
 author       = "C.J. Tomlin and J. Lygeros and S.S. Sastry",
 year         = "2000",
 title        = "A game theoretic approach to controller design for hybrid systems",
 journal      = "Proceedings of the IEEE",
 volume       = "88",
 number       = "7",
 pages        = "949--970",
 doi          = "10.1109/5.871303",
)
@incollection(Vladimerou08,
 author       = "V. Vladimerou and P. Prabhakar and M. Viswanathan and G. Dullerud",
 year         = "2008",
 title        = "STORMED Hybrid Systems",
 booktitle    = "Automata, Languages and Programming",
 series       = "Lecture Notes in Computer Science",
 volume       = "5126",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "136--147",
 doi          = "10.1007/978-3-540-70583-3_12",
)