]
"Technology support for complex problem solving: From SAD environments to AI",
Smart Machines in Education, Menlo Park, CA, AAAI Press, pp. 71-98, 2001.
Download: sad01.pdf (307.53 KB)
"Embedded Software and Systems: Challenges and Approaches",
Hybrid Systems: Computation and Control (LNCS 2034), pp. 4, 2001.
"Embedded Software: Opportunities and Challenges",
Embedded Software, (LNCS 2211), pp. 403--415, 2001.
"Hybrid Systems for Robotics",
Encyclopedia of Physical Science and Technology, 3rd Edition, 2001.
"Specifying Graphical Modeling Systems Using Constraint-based Metamodels",
IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.
Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 KB)
"Towards A Standard For Model Specification And Storage",
IEEE SMC 2000, Nashville, TN, September, 2000.
"Aspectifying Constraints in Model-Integrated Computing",
OOPSLA 2000: Workshop on Advanced Separation of Concerns, Minneapolis, MN, October, 2000.
Download: Gray_J_10_0_2000_Aspectifyi.PDF (274.93 KB)
"Integrating Information Systems in Electric Utilities",
IEEE International Conference on Systems, Man, and Cybernetics, Nashville, TN, October, 2000.
Download: Moore_MS_10_9_2000_Integratin.pdf (84.88 KB)
"Interfacing a Simulation Engine to an Embedded Runtime Environment",
2000 IEEE International Conference on Systems, Man and Cybernetics, Nashville, TN, pp. 625--629, October, 2000.
Download: Eames_BK_10_11_2000_Interfacin.pdf (50.44 KB)
"Modeling Agent Negotiation",
IEEE International Conference on Systems, Man, and Cybernetics, Proceedings, Nashville, TN, October, 2000.
Download: Sprinkle_JM_10_8_2000_Modeling_A.pdf (181.58 KB)
"Modeling of Agent's Behavior in Human-robot Interaction Using Model Integrated Computing",
IEEE-SMC 2000, Nashville, TN, October, 2000.
Download: Venkatacha_S_10_0_2000_Modeling_o.doc (2.31 MB)
"Modeling of supply chain: a multi-agent approach",
IEEE SMC 2000, Nashville, Tennessee, October, 2000.
Download: Pathak_SD_10_8_2000_Modeling_o.doc (264 KB)
"Towards a Paradigm for Activity Modeling",
SMC 2000, Nashville, TN, October, 2000.
Download: Garrett_JT_10_0_2000_Towards_a_.pdf (74.33 KB)
"Towards Two-Level Formal Modeling of Computer-Based Systems",
Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.
Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
"Diagnosis of a Continuous Dynamic System from Distributed Measurements",
17th IEEE Instrumentation and Measurement Technology Conference - IMTC'2000, Baltimore, MD, pp. 546--551, May, 2000.
Download: Manders_EJ_5_0_2000_Diagnosis_.pdf (432.04 KB)
"Diagnostics and Integration in Electric Utilities",
IEEE Rural Electric Power Conference, Louisville, KY, pp. C2-1 throu, May, 2000.
Download: Moore_MS_5_0_2000_Diagnostic.pdf (491.92 KB)
"Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems",
ISIS-2000-06: Institute for Software Integrated Systems, May, 2000.
Download: Scott_J_5_0_2000_Hardware_S.PDF (198.18 KB)
"Integrated Safety, Reliability, and Diagnostics of High Assurance, High Consequence Systems",
PhD Dissertation: Vanderbilt University, May, 2000.
Download: Davis_J_0_0_2000_Integrated.pdf (2.16 MB)
"Automating Human Based Negotiation Processes for Autonomic Logistics",
Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.
Download: Karsai_G_3_0_2000_Automating.pdf (676.12 KB)
"Component Generation Technology for Semantic Tool Integration",
Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.
Download: Karsai_G_3_0_2000_Component_.pdf (4.64 MB)
"Design Tool Integration: An Exercise in Semantic Interoperability",
Proceedings of the IEEE Engineering of Computer Based Systems, Edinburg, UK, March, 2000.
Download: Karsai_G_3_0_2000_Design_Too.pdf (84.04 KB)
"Formalizing the Specification of Graphical Modeling Languages",
Proceedings of the IEEE Aerospace 2000 Conference, Big Sky, MT, March, 2000.
Download: Nordstrom_GG_3_0_2000_Formalizin.pdf (276.47 KB)
"Model-Integrated Program Synthesis Environment",
Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, Friedrichshafen, Germany, pp. 348--355, March, 2000.
Download: Sztipanovi_J_0_0_2000_Model_Inte.pdf (218.64 KB)
"Modeling and Instrumentation for Fault Detection and Isolation of a Cooling System",
IEEE South East Conference, Nashville, TN, pp. 365--372, March, 2000.
Download: ISIS_3_0_2000_Modeling_a.pdf (603.5 KB)
"Synthesis of Self-Adaptive Software",
IEEE Aerospace 2000, Big Sky, MT, March, 2000.
Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 KB)
"Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems",
Hybrid Systems: Computation and Control - Third International Workshop (HSCC 2000), Volume 1790, Berlin, Germany, pp. 324--337, March, 2000.
Download: ISIS_3_0_2000_Towards_Pr.pdf (381.52 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)
"Fault Isolation in Hybrid Systems combining Model Based Diagnosis and Signal Processing",
4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, {Budapest, Hungary}, June, 2000.", pp. 1074--1079, June, 2000.
Download: Narasimhan_S_6_0_2000_Fault_Isol.pdf (37.96 KB)
"An Integrated Framework for Combining Global and Local Analysis in Diagnosing Hybrid Systems",
Eleventh Intl. Workshop on Principles of Diagnosis, Morelia, Mexico, pp. 163--170, June, 2000.
"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)
"Building observers to address fault isolation and control problems in hybrid dynamic systems",
IEEE SMC 2000, Nashville, TN, July, 2000.
Download: Narasimhan_S_7_0_2000_Building_o.pdf (251.26 KB)
Initial PCES PI Meeting: Constraint-Based Embedded Program Composition,
, Colorado Springs, CO, Institute for Software Integrated Systems, July, 2000.
Download: Bapty_T_7_31_2000_Initial_PI.ppt (314.5 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)
"Reconfigurable Target Recognition System",
Proceedings of the FPGA 2000, Monterey, CA, February, 2000.
Download: Szedo_G_2_0_2000_Reconfigur.pdf (267.98 KB)
Extended Relational Models for Diagnosis,
: Vanderbilt University, August, 2000.
"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)
"Model Integrated Program Synthesis of Agent Interaction Protocols",
Master's Thesis: Vanderbilt University, August, 2000.
Download: Sprinkle_JM_8_0_2000_Model_Inte.pdf (1.53 MB)
"Constraint Animation Using an Object-Oriented Declarative Language",
Proceedings of the 38th Annual ACM SE Conference, Clemson, SC, pp. 1--10, April, 2000.
Download: Gray_J_4_0_2000_Constraint.doc (101 KB)
"Why is XML not suitable for Semantic Translation",
Research Note, Nashville, TN, April, 2000.
Download: Karsai_G_4_0_2000_Why_is_XML.pdf (122.3 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)
"Formalizing the Specification of Graphical Modeling Languages",
ISIS-00-200: Institute for Software Integrated Systems, 2000.
Download: Nordstrom_GG_0_0_2000_Formalizin.pdf (160.48 KB)
"Implementation of Image Processing Algorithms on FPGA Hardware",
Master's Thesis: Vanderbilt University, 2000.
Download: Nelson_T_0_0_2000_Implementa.pdf (1.31 MB)
"MDS: An Integrated Architecture for Associational and Model-based Diagnosis",
Applied Intelligence, An International Journal, 2000.
Download: ISIS_0_0_2000_MDS__An_In_.pdf (129.37 KB)
Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems,
: Institute for Software Integrated Systems, 2000.
Download: Bapty_T_0_0_2000_Model_Inte.PDF (1.04 MB)
""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)
"Visual Specification of Model Interpreters",
Master's Thesis: Vanderbilt University, 2000.
Download: Wang_J_0_0_2000_Visual_Spe.pdf (397.35 KB)
"Embedded Software: Challenges and Opportunities",
Lecture Notes in Computer Science, vol. 2211: Springer Verlag, pp. 403--408, 2000.
"Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems",
VLSI Design, vol. 10, pp. 281--306, 2000.
"Adaptive Computing and Run-time Reconfiguration",
Proceedings of the Military Applications of Programmable Logic Devices, Laurel, MD, September, 1999.
Download: Neema_S_9_0_1999_Adaptive_C.pdf (53.24 KB)
"Design Environment for Dynamically Reconfigurable Embedded Systems",
Proceedings of the High Performance Embedded Computing '99, MIT Lincoln Laboratory, MA, September, 1999.
Download: Bapty_T_9_0_1999_Design_Env.pdf (7.37 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering