A theory of abstraction for diagnosis of dicrete-event systems
| dc.contributor.author | Grastien, Alban | |
| dc.contributor.author | Torta, Gianluca | |
| dc.coverage.spatial | Barcelona Spain | |
| dc.date.accessioned | 2015-12-08T22:43:53Z | |
| dc.date.created | July 17-18 2011 | |
| dc.date.issued | 2011 | |
| dc.date.updated | 2015-12-08T10:43:08Z | |
| dc.description.abstract | We propose a theory of abstraction of discrete-event systems (DES) formulated at the semantic level, i.e., as a function that maps event traces at the original (ground) level to traces at the abstract level. We study how diagnosis of DES can be performed | |
| dc.identifier.uri | http://hdl.handle.net/1885/37399 | |
| dc.publisher | Conference Organising Committee | |
| dc.relation.ispartofseries | Symposium on Abstraction Reformulation, and Approximation (SARA 2011) | |
| dc.source | Symposium on Abstraction, Reformulation, and Approximation (SARA 2011) proceedings | |
| dc.title | A theory of abstraction for diagnosis of dicrete-event systems | |
| dc.type | Conference paper | |
| local.bibliographicCitation.startpage | 8 | |
| local.contributor.affiliation | Grastien, Alban , College of Engineering and Computer Science, ANU | |
| local.contributor.affiliation | Torta, Gianluca, Universit`a di Torino | |
| local.contributor.authoruid | Grastien, Alban , a230022 | |
| local.description.embargo | 2037-12-31 | |
| local.description.notes | Imported from ARIES | |
| local.description.refereed | Yes | |
| local.identifier.absfor | 080101 - Adaptive Agents and Intelligent Robotics | |
| local.identifier.absseo | 890299 - Computer Software and Services not elsewhere classified | |
| local.identifier.ariespublication | u4963866xPUB148 | |
| local.identifier.scopusID | 2-s2.0-84887625442 | |
| local.type.status | Published Version |
Downloads
Original bundle
1 - 1 of 1
Loading...
- Name:
- 01_Grastien_A_theory_of_abstraction_for_2011.pdf
- Size:
- 173.06 KB
- Format:
- Adobe Portable Document Format