Jump to : Abstract | Contact | BibTex reference | EndNote reference |


C. Morvan, S. Pinchinat. Diagnosability of pushdown systems. AutomathA, Liège, Belgique, June 2009.


Diagnosis problems of discrete-event systems consist in detecting unobservable defects during system execution. For finite-state systems, the theory is well understood and a number of effective solutions have been developed. For infinite-state systems, however, there are only few results, mostly identifying classes where the problem is undecidable. We consider higher-order pushdown systems and investigate two basic variants of diagno- sis problems: the diagnosability, which consists in deciding whether defects can be detected within a finite delay, and the bounded-latency problem, which consists in determining a bound for the delay of detecting defects


Christophe Morvan http://www-igm.univ-mlv.fr/~cmorvan/

BibTex Reference

   Author = {Morvan, C. and Pinchinat, S.},
   Title = {Diagnosability of pushdown systems},
   BookTitle = {AutomathA},
   Address = {Liège, Belgique},
   Month = {June},
   Year = {2009}

EndNote Reference [help]

Get EndNote Reference (.ref)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs