Prognosis of omega-languages for the diagnosis of *-languages: A topological perspective
| dc.contributor.author | Bauer, Andreas | |
| dc.contributor.author | Pinchinat, Sophie | |
| dc.date.accessioned | 2015-12-10T22:39:06Z | |
| dc.date.issued | 2009 | |
| dc.date.updated | 2016-02-24T11:44:36Z | |
| dc.description.abstract | This article offers a novel perspective on the diagnosis of*-languages via a topological characterization of ω-languages. This allows for the different concepts that currently exist in diagnosis of discrete-event systems to be related to one another in a | |
| dc.identifier.issn | 0924-6703 | |
| dc.identifier.uri | http://hdl.handle.net/1885/57026 | |
| dc.publisher | Kluwer Academic Publishers | |
| dc.source | Discrete Event Dynamic Systems: Theory and Applications | |
| dc.subject | Keywords: Complete problems; Discrete event systems; Diagnosis; Query languages; Linguistics Diagnosis | |
| dc.title | Prognosis of omega-languages for the diagnosis of *-languages: A topological perspective | |
| dc.type | Journal article | |
| local.bibliographicCitation.issue | 4 | |
| local.bibliographicCitation.lastpage | 470 | |
| local.bibliographicCitation.startpage | 451 | |
| local.contributor.affiliation | Bauer, Andreas, College of Engineering and Computer Science, ANU | |
| local.contributor.affiliation | Pinchinat, Sophie, IRISA | |
| local.contributor.authoruid | Bauer, Andreas, u4492070 | |
| local.description.embargo | 2037-12-31 | |
| local.description.notes | Imported from ARIES | |
| local.identifier.absfor | 080309 - Software Engineering | |
| local.identifier.absfor | 080203 - Computational Logic and Formal Languages | |
| local.identifier.absfor | 080303 - Computer System Security | |
| local.identifier.ariespublication | u8803936xPUB384 | |
| local.identifier.citationvolume | 19 | |
| local.identifier.doi | 10.1007/s10626-009-0084-5 | |
| local.identifier.scopusID | 2-s2.0-70350221914 | |
| local.type.status | Published Version |