{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:23:46Z","timestamp":1758273826777},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T00:00:00Z","timestamp":1472688000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s11390-016-1677-8","type":"journal-article","created":{"date-parts":[[2016,9,5]],"date-time":"2016-09-05T02:14:38Z","timestamp":1473041678000},"page":"1028-1037","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Tolerating Permanent State Transition Faults in Asynchronous Sequential Machines"],"prefix":"10.1007","volume":"31","author":[{"given":"Jung-Min","family":"Yang","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,9]]},"reference":[{"key":"1677_CR1","doi-asserted-by":"crossref","unstructured":"Spars\u03d5 J, Furber S. Principles of Asynchronous Circuit Design \u2014 A Systems Perspective. Springer, 2001.","DOI":"10.1007\/978-1-4757-3385-3"},{"issue":"6","key":"1677_CR2","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/JPROC.2006.875789","volume":"94","author":"AJ Martin","year":"2006","unstructured":"Martin A J, Nystr\u00f6m M. Asynchronous techniques for system-on-chip design. Proceedings of IEEE, 2006, 94(6): 1089-1120.","journal-title":"Proceedings of IEEE"},{"issue":"8","key":"1677_CR3","doi-asserted-by":"crossref","first-page":"706","DOI":"10.1049\/iet-cta:20070433","volume":"2","author":"JM Yang","year":"2008","unstructured":"Yang J M. Corrective control of asynchronous sequential machines in the presence of adversarial input. IET Control Theory and Applications, 2008, 2(8): 706-716.","journal-title":"IET Control Theory and Applications"},{"key":"1677_CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.ins.2013.09.046","volume":"259","author":"JM Yang","year":"2014","unstructured":"Yang J M, Kwak S W. Output feedback control of asynchronous sequential machines with disturbance inputs. Information Sciences, 2014, 259: 87-99.","journal-title":"Information Sciences"},{"issue":"11","key":"1677_CR5","doi-asserted-by":"crossref","first-page":"1682","DOI":"10.1049\/iet-cta.2011.0339","volume":"6","author":"JM Yang","year":"2012","unstructured":"Yang J M, Kwak S W. Fault diagnosis and fault-tolerant control of input\/output asynchronous sequential machines. IET Control Theory and Applications, 2012, 6(11): 1682-1689.","journal-title":"IET Control Theory and Applications"},{"issue":"3","key":"1677_CR6","doi-asserted-by":"crossref","first-page":"989","DOI":"10.1016\/j.automatica.2013.12.034","volume":"50","author":"JM Yang","year":"2014","unstructured":"Yang J M. Fault-tolerant control of a class of asynchronous sequential machines with permanent faults. Automatica, 2014, 50(3): 989-993.","journal-title":"Automatica"},{"issue":"6","key":"1677_CR7","doi-asserted-by":"crossref","first-page":"1073","DOI":"10.1109\/TAC.2003.812814","volume":"48","author":"TE Murphy","year":"2003","unstructured":"Murphy T E, Geng X, Hammer J. On the control of asynchronous machines with races. IEEE Transactions on Automatic Control, 2003, 48(6): 1073-1081.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"1677_CR8","doi-asserted-by":"crossref","first-page":"286","DOI":"10.3166\/ejc.18.286-300","volume":"18","author":"J Peng","year":"2012","unstructured":"Peng J, Hammer J. Bursts and output feedback control of non-deterministic asynchronous sequential machines. European Journal of Control, 2012, 18(3): 286-300.","journal-title":"European Journal of Control"},{"issue":"7","key":"1677_CR9","doi-asserted-by":"crossref","first-page":"764","DOI":"10.1080\/00207170600665022","volume":"79","author":"N Venkatraman","year":"2006","unstructured":"Venkatraman N, Hammer J. On the control of asynchronous sequential machines with infinite cycles. International Journal of Control, 2006, 79(7): 764-785.","journal-title":"International Journal of Control"},{"issue":"1","key":"1677_CR10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1080\/00207170903104182","volume":"83","author":"J Peng","year":"2010","unstructured":"Peng J, Hammer J. Input\/output control of asynchronous sequential machines with races. International Journal of Control, 2010, 83(1): 125-144.","journal-title":"International Journal of Control"},{"issue":"6","key":"1677_CR11","doi-asserted-by":"crossref","first-page":"503","DOI":"10.3166\/EJC.18.503-527","volume":"18","author":"JM Yang","year":"2012","unstructured":"Yang J M, Xing T, Hammer J. Adaptive control of asynchronous sequential machines with state feedback. European Journal of Control, 2012, 18(6): 503-527.","journal-title":"European Journal of Control"},{"issue":"11","key":"1677_CR12","doi-asserted-by":"crossref","first-page":"2974","DOI":"10.1109\/TAC.2013.2259957","volume":"58","author":"X Xu","year":"2013","unstructured":"Xu X, Hong Y. Matrix approach to model matching of asynchronous sequential machines. IEEE Transactions on Automatic Control, 2013, 58(11): 2974-2979.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"1677_CR13","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/TASE.2013.2264809","volume":"11","author":"S Shu","year":"2014","unstructured":"Shu S, Lin F. Fault-tolerant control for safety of faulty discrete event systems. IEEE Transactions on Automation Science and Engineering, 2014, 11(1): 78-89.","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"1677_CR14","doi-asserted-by":"crossref","unstructured":"Kohavi Z, Jha N K. Switching and Finite Automata Theory (3rd editon). Cambridge University Press, 2010.","DOI":"10.1017\/CBO9780511816239"},{"issue":"5","key":"1677_CR15","doi-asserted-by":"crossref","first-page":"1545","DOI":"10.1109\/TNS.2005.856543","volume":"52","author":"L Sterpone","year":"2005","unstructured":"Sterpone L, Violante M. Analysis of the robustness of the TMR-architecture in SRAM-based FPGAs. IEEE Transactions on Nuclear Science, 2005, 52(5): 1545-1549.","journal-title":"IEEE Transactions on Nuclear Science"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-016-1677-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-016-1677-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-016-1677-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T02:03:33Z","timestamp":1568340213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-016-1677-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":15,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["1677"],"URL":"https:\/\/doi.org\/10.1007\/s11390-016-1677-8","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9]]}}}