] Filters: First Letter Of Last Name is M [Clear All Filters]
"Execution Environment for Intelligent Real-Time Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 807--811, 1986.
"Experiment Design Language for Intelligent MRI Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 803--807, 1986.
"Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 811--816, 1986.
"Intelligent Supervisory Controller for Gas Distribution Network",
Proceedings of the American Control Conference, pp. 1353--1358, 1987.
"Knowledge-Based Experiment Builder for Magnetic Resonance Imaging (MRI) Systems",
Proceedings of the 3rd IEEE Conference on Artificial Intelligence Applications, pp. 126--133, 1987.
"Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging",
IEEE Transactions on Biomedical Engineering, vol. 34, pp. 938--943, 1987.
"Knowledge-Based Approach to Real-Time Supervisory Control",
Amercian Control Conference, Atlanta, GA, pp. 620--626, 1988.
"Intelligent Monitoring and Diagnostics for Plant Automation",
IEEE International Conference on Robotics and Automation, Cincinnati, OH, pp. 1390--1397, 1990.
"Models and Model building in Intelligent Process Control Systems",
IEEE International Symposium on Intelligent Control, pp. 351--357, 1990.
"Performance Optimization in Signal Processing Systems",
22nd Southeastern Symposium on System Theory, Cookeville, TN, March, 1990.
"Real-Time Fault Diagnostics",
IEEE Expert, vol. 6, pp. 75--85, 1991.
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.
"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)
"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)
"Finite-State temporal Automata Modeling for Fault Diagnosis",
Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
"Sensor-Based Diagnosis of Dynamical Systems",
PhD Dissertation: Vanderbilt University, 1994.
Download: Misra_A_0_0_1994_Sensor_Bas.pdf (1.02 MB)
"Real-Time Fault Diagnostics with Multiple-Aspect Models",
IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
"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)
"Model-Based Programming for Parallel Image Processing",
IEEE International Conference on Image Processing, Austin, TX, pp. 811--815, January, 1994.
"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)
"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)
"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)
"Model Based Data Validation",
Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, April, 1996.
"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)
"Model-Integrated Toolset for Fault Detection, Isolation and Recovery (FDIR)",
International Conference and Workshop on Engineering of Computer Based Systems, Friedrichshafen, Germany, March, 1996.
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"Increasing Productivity at Saturn",
IEEE Computer Magazine, August, 1998.
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
""Signal Interpretation for Monitoring and Diagnosis, A Cooling System Testbed"",
IEEE Trans. on Instrumentation and Measurement, vol. 49, pp. 503--509, 2000.
Download: Manders_EJ_0_0_2000_Signal_Int.pdf (711.56 KB)
"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)
"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)
"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)
"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)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering