ISIS Publications

Export 241 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: First Letter Of Last Name is M  [Clear All Filters]
1986
1987
1988
1990
Sztipanovits, J., G. Karsai, S. Padalkar, C. Biegl, N. Miyasaka, and K. Okuda, "Intelligent Monitoring and Diagnostics for Plant Automation", IEEE International Conference on Robotics and Automation, Cincinnati, OH, pp. 1390--1397, 1990.
Misra, A., B. Abbott, and J. Sztipanovits, "Performance Optimization in Signal Processing Systems", 22nd Southeastern Symposium on System Theory, Cookeville, TN, March, 1990.
1991
1992
Misra, A., J. Sztipanovits, A. Underbrink, and R. Carnes, Diagnosability Analysis and Robust Diagnostics with Multiple Aspect Modeling, , Abstracts of the NASA Workshop on Model-Based Diagnosis and Monitoring; Pasadena, CA, Institute for Software Integrated Systems, January, 1992.
Karsai, G., J. Sztipanovits, S. Padalkar, C. Biegl, N. Miyasaka, and K. Okuda, "Model Based Intelligent Process Control for Cogenerator Plants", Journal of Parallel and Distributed Systems, vol. 15, pp. 90--103, June, 1992.  Download: Karsai_G_0_0_1992_Model_Base.pdf (545.01 KB)
Misra, A., J. Sztipanovits, A. Underbrink, R. Carnes, and B. Purves, "Diagnosability of Dynamical Systems", Third International Workshop on Principles of Diagnosis, Rosario, WA, October, 1992.  Download: Misra_A_10_0_1992_Diagnosabi.pdf (193.24 KB)
1993
Sztipanovits, J., R. Carnes, and A. Misra, "Finite-State temporal Automata Modeling for Fault Diagnosis", Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
1994
Misra, A., "Sensor-Based Diagnosis of Dynamical Systems", PhD Dissertation: Vanderbilt University, 1994.  Download: Misra_A_0_0_1994_Sensor_Bas.pdf (1.02 MB)
Padalkar, S., J. Sztipanovits, G. Karsai, N. Miyasaka, and K. Okuda, "Real-Time Fault Diagnostics with Multiple-Aspect Models", IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
Misra, A., J. Sztipanovits, and R. Carnes, "Robust Diagnostics: Structural Redundancy Approach", Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, SPIE's Symposium on Intelligent Systems, Orlando, FL, April, 1994.  Download: Misra_A_4_0_1994_Robust_Dia.pdf (233.04 KB)
Moore, M., G. Karsai, and J. Sztipanovits, "Model-Based Programming for Parallel Image Processing", IEEE International Conference on Image Processing, Austin, TX, pp. 811--815, January, 1994.
1995
Moore, M., "A DSP-Based Real-Time Image Processing System", The 6th International Conference on Signal Processing Applications and Technology (ICSPAT95), Boston, MA, pp. 1042--1046, August, 1995.  Download: Moore_MS_8_0_1995_A_DSP_Base.pdf (131.96 KB)
Moore, M., and J. Nichols, "Model-Based Synthesis of a Real-Time Image Processing Systems", The International Conference on Engineering of Complex Computer Systems (ICECCS), Ft. Lauderdale, FL, pp. 69, August, 1995.  Download: Moore_MS_8_0_1995_Model_Base.pdf (125.56 KB)
Sztipanovits, J., G. Karsai, C. Biegl, T. Bapty, A. Ledeczi, and D. Malloy, "MULTIGRAPH: An Architecture for Model-Integrated Computing", Proceedings of the International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, pp. 361--368, November, 1995.  Download: Sztipanovi_J_11_6_1995_MULTIGRAPH.pdf (146.05 KB)
1996
Davis, J., T. Bapty, G. Karsai, D. Malloy, J. Sztipanovits, and T. Tibbals, "Model Based Data Validation", Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, April, 1996.
Long, E., and A. Misra, "Saturn Site Production Flow: Requirements, Constraints, Issues", Workshop on Model-Integrated Computing, Old Hickory, TN, June, 1996.  Download: Long_E_6_0_1996_Saturn_Sit.pdf (193.89 KB)
Carnes, R., and A. Misra, "Model-Integrated Toolset for Fault Detection, Isolation and Recovery (FDIR)", International Conference and Workshop on Engineering of Computer Based Systems, Friedrichshafen, Germany, March, 1996.
Sztipanovits, J., and A. Misra, "Diagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams", Seventh International Workshop on Principles of Diagnosis, Val Morin, Quebec, October, 1996.  Download: Sztipanovi_J_10_0_1996_Diagnosis_.pdf (71.52 KB)
1997
Karsai, G., J. Sztipanovits, A. Ledeczi, and M. Moore, "Model-Integrated System Development: Models, Architecture and Process", 21st Annual International Computer Software and Application Conference (COMPSAC), Bethesda, MD, pp. 176--181, August, 1997.  Download: Karsai_G_8_0_1997_Model_Inte.pdf (4.73 MB)
Moore, M., "Model-Integrated Program Synthesis for Real-Time Image Processing", PhD Dissertation: Vanderbilt University, February, 1997.  Download: Moore_MS_2_0_1997_Model_Inte.pdf (1.01 MB)
Misra, A., G. Karsai, and J. Sztipanovits, "Model-Integrated Development of Complex Applications", Fifth International Symposium on Assessment of Software Tools, Pittsburgh, PA, pp. 14--23, June, 1997.  Download: Misra_A_6_0_1997_Model_Inte.pdf (235.84 KB)
Moore, M., J. Sztipanovits, G. Karsai, and J. Nichols, "A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing", SPIE Conference on Parallel and Distributed Methods for Image Processing, San Diego, CA, pp. 31--45, June, 1997.  Download: Moore_MS_6_0_1997_A_Model_In.pdf (265.03 KB)
Long, E., and A. Misra, "A Model-Based Engineering Process for Increasing Productivity in Discrete Manufacturing", International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, pp. 197--202, March, 1997.  Download: Long_E_3_0_1997_A_Model_Ba.pdf (89.5 KB)
Misra, A., G. Karsai, J. Sztipanovits, A. Ledeczi, and M. Moore, "A Model-Integrated Information System for Increasing Throughput in Discrete Manufacturing", International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, pp. 203--210, March, 1997.  Download: Misra_A_3_24_1997_A_Model_In.pdf (170.66 KB)
Misra, A., E. Long, and J. Sztipanovits, "Evolutionary Design for Manufacturing Execution Systems", World Manufacturing Congress, Auckland, New Zealand, November, 1997.  Download: Misra_A_11_0_1997_Evolutiona.pdf (171.95 KB)
Biegl, C., D. Malloy, and M. Chappell, "Automated, Real-Time Validation of Turbine Engine Test Data Using Explicit Parallelization on an Eight-Processor Pentium Platform", 13th ISABE International Symposium on Airbreathing Engines, paper# ISABE 97-7144, Chattanooga, TN, September, 1997.  Download: Biegl_C_9_0_1997_Automated_.pdf (178.81 KB)
Malloy, D., C. Biegl, J. Zakrajsek, and C. Fulton, "Development of a Near-Real-Time Turbine Engine Testing Diagnostic System Using Feature Extraction Algorithms", 13th ISABE International Symposium on Airbreathing Engines, paper #ISABE 97-7143, Chattanooga, TN, September, 1997.  Download: Malloy_D_9_0_1997_Developmen.pdf (332.61 KB)
1998
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "Integrated Analysis Environment for High Impact Systems", Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.  Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)
Nichols, J., and M. Moore, "An Adaptable, Cost Effective Image Processing System", The 10th JANNAF Non-destructive Evaluation Sub Committee, Salt Lake City, UT, pp. 1--5, March, 1998.  Download: Nichols_JA_3_0_1998_An_Adaptab.pdf (120.75 KB)
Long, E., A. Misra, and J. Sztipanovits, "Saturn Site Production Flow (SSPF): Accomplishments and Challenges", Engineering of Computer Based Systems, Jerusalem, Israel, pp. 248--255, March, 1998.  Download: Long_E_3_0_1998_Saturn_Sit.pdf (112.49 KB)
Misra, A., G. Provan, G. Karsai, G. Bloor, and E. Scarl, "A Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable Properties", IEEE International Conference on Systems, Man and Cybernetics, San Diego, CA, October, 1998.  Download: Misra_A_10_0_1998_A_Generic_.pdf (102.01 KB)
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "An Integrated Multi-Domain Analysis Environment for High Consequence Systems", Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.  Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)
1999
Ledeczi, A., M. Maroti, G. Karsai, and G. Nordstrom, "Metaprogrammable Toolkit for Model-Integrated Computing", Engineering of Computer Based Systems (ECBS), Nashville, TN, pp. 311--317, March, 1999.  Download: Ledeczi_A_3_0_1999_Metaprogra.pdf (70.05 KB)
Davis, J., J. Scott, J. Sztipanovits, and M. Martinez, "Multi-Domain Surety Modeling and Analysis for High Assurance Systems", Proceedings of the Engineering of Computer Based Systems, Nashville, TN, pp. 254--260, March, 1999.  Download: Davis_J_3_0_1999_Multi_Doma.pdf (73.25 KB)
Mosterman, P., and G. Biswas, "Diagnosis of Continuous Valued Systems in Transient Operating Regions", IEEE Transactions on Systems, Man, and Cybernetics, vol. 29, issue 6, pp. 554-565, November, 1999.  Download: ISIS_11_0_1999_Diagnosis_.pdf (246.82 KB)
2000
Mosterman, P., and G. Biswas, "A Comprehensive Methodology for Building Hybrid Models of Physical Systems", Artifical Intelligence Journal, vol. 121, pp. 171--209, 2000.  Download: ISIS_0_0_2000_A_Comprehe.pdf (642.21 KB)
Nordstrom, G., G. Karsai, M. Moore, T. Bapty, and J. Sztipanovits, "Model Integrated Computing-Based Software Design and Evolution", Conference on Life Cycle Software Engineering Technology for Modern Avionics, Missiles, and Smart Weapon Systems, Huntsville, Alabama, August, 2000.  Download: Nordstrom_GG_8_16_2000_Model_Inte.pdf (252.99 KB)
Moore, M., S. Monemi, and J. Wang, "Integrated Diagnostics for Electric Utilities", World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, pp. 458--463, July, 2000.  Download: Moore_MS_7_0_2000_Integrated.pdf (100.49 KB)
Manders, E. J., S. Narasimhan, G. Biswas, and P. Mosterman, "A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems", 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Budapest, Hungary, pp. 1074--1079, June, 2000.  Download: Manders_EJ_6_0_2000_A_Combined.pdf (307.63 KB)
Mosterman, P., E. J. Manders, and G. Biswas, "Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops", Eleventh Intl. Workshop on Principles of Diagnosis, Morelia, Mexico, pp. 155--162, June, 2000.  Download: ISIS_6_0_2000_Qualitativ.pdf (316.79 KB)