{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,4]],"date-time":"2024-08-04T14:39:37Z","timestamp":1722782377249},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1007\/bf01276498","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T07:42:01Z","timestamp":1111650121000},"page":"193-207","source":"Crossref","is-referenced-by-count":8,"title":["Hierarchical model-based diagnosis for high autonomy systems"],"prefix":"10.1007","volume":"9","author":[{"given":"Sung-Do","family":"Chi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard P.","family":"Zeigler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Chi, S.D., Modelling and simulation for high autonomy systems, PhD Dissertation, University of Arizona, 1991."},{"key":"CR2","unstructured":"Chi, S.D. and Zeigler, B.P., DEVS-based intelligent control of space adapted fluid mixing,Proc. 5th Conf. on Artificial Intelligence for Space Applications, May 1990."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Chi, S.D., Zeigler, B.P., and Cellier, F.E., Model-based task planning system for a space laboratory environment,SPIE Conference on Cooperative Intelligent Robotics in Space, Boston, Nov. 1990.","DOI":"10.1117\/12.25424"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"Y. DeKleer","year":"1987","unstructured":"DeKleer, Y. and Williams, B.C., Diagnosing multiple faults,Artificial Intelligence 32 (1987), 97?130.","journal-title":"Artificial Intelligence"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"DeVries, R.C., An automated methodology for generating a fault tree,IEEE Trans. Reliability 39(1) (April 1990).","DOI":"10.1109\/24.52615"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Garzia, R.F., Garzia, M.R., and Zeigler, B.P., Discrete event simulation,IEEE Spectrum (Dec. 1986), pp. 32?36.","DOI":"10.1109\/MSPEC.1986.6371174"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"Greiner, R., Smith, B.A., and Wilkerson, R.W., A correction to the algorithm in Reiter's theory of diagnosis,Artificial Intelligence 41 (1989), 79?88.","journal-title":"Artificial Intelligence"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Ho, Y. Editors introduction, Special Issue on Dynamics of Discrete Event Systems,Proc. IEEE 77(1) (1989).","DOI":"10.1109\/5.21065"},{"key":"CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-1168-4","volume-title":"Architecture of Systems Problem Solving","author":"G. Klir","year":"1985","unstructured":"Klir, G.,Architecture of Systems Problem Solving, Plenum Press, New York, 1985."},{"key":"CR10","first-page":"257","volume-title":"Artificial Intelligence, Simulation and Modelling","author":"B.J. Kuipers","year":"1989","unstructured":"Kuipers, B.J., Qualitative reasoning with causal models in diagnosis of complex systems, in L.A. Widman, K.A. Loparo, and N. Nielsen (eds)Artificial Intelligence, Simulation and Modelling, Wiley, New York, 1989, pp. 257?274."},{"key":"CR11","volume-title":"General Systems Theory: Mathematical Foundations","author":"M.D. Mesarovic","year":"1975","unstructured":"Mesarovic, M.D. and Takahara, Y.,General Systems Theory: Mathematical Foundations, Academic Press, New York, 1975."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF01584083","volume":"1","author":"A. Orden","year":"1971","unstructured":"Orden, A., On the solution of linear equation\/inequality systems,Math. Program. 1 (1971), 137?152.","journal-title":"Math. Program."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Patterson-Hine, F.A. and Koen, B.V., Direct evaluation of fault trees using object-oriented programming techniques,IEEE Trans. Reliability 38(2) (June 1989).","DOI":"10.1109\/24.31103"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R., Theory of diagnosis from first principles,Artificial Intelligence 32 (1987), 57?95.","journal-title":"Artificial Intelligence"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Wang, Q. and Cellier, F.E., Time windows: An approach to automated abstraction of continuoustime models into discrete-event models,Proc. AI, Simulation, and Planning in High Autonomy Systems, Tucson, 1990.","DOI":"10.1109\/AIHAS.1990.93936"},{"key":"CR16","volume-title":"A Mathematical Theory of Systems Engineering: The Elements","author":"A.W. Wymore","year":"1967","unstructured":"Wymore, A.W.,A Mathematical Theory of Systems Engineering: The Elements, Wiley, New York, 1967."},{"issue":"1","key":"CR17","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/5.21071","volume":"77","author":"B.P. Zeigler","year":"1989","unstructured":"Zeigler, B.P., DEVS representation of dynamical systems: Event-based intelligent control,IEEE Proc. 77(1) (Jan. 1989), 72?80.","journal-title":"IEEE Proc."},{"key":"CR18","volume-title":"Multifaceted Modelling and Discrete Event Simulation","author":"B.P. Zeigler","year":"1984","unstructured":"Zeigler, B.P.,Multifaceted Modelling and Discrete Event Simulation, Academic Press, New York, 1984."},{"key":"CR19","volume-title":"Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems","author":"B.P. Zeigler","year":"1990","unstructured":"Zeigler, B.P.,Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems, Academic Press, New York, 1990."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Zeigler, B.P., High autonomy systems: Concepts and models,Proc. AI, Simulation and Planning in High Autonomy Systems, Tucson, March 1990.","DOI":"10.1109\/AIHAS.1990.93914"},{"issue":"1","key":"CR21","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/24.126668","volume":"41","author":"B.P. Zeigler","year":"1992","unstructured":"Zeigler, B.P., Systems formulation of a theory of diagnosis from first principles,IEEE Trans. Reliability 41(1) (1992), 38?48.","journal-title":"IEEE Trans. Reliability"},{"issue":"6","key":"CR22","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/21.199467","volume":"22","author":"B.P. Zeigler","year":"1992","unstructured":"Zeigler, B.P. and Chi, S.D., Symbolic discrete event system specification,IEEE Trans. Systems, Man, Cybernet. 22(6) (July 1992), 28?43.","journal-title":"IEEE Trans. Systems, Man, Cybernet."},{"key":"CR23","first-page":"299","volume":"1","author":"B.P. Zeigler","year":"1988","unstructured":"Zeigler, B.P., Cellier, F.E., and Rozenblit, J.W., Design of a simulation environment for laboratory management by robot organizations,J. Intelligent and Robotic Systems 1 (1988), 299?309.","journal-title":"J. Intelligent and Robotic Systems"}],"container-title":["Journal of Intelligent & Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01276498.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01276498\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01276498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T13:01:34Z","timestamp":1586178094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01276498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01276498"],"URL":"https:\/\/doi.org\/10.1007\/bf01276498","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}