References

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