Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

A theory of abstraction for diagnosis of dicrete-event systems

dc.contributor.authorGrastien, Alban
dc.contributor.authorTorta, Gianluca
dc.coverage.spatialBarcelona Spain
dc.date.accessioned2015-12-08T22:43:53Z
dc.date.createdJuly 17-18 2011
dc.date.issued2011
dc.date.updated2015-12-08T10:43:08Z
dc.description.abstractWe 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.urihttp://hdl.handle.net/1885/37399
dc.publisherConference Organising Committee
dc.relation.ispartofseriesSymposium on Abstraction Reformulation, and Approximation (SARA 2011)
dc.sourceSymposium on Abstraction, Reformulation, and Approximation (SARA 2011) proceedings
dc.titleA theory of abstraction for diagnosis of dicrete-event systems
dc.typeConference paper
local.bibliographicCitation.startpage8
local.contributor.affiliationGrastien, Alban , College of Engineering and Computer Science, ANU
local.contributor.affiliationTorta, Gianluca, Universit`a di Torino
local.contributor.authoruidGrastien, Alban , a230022
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080101 - Adaptive Agents and Intelligent Robotics
local.identifier.absseo890299 - Computer Software and Services not elsewhere classified
local.identifier.ariespublicationu4963866xPUB148
local.identifier.scopusID2-s2.0-84887625442
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
01_Grastien_A_theory_of_abstraction_for_2011.pdf
Size:
173.06 KB
Format:
Adobe Portable Document Format