%0 Conference Proceedings
%F HVC2009
%A Morvan, C.
%A Pinchinat, S.
%T Diagnosability of pushdown systems
%B HVC2009, Haifa Verification Conference
%V 6405
%P 21-33
%S LNCS
%C Haifa, Israel
%X 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
%U ftp://ftp.irisa.fr/techreports/2008/PI-1904.pdf
%U http://dx.doi.org/10.1007/978-3-642-19237-1_6
%8 October
%D 2009