Monitoring of a class of timed discrete events systems

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2007, Pages 1003-1008

  Allahham, Adib ^a   Alla, Hassane ^a  

^a GIPS A Lab   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS SYSTEM; FAULT INDICATORS; INEQUALITY CLOCKS CONSTRAINTS; STOPWATCH AUTOMATA;

ALGORITHMS; AUTOMATA THEORY; FAULT DETECTION; SYSTEMS ANALYSIS;

DISCRETE EVENT SIMULATION;

EID: 36348953215     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2007.363116     Document Type: Conference Paper

References (12)

1. F. Cassez and K.J. Larsen. The impressive power of stopwatch. Number 1877, pages 138-152. Lecture Notes in Computer Science, Springer-Verlag, 2000.
2. J. Chen and R.J. Patton. Robust model-based fault diagnosis for dynamic systems. Kluwer Academic Publishers, 1999.
3. G. Frehse. Phaver: Algorithmic verification of hybrid systems past hytech. In Proceedings of the Fifth International Workshop on Hybrid Systems: Computation and Control, pages 258-273, 2005.
4. G. Frehse, B.H. Krogh, and R.A. Rutenbar. Verifying analog oscillator circuits using forward/backward abstraction refinement, volume 1, 2006.
5. M. Ghazel, A. Toguéni, and M. Bigang. A monitoring approach for discrete events systems based on a timed perti net model. Proceedings of 16th IFAC World Congress, 2005.
6. T. A. Henzinger, P. W. Kopke, A. Puri, and V. Varaiya. What's decidable about hybrid automata? Journal of Computer Sciences, 57, 1998.
7. S. Lafortune R. Sinnamohideen M. Sampath, R. Senqupta and C. Teneketzis. Failure diagnosis using discrete- event models. IEEE Transaction on Control Systems Technology, 4(2):105-124, March 1996.
8. D. N. Pandalai and L. E. Holloway. Template languages for fault monitoring of timed discrete event processes. IEEE Transactions On Automatic Control, 45(5), May 2000.
9. R. H. Kwong S. H. ZAd and W. M. Wonham. Fault diagnosis in discrete-event systems: Framework and model reduction. IEEE Transactions On Automatic Control, 48(7):1199-1212, July 2003.
10. R. Kumar S. Jiang and H. E. Garcia. Diagnosis of repeated/intermittent failure in discrete event systems. IEEE Transaction On Robotic and Automation, 19(2):310-323, 2003.
11. V.S. Srinivasan and M.A. Jafari. Fault detection/monitoring using time petri nets. IEEE Transactions on Systems, Man and Cybernetics, 23:1155-1162, 1993.
12. S. Jiang Z. Huang, V. Chandra and R. Kumar. Modeling discrte event systems with faults using a rules based modeling formalism. Mathematical Modeling of Systems, 1(1), 1996.