Home

ISIS Publications

Export 452 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Taxonomy Term is   [Clear All Filters]
2001
Frampton, K., "A Comparison of Hierarchies for Decentralized Vibration Control", Journal of Vibrations and Acoustics, August, 2001.  Download: Frampton_K_8_0_2001__A_Compari.pdf (218.93 KB)
Nordstrom, G., J. Davis, and M. Briski, "A Graduate-Level Course on CBS Design Tool Development", Engineering of Computer Based Systems, Washington, D.C., April, 2001.
Sprinkle, J., G. Karsai, A. Ledeczi, and G. Nordstrom, "The New Metamodeling Generation", IEEE Engineering of Computer Based Systems, Proceedings, Washington, D.C., USA, pp. 275, April, 2001.  Download: Sprinkle_JM_4_0_2001_The_New_Me.doc (103.5 KB)
Frampton, K., "Decentralized Control Of Structural Acoustic Radiation", ASME IMECE, 2001.  Download: Frampton_K_0_0_2001_Decentrali.pdf (359.91 KB)
Sztipanovits, J., "Embedded Software and Systems: Challenges and Approaches", Hybrid Systems: Computation and Control (LNCS 2034), pp. 4, 2001.
Sztipanovits, J., "Embedded Software: Opportunities and Challenges", Embedded Software, (LNCS 2211), pp. 403--415, 2001.
Sztipanovits, J., and S. Sastry, "Hybrid Systems for Robotics", Encyclopedia of Physical Science and Technology, 3rd Edition, 2001.
2000
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "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)
Deva, D., J. Sprinkle, M. Maroti, and G. Nordstrom, "Towards A Standard For Model Specification And Storage", IEEE SMC 2000, Nashville, TN, September, 2000.
Gray, J., T. Bapty, and S. Neema, "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)
Moore, M., S. Monemi, and J. Wang, "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)
Eames, B., S. Neema, T. Bapty, and J. Scott, "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)
Sprinkle, J., C. van Buskirk, and G. Karsai, "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)
Venkatachalam, S., G. Nordstrom, R. A. Peters, M. Wilkes, and A. Alford, "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)
Pathak, S., G. Nordstrom, and S. Kurokawa, "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)
Garrett, J., A. Ledeczi, and F. DeCaria, "Towards a Paradigm for Activity Modeling", SMC 2000, Nashville, TN, October, 2000.  Download: Garrett_JT_10_0_2000_Towards_a_.pdf (74.33 KB)
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "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)
Manders, E. J., and L. Barford, "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)
Moore, M., S. Monemi, J. Wang, J. Marble, and S. Jones, "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)
Scott, J., S. Neema, T. Bapty, and B. Abbott, "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)
Davis, J., "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)
Karsai, G., G. Bloor, and J. Doyle, "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)
Karsai, G., and J. Gray, "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)
Karsai, G., "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)
Nordstrom, G., "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)
Sztipanovits, J., G. Karsai, and H. Franke, "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)
Feenstra, P., E. J. Manders, P. Mosterman, G. Biswas, and R. J. Barnett, "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)
Ledeczi, A., T. Bapty, and G. Karsai, "Synthesis of Self-Adaptive Software", IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 KB)
Mosterman, P., and G. Biswas, "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)
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)
Narasimhan, S., F. Zhao, G. Biswas, and E. Hung, "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)
Narasimhan, S., F. Zhao, G. Biswas, and E. Hung, "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.
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)
Narasimhan, S., G. Biswas, G. Karsai, T. Pasternak, and F. Zhao, "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)
Bapty, T., J. Gray, and S. Neema, 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)
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)
Szedo, G., S. Neema, J. Scott, and T. Bapty, "Reconfigurable Target Recognition System", Proceedings of the FPGA 2000, Monterey, CA, February, 2000.  Download: Szedo_G_2_0_2000_Reconfigur.pdf (267.98 KB)
Pasternak, T., Extended Relational Models for Diagnosis, : Vanderbilt University, August, 2000.
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)
Sprinkle, J., "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)
Gray, J., and S. Schach, "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)
Karsai, G., "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)
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., and A. Ledeczi, "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)
Nelson, T., "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)
Yu, X., G. Biswas, and J. Weinberg, "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)
Bapty, T., S. Neema, J. Scott, J. Sztipanovits, and S. Asaad, 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)
Manders, E. J., G. Biswas, P. Mosterman, L. Barford, and R. J. Barnett, ""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)
Wang, J., "Visual Specification of Model Interpreters", Master's Thesis: Vanderbilt University, 2000.  Download: Wang_J_0_0_2000_Visual_Spe.pdf (397.35 KB)
Sztipanovits, J., and G. Karsai, "Embedded Software: Challenges and Opportunities", Lecture Notes in Computer Science, vol. 2211: Springer Verlag, pp. 403--408, 2000.