Monitoring of timed discrete events systems with interrupts

IEEE Transactions on Automation Science and Engineering

Volumn 7, Issue 1, 2010, Pages 146-150

  Allahham, Adib ^a   Alla, Hassane ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

Interrupting faults; Monitoring; Reachability analysis; Stopwatch automata; Timed discrete events systems

Indexed keywords

DISCRETE EVENTS SYSTEMS; INDUSTRIAL ENVIRONMENTS; MONITORING SYSTEM; PROGRAMMING LOGIC; REACHABILITY ANALYSIS; SEQUENTIAL FUNCTION CHARTS; STOPWATCH AUTOMATA; SUB-SPACES; SYSTEM FAULTS;

AUTOMATA THEORY; MATHEMATICAL MODELS; ROBOTS; STOP WATCHES; SWITCHING CIRCUITS; TRANSLATION (LANGUAGES);

MONITORING;

EID: 73849137270     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2009.2015957     Document Type: Article

References (18)

1. Z. Huang, V. Chandra, S. Jiang, and R. Kumar, "Modeling discrete event systems with faults using a rules based modeling formalism," Mathemat. Model. Syst., vol. 9, no. 3, pp. 83-106, Jul. 1996.
2. J. Chen and R. Patton, Robust Model-Based Fault Diagnosis for Dynamic Systems. Boston, MA: Kluwer Academic, 1999.
3. P. Frank, "Analytical and qualitative model-based fault diagnosis-A survey and some new results," Eur. J. Contr., vol. 2, no. 1, pp. 6-28, 1996.
4. M. Sampath, R. Senqupta, S. Lafortune, K. Sinnamohideen, and C. Teneketzis, "Failure diagnosis using discrete-event models," IEEE Trans. Contr. Syst. Technol., vol. 4, no. 2, pp. 105-124, Mar. 1996.
5. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-events systems: Incorporating timing information," IEEE Trans. Automat. Contr., vol. 50, no. 7, pp. 1010-1015, Jul. 2005.
6. Y.-L. Chen and G. Provan, "Modeling and diagnosis of timed discrete event systems-A factory automation example," in Proc. Amer. Contr. Conf. (ACC'97), 1997, pp. 31-36.
7. S. Tripakis, "Fault diagnosis for timed automata," in Proc. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02), 2002, vol. LNCS 2791, pp. 205-224.
8. S. Jiang and R. Kumar, "Diagnosis of dense-time systems using digital clocks," in Proc. Amer. Contr. Conf. (ACC'06), Minneapolis, MN, Jun. 2006, pp. 6051-6056.
9. A. Correcher, E. Garcia, F. Morant, E. Quiles, and R. Blasco-Gimenez, "Intermittent failure diagnosis in industrial processes," in Proc. IEEE Int. Symp. Ind. Electron., 2003, vol. 2, pp. 723-728.
10. S. Jiang, R. Kumar, and H. E. Garcia, "Diagnosis of repeated/intermittent failure in discrete event systems," IEEE Trans. Robot. Automat., vol. 19, no. 2, pp. 310-323, Apr. 2003.
11. V. Srinivasan and M. Jafari, "Fault detection/monitoring using time petri nets," IEEE Trans. Syst., Man Cybern., vol. 23, no. 4, pp. 1155-1162, Jul./Aug. 1993.
12. D. N. Pandalai and L. E. Holloway, "Template languages for fault monitoring of timed discrete event processes," IEEE Trans. Automat. Contr., vol. 45, no. 5, pp. 868-882, May 2000.
13. T. A. Henzinger, P. W. Kopke, A. Puri, and V. Varaiya, "What's decidable about hybrid automata?," J. Comput. Sci., vol. 57, no. 1, pp. 94-124, Aug. 1998.
14. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzingerd, P. Hod, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algoritmic analysis of hybrid systems," Theoret. Comput. Sci., vol. 138, no. 1, 1995.
15. G. Frehse, "Phaver: Algorithmic verification of hybrid systems past hytech," in Proc. 5th Int. Workshop Hybrid Syst.: Computat. Contr., 2005, pp. 258-273.
16. A. Allahham and H. Alla, "Monitoring the discrete events systems by using the stopwatch automata," GIPSA Lab., Dept. Contr. Syst., Grenoble Univ., St. Martin, France, Internal Rep., 2007.
17. O. Maler, A. Pnueli, and J. Sifakis, "On the synthesis of discrete controllers for timed systems," in Proc. 12th Annu. Symp. Theoretical Aspects of Comput. Sci., Mar. 1995, pp. 229-242, Springer, Lecture Notes in Computer Science vol. 900.
18. A. Allahham and H. Alla, "Monitoring of a class of timed discrete events systems," in Proc. IEEE Int. Conf. Robot. Automat., Rome, Italy, 2007, pp. 3609-3614.