{"id":"https://openalex.org/W2105022136","doi":"https://doi.org/10.1109/cca.2005.1507248","title":"Modular fault recovery in timed discrete-event systems: application to a manufacturing cell","display_name":"Modular fault recovery in timed discrete-event systems: application to a manufacturing cell","publication_year":2005,"publication_date":"2005-09-12","ids":{"openalex":"https://openalex.org/W2105022136","doi":"https://doi.org/10.1109/cca.2005.1507248","mag":"2105022136"},"language":"en","primary_location":{"id":"doi:10.1109/cca.2005.1507248","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cca.2005.1507248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of 2005 IEEE Conference on Control Applications, 2005. CCA 2005.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045686194","display_name":"M. Moosaei","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"M. Moosaei","raw_affiliation_strings":["FSC Consulting, Edmonton, AB, Canada"],"affiliations":[{"raw_affiliation_string":"FSC Consulting, Edmonton, AB, Canada","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060420949","display_name":"S. Hashtrudi Zad","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"S. Hashtrudi Zad","raw_affiliation_strings":["Department of Electrical & Computer Engineering, Concordia University, Montreal, QUE, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical & Computer Engineering, Concordia University, Montreal, QUE, Canada","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5045686194"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7027,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.71723204,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"928","last_page":"933"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.989799976348877,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.9222754836082458},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.7523767948150635},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.7322516441345215},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6906998753547668},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.6814738512039185},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.6021870374679565},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5642237067222595},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.504083514213562},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.47535011172294617},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.4451950192451477},{"id":"https://openalex.org/keywords/mode","display_name":"Mode (computer interface)","score":0.4301798343658447},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.36147770285606384},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32660800218582153},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.27386409044265747},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12440267205238342},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.12082526087760925}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.9222754836082458},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7523767948150635},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.7322516441345215},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6906998753547668},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.6814738512039185},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.6021870374679565},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5642237067222595},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.504083514213562},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.47535011172294617},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4451950192451477},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.4301798343658447},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.36147770285606384},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32660800218582153},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.27386409044265747},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12440267205238342},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.12082526087760925},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cca.2005.1507248","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cca.2005.1507248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of 2005 IEEE Conference on Control Applications, 2005. CCA 2005.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1577228069","https://openalex.org/W1979349468","https://openalex.org/W2063239682","https://openalex.org/W2119345544","https://openalex.org/W2122738909","https://openalex.org/W2124470735","https://openalex.org/W2126410464","https://openalex.org/W2128237019","https://openalex.org/W2135215536","https://openalex.org/W2154148696","https://openalex.org/W3161476343","https://openalex.org/W4292930798"],"related_works":["https://openalex.org/W1536962364","https://openalex.org/W2333630979","https://openalex.org/W1502177156","https://openalex.org/W2325169597","https://openalex.org/W4309988904","https://openalex.org/W2331919730","https://openalex.org/W4317418604","https://openalex.org/W2070318121","https://openalex.org/W1964497242","https://openalex.org/W2175601081"],"abstract_inverted_index":{"This":[0,123],"paper":[1],"extends":[2],"the":[3,7,19,22,33,41,66,69,72,76,89,93,100,103,107,114,117,120,129,154,179,183,221,224,233,241],"previous":[4],"results":[5],"of":[6,21,68,160,178,182,207,231],"authors":[8],"on":[9,128],"fault":[10,98,108],"recovery":[11,121,166,170,237],"to":[12,25,78,152,202,219],"timed":[13],"discrete-event":[14],"systems":[15],"(TDES),":[16],"and":[17,45,54,71,86,111,137,164,187,210],"discusses":[18],"application":[20],"proposed":[23,151,198],"methodology":[24],"a":[26,39,47,58,97,161,172,203],"manufacturing":[27,204],"cell.":[28],"It":[29],"is":[30,50,91,109,150,200,217],"assumed":[31],"that":[32,46,52,240],"plant":[34,70,90],"can":[35,243],"be":[36,79],"modelled":[37],"as":[38,75,133,135],"TDES,":[40],"faults":[42,56],"are":[43,143,195,227],"permanent,":[44],"diagnosis":[48,73,115,130,141],"system":[49,77,101,118,155,184],"available":[51],"detects":[53],"isolates":[55],"with":[57],"bounded":[59],"delay":[60,142],"(expressed":[61],"in":[62,92,192,223],"clock":[63],"ticks).":[64],"Thus,":[65],"combination":[67],"system,":[74,116],"controlled,":[80],"has":[81],"three":[82],"modes:":[83],"normal,":[84],"transient":[85,104],"recovery.":[87],"Initially,":[88],"normal":[94,225],"mode.":[95,105,122,175],"Once":[96],"occurs,":[99],"enters":[102,119],"After":[106],"detected":[110],"isolated":[112],"by":[113],"framework":[124],"does":[125],"not":[126],"depend":[127],"technique":[131],"used,":[132],"long":[134],"lower":[136],"upper":[138],"bounds":[139],"for":[140,169],"available.":[144],"A":[145,213],"modular":[146,214],"switching":[147,215],"supervisory":[148],"scheme":[149],"satisfy":[153],"specifications.":[156],"The":[157,176,197],"design":[158],"consists":[159],"normal-transient":[162],"supervisor,":[163],"multiple":[165],"supervisors":[167],"each":[168],"from":[171],"particular":[173,193],"failure":[174],"issue":[177],"nonblocking":[180],"property":[181],"under":[185],"supervision,":[186],"also":[188],"supervisor":[189,216,234],"admissibility":[190],"(controllability),":[191],"coerciveness,":[194],"studied.":[196],"approach":[199],"applied":[201],"cell":[205,242],"consisting":[206],"two":[208,211],"machines":[209],"conveyors.":[212],"designed":[218],"ensure":[220],"specifications":[222],"mode":[226],"met.":[228],"In":[229],"cases":[230],"failure,":[232],"sends":[235],"appropriate":[236],"commands":[238],"so":[239],"complete":[244],"its":[245],"production":[246],"cycle":[247]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}