] Filters: Taxonomy Term is [Clear All Filters]
"Integrated Modeling for Planning, Simulation and Diagnosis",
IEEE Conference on AI Simulation {\&} Planning in High Autonomy Systems, Cocoa Beach, FL, pp. 273--282, April, 1991.
"A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics",
AIChE Annual Meeting, microfilm, Los Angeles, CA, November, 1991.
"Neural Network Methods for the Modeling and Control of Welding Processes",
Journal of Intelligent Manufacturing, pp. 229--235, 1992.
"ROBOSIM: An Intelligent Robotics Simulator",
UPCAEDM, Tennessee Technological University, Cookeville, TN, pp. 209--216, August, 1992.
"ROBOSIM: An Intelligent Simulator for Robotic Systems",
Technology 2002: 3rd National Technology conference and Exposition, NASA Conference Publication 3189, Vol 2, Baltimore, MD, pp. 119--125, December, 1992.
"Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System",
Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
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.
"Modeling Parallel Hardware Architectures",
International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 274--281, 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)
"Model-Based Monitoring in Anaesthesia and Critical Care",
3rd Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care, Salzurg, Germany, October, 1992.
"Finite-State temporal Automata Modeling for Fault Diagnosis",
Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
"Model-Based Hardware Configuration Management",
Transputer Research and Applications, ISSN: 0925-4986, ISO Press, vol. 6, pp. 318--332, 1993.
"Parallel DSP System Integration",
Microprocessors and Microsystems, vol. 17, pp. 460--470, 1993.
""Model-based Programming Tools for Integrated Monitoring, Simulation, Diagnosis, and Control"",
Proc. of Computing in Aerospace 9, AIAA paper 93-4578, 1993.
Download: Karsai_G_0_0_1993_Model_base.pdf (141.99 KB)
"The Multigraph and Structural Adaptivity",
IEEE Transactions on Signal Processing, vol. 41, pp. 2695--2717, August, 1993.
"Use of the Multigraph Architecture for the Development of Monitoring and Control in the High Dependency Environment",
IMIA-IFMBE Working Conference on Biosignal Interpretation, Denmark, pp. 185--188, August, 1993.
"Intelligent Patient Monitoring Systems",
Research Memorandum, Centre for Measurement {\&} Information in Medicine, MIM/RNP-ERC-RS/14, The City University, London, February, 1993.
"Automatic Parallel Program Generation for Aerospace Testing",
9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 434--440, January, 1993.
"Model-Based Approach for Software Synthesis",
IEEE Software, vol. 10, pp. 42--52, May, 1993.
"Application of the Multigraph Architecture in Intelligent Patient Monitoring",
IEEE-EMBS Annual Conference, San Diego, CA, October, 1993.
"Parallel Turbine Engine Instrumentation System",
Proceedings of the the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 423--433, October, 1993.
"Model-Based Software Synthesis for Large-Scale Systems",
Proceedings of the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, September, 1993.
Model-Based Automatic Program Synthesis,
: Vanderbilt University, 1994.
"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)
"High Performance Graphics for Parallel Systems",
Int. Conf. on Signal Processing Applications and Technology, Dallas, TX, pp. 733--738, January, 1994.
"Model-Based Programming for Parallel Image Processing",
IEEE International Conference on Image Processing, Austin, TX, pp. 811--815, January, 1994.
"Parallel Systems with Flexible Topology",
Scalable High Performance Computing Conference, Knoxville, TN, pp. 460--470, January, 1994.
"TICK: TI TMS320C40 Utility Program",
International Conference on Signal Processing Applications and Technology, Dallas, TX, January, 1994.
"Activity Modeling",
Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
"Model-based synthesis of complex embedded systems",
Proceedings of the 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW'94), Washington DC, July, 1994.
"CADDMAS: A Real-Time Parallel System for Dynamic Data Analysis",
International Gas Turbine and Aeroengine Congress, The Hauge, Netherlands, June, 1994.
"Cut-Through Message Passing on the TI TMS320C40",
Proceedings of the 7th NATUG, Athens, GA, pp. 167--175, October, 1994.
"Parallel Volume Rendering",
Proceedings of the ICSPAT, Dallas, TX, October, 1994.
Model-Based Synthesis of Parallel Real-Time Systems,
: Vanderbilt University, 1995.
"Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques",
Proceedings of the the Software Engineering Research Forum, Boca Raton, FL, 1995.
"System Synthesis for Parallel Signal Processing",
International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 1507--1511, 1995.
"A Model Based Data Validation System",
Master's Thesis: Vanderbilt University, 1995.
Download: Davis_J_0_0_1995_A_Model_Ba.pdf (532.1 KB)
"Parallel Systems with Flexible Topology",
PhD Dissertation: Vanderbilt University, 1995.
Download: Ledeczi_A_0_0_1995_Parallel_S.pdf (1.37 MB)
"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)
"Modeling Paradigm for Parallel Signal Processing",
The Australian Computer Journal, vol. 27, pp. 92--102, August, 1995.
"Interactive User's Interface for a Dynamic Compression System Simulation",
AIAA 33rd Aerospace Sciences Meeting, Reno, NV, January, 1995.
"A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming",
IEEE Computer, vol. 28, pp. 36--44, March, 1995.
"Online Diagnostics Makes Manufacturing More Robust",
Chemical Engineering Magazine, pp. 80--83, March, 1995.
"Partially Asynchronous Co-State Prediction Algorithms",
IEEE Proceedings on Control Theory Applications, vol. 142, March, 1995.
"Portable Kernel for High-Level Synthesis of Complex DSP-Systems",
Proceedings of the the International Conference on Signal Processing Applications and Technology, Boston, MA, May, 1995.
Download: Bapty_T_5_0_1995_Portable_K.pdf (117.17 KB)
"Model-embedded On-line Problem Solving Environment for Chemical Engineering",
International Conference on Engineering of Complex Computer Systems, Ft Lauderdale, FL, pp. 227--233, November, 1995.
Download: Karsai_G_11_6_1995_Model_embe.pdf (180.47 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering