ISIS Publications

Export 1045 results:
Sort by: Author Title Type [ Year  (Asc)]
2002
Davis, J., "Model Integrated Computing: A Framework for Creating Domain Specific Design Environments", The 6th World Multiconference on Systems, Cybernetics, and Informatics (SCI), Orlando, FL, July, 2002.  Download: Davis_J_7_0_2002_Model_Inte.pdf (282.01 KB)
Neema, S., J. Sztipanovits, and G. Karsai, "Design-Space Construction and Exploration in Platform-Based Design", ISIS-02-301: Institute for Software Integrated Systems, June, 2002.  Download: Neema_S_6_24_2002_Design_Spa.pdf (379.45 KB)
Mohanty, S., V. Prasanna, S. Neema, and J. Davis, "Rapid Design Space Exploration of Heterogeneous Embedded Systems using Symbolic Search and Multi-Granular Simulation", Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Berlin, Germany, June, 2002.  Download: Mohanty_S_6_0_2002_Rapid_Desi.pdf (263.12 KB)
Sims, J., D. Vashishtha, P. Rani, R. Brackin, and N. Sarkar, "Stress Detection for Implicit Human-Robot Cooperation", World Automation Congress, ISORA-022, Orlando, Florida, USA, June, 2002.
Narasimhan, S., and G. Biswas, "An Approach to Model-Based Diagnosis of Hybrid Systems", Lecture Notes in Computer Science, vol. 2289, pp. 308--322, March, 2002.
Pasternak, T., "Reconfiguration in Hierarchical Control of Piecewise-Affine Systems", Hybrid Systems Computation and Control, Lecture Notes in Computer Science, 2289, pp. 364--377, March, 2002.  Download: Pasternak_T_3_0_2002_Pasternak_.pdf (322.85 KB)
Frampton, K., "Decentralized Vibration Control in a Launch Vehicle Payload Fairing", International Mechanical Engineering Conference and Exhibition, IMECE2002-33352, New Orleans, LA, November, 2002.  Download: Frampton_K_11_0_2002_DECENTRALI.pdf (392.61 KB)
Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai, "Domain Evolution in Visual Languages Using Graph Transformations", OOPSLA, 2nd Workshop on Domain-Specific Languages, Seattle, WA, November, 2002.  Download: Sprinkle_JM_11_4_2002_Domain_Evo.doc (216 KB)
Agrawal, A., T. Levendovszky, J. Sprinkle, F. Shi, and G. Karsai, "Generative Programming via Graph Transformations in the Model-Driven Architecture", OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, WA, November, 2002.  Download: Agrawal_A_11_5_2002_Generative.pdf (351.64 KB)
Ji, M., Z. Zhang, G. Biswas, and N. Sarkar, "Hybrid Fault Adaptive Control of a Mobile Robot", ASME Intl. Mechanical Engineering Congress and Exposition, New Orleans, LA, November, 2002.
Howard, L., "CAPE: A Visual Language for Courseware Authoring", 2nd Workshop on Domain-Specific Visual Languages, Seattle, WA, pp. 45--53, November, 2002.  Download: Howard_LP_11_11_2002_CAPE__A_Vi.pdf (577.45 KB)
Volgyesi, P., and A. Ledeczi, "Component-Based Development of Networked Embedded Applications", 28th Euromicro Conference, Component-Based Software Engineering Track, Dortmund, Germany, September, 2002.  Download: Volgyesi_P_9_0_2002_Component_.pdf (204.6 KB)
2003
Neema, S., and A. Ledeczi, "Constraint Guided Self-Adaptation", Self-Adaptive Software: Applications, LNCS 2614,, pp. 39--51, 2003.  Download: Neema_S_0_0_2003_Constraint.pdf (139.34 KB)
Koutsoukos, X., J. Kurien, and F. Zhao, "Estimation of Distributed Hybrid Systems Using Particle Filtering Methods", Hybrid Systems: Computation and Control (HSCC 2003), 2623, LNCS, pp. 298--313, 2003.  Download: Koutsoukos_X_0_0_2003_Estimation.pdf (453.76 KB)
Karsai, G., and A. Agrawal, "Graph Transformations in OMG's Model-Driven Architecture", Lecture Notes in Computer Science, vol. 2062: Springer, pp. 243--259, 2003.  Download: Karsai_G_12_0_2003_Graph_Tran.pdf (820.41 KB)
Davis, J., K. Leelawong, K. Belynne, B. Bodenheimer, G. Biswas, N. Vye, and J. Bransford, "Intelligent user interface design for teachable agent systems: A demonstration abstract", The 8th International Conference on Intelligent User Interfaces, Miami, FL, Association for Computing Machinery, pp. 320, 2003.
Agrawal, A., G. Karsai, and F. Shi, Interpreter Writing using Graph Transformations, : Institute for Software Integrated Systems, 2003.  Download: Agrawal_A_0_0_2003_Interprete.pdf (1.42 MB)
Koutsoukos, X., and P. Antsaklis, "Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions", Journal of Discrete Event Dynamic Systems: Theory and Applications, vol. 13, pp. 203--243, 2003.  Download: Koutsoukos_X_0_0_2003_Safety_and.pdf (699.61 KB)
Davis, J., K. Leelawong, K. Belynne, B. Bodenheimer, G. Biswas, N. Vye, and J. Bransford, "Intelligent user interface design for teachable agent systems", Proceedings of the 8th International Conference on Intelligent User Interfaces, Miami, FL, ACM, pp. 26-33, 2003.
Leelawong, K., K. Viswanath, J. Davis, G. Biswas, N. Vye, B. K., and J. Bransford, "Teachable agents: Learning by teaching environments for science domains", Proceedings of the Fifteenth Annual Conference on Innovative Applications of Artificial Intelligence, Menlo Park, CA, AAAI Press, pp. 109-116, 2003.
Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai, "Domain Translation Using Graph Transformations", Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, AL, pp. 159--168, April, 2003.  Download: Sprinkle_JM_4_7_2003_Domain_Tra.pdf (255.82 KB)
Eames, B., T. Bapty, B. Abbott, S. Neema, and K. Chhokra, "Model Integrated Design Toolset for Polymorphous Computer-Based Systems", Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS), Huntsville, AL, pp. 72--79, April, 2003.  Download: Eames_BK_4_7_2003_Model_Inte.pdf (313.08 KB)
Bapty, T., S. Neema, S. Nordstrom, S. Shetty, D. Vashishtha, J. Overdorf, and P. Sheldon, "Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems", 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), Huntsville, Alabama, pp. 11--16, April, 2003.
Agrawal, A., and A. Ledeczi, "Multigranular Simulation of Heterogeneous Embedded Systems", Tenth IEEE Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Huntsville, Alabama, pp. 3--10, April, 2003.  Download: Agrawal_A_4_7_2003_Multigranu.pdf (156.95 KB)
Karsai, G., A. Agrawal, F. Shi, and J. Sprinkle, "On the use of Graph Transformations in the Formal Specification of Computer-Based Systems", IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, Alabama, pp. 19--27, April, 2003.  Download: Karsai_G_4_9_2003_On_the_use.pdf (224.67 KB)
Karsai, G., S. Abdelwahed, and G. Biswas, "Integrated Diagnosis and Control for Hybrid Dynamic Systems", AIAA Guidance, Navigation and Control Conference, Austin, TX, August, 2003.  Download: Karsai_G_8_0_2003_Integrated.pdf (188.1 KB)
Sprinkle, J., "Metamodel Driven Model Migration", PhD Dissertation: Vanderbilt University, August, 2003.  Download: Sprinkle_JM_8_0_2003_Metamodel_.pdf (920.84 KB)
Narasimhan, S., and G. Biswas, "Model-based Diagnosis of Hybrid Systems", 18th Intl. Joint Conference on Artificial Intelligence, Acapulco, Mexico, pp. 376--381, August, 2003.
Abdelwahed, S., S. Neema, J. Loyall, and R. Shapiro, "A Hybrid Control Approach for QoS Management", the 24th IEEE International Real-Time Systems Symposium, RTSS'03, Cancun, Mexico, December, 2003.  Download: Abdelwahed_S_12_0_2003_A_Hybrid_C.pdf (200.83 KB)
Prabhakar, R., "Scheduling In Time Triggered Systems Under Mode Changes", Master's Thesis: Vanderbilt University, December, 2003.  Download: Prabhakar_R_12_0_2003_Scheduling.pdf (1.04 MB)
Abdelwahed, S., G. Karsai, and G. Biswas, System Diagnosis using Hybrid Failure Propagation Graphs, : Institute for Software Integrated Systems, December, 2003.  Download: Abdelwahed_S_12_0_2003_System_Dia.pdf (385.08 KB)
Karsai, G., J. Sztipanovits, A. Ledeczi, and T. Bapty, "Model-integrated development of embedded software", Proceedings of the IEEE, vol. 91, pp. 145--164, January, 2003.
Ledeczi, A., J. Davis, S. Neema, and A. Agrawal, "Modeling Methodology for Integrated Simulation of Embedded Systems", ACM Transactions on Modeling and Computer Simulation, vol. 13, pp. 82--103, January, 2003.  Download: Ledeczi_A_0_0_2003_Modeling_M.pdf (231.04 KB)
Howard, L., "Adaptive Learning Technologies for Bioengineering Education", IEEE Engineering in Medicine and Biology Magazine, vol. 22, pp. 58-65, July, 2003.
Abdelwahed, S., and W. M. Wonham, "Blocking detection in discrete event systems", Proceeding of the American Control Conference, Denver, CO, June, 2003.  Download: Abdelwahed_S_6_0_2003_Blocking_d.pdf (146.63 KB)
Manders, E. J., and G. Biswas, "FDI of abrupt faults with combined statistical detection and estimation and qualitative fault isolation", 5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Washington, DC, pp. 347--352, June, 2003.  Download: Manders_EJ_6_0_2003_FDI_of_abr.pdf (110.05 KB)