@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",
)