ISIS Publications

Export 539 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: First Letter Of Last Name is K  [Clear All Filters]
2011
Mahadevan, N., A. Dubey, and G. Karsai, "A Case Study On The Application of Software Health Management Techniques", ISIS Technical Report, no. ISIS-11-101, Nashville, Institute For Software Integrated Systems, 01/2011. Abstract  Download: ADIRUTechReport.pdf (1.53 MB)
Riley, D., E. Eyisi, J. Bai, X. Koutsoukos, Y. Xue, and J. Sztipanovits, "Networked Control System Wind Tunnel (NCSWT)- An evaluation tool for networked multi-agent systems", 4th International ICST Conference on Simulation Tools and Techniques (SIMUTools 2011), Barcelona, Spain, 03/2011. Abstract
Kulkarni, C., G. Biswas, C. Jose, and G. Kai, "Prognostics Techniques For Capacitor Degradation and Health Monitoring", The Maintenance & Reliability Conference, MARCON 2011, Knoxville, TN, MARCON, 03/2011. Abstract  Download: MARCON_2011_Kulkarni_Biswas_Celaya_Goebel.pdf (367.09 KB)
Hemingway, G., H. Neema, H. Nine, J. Sztipanovits, and G. Karsai, "Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach", SIMULATION, vol. March 17, 2011 0037549711401950, no. March 17, 2011, Online, Simulation: Transactions of the Society for Modeling and Simulation International, pp. 16, 03/2011. Abstract  Download: 0037549711401950.full_.pdf (815.53 KB)
Zhang, Z., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study", International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session), Chicago, IL, IEEE Computer Society Press, 04/2011.
Amundson, I., X. Koutsoukos, J. Sallai, and A. Ledeczi, "Mobile Sensor Navigation using Rapid RF-based Angle of Arrival Localization", 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, IL, 04/2011. Abstract
Jose, C., C. Kulkarni, G. Biswas, and G. Kai, "Towards Prognostics of Electrolytic Capacitors", Infotech@Aerospace 2011, St. Louis, Missouri, AIAA, 04/2011.
Tantawy, A., X. Koutsoukos, and G. Biswas, Transmission Control Policy Design for Decentralized Detection in Sensor Networks, , no. ISIS-11-103, Nashville TN, Institute for Software Integrated Systems, 04/2011.
Kottenstette, N., H. LeBlanc, E. Eyisi, and J. Porter, A Backstepping Control Framework for m-Triangular Systems, , Nashville, Institute for Software Integrated Systems, pp. 1-13, 04/28/2011. Abstract  Download: official_sop_bstep_press_Apr_28_2011.pdf (554.37 KB)
Balasubramanian, D., G. Pap, H. Nine, G. Karsai, M. Lowry, C. Pasareanu, and T. Pressburger, "Rapid Property Specification and Checking for Model-Based Formalisms", IEEE International Symposium on Rapid System Prototyping, Karlsruhe, Germany, 05/2011. Abstract  Download: RSP2011.pdf (2.08 MB)
Kavimandan, A., A. Gokhale, G. Karsai, and J. Gray, "Managing the Quality of Software Product Line Architectures through Reusable Model Transformations", To Appear in the 7th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), Boulder, CO, USA, ACM, 06/2011.  Download: templatization.pdf (963.29 KB)
Tantawy, A., X. Koutsoukos, and G. Biswas, "Transmission Control Policy Design for Decentralized Detection in Sensor Networks", IEEE International Conference on Distributed Computing in Sensor Systems, DCOSS 2011, Barcelona, Spain, 06/2011.
Balasubramanian, D., C. S. Pasareanu, M. W. Whalen, G. Karsai, and M. Lowry, "Polyglot: Modeling and Analysis for Multiple Statechart Formalisms", International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, 07/2011. Abstract  Download: ISSTA2011.pdf (1.53 MB)
Tantawy, A., X. Koutsoukos, and G. Biswas, "Transmission Control Policy Design for Decentralized Detection in Tree Topology Sensor Networks", 14th International Conference on Information Fusion, Fusion 2011, Chicago IL, USA, 07/2011.
Mack, D. L. C., G. Biswas, X. Koutsoukos, and D. Mylaraswamy, "Using Tree Augmented Naive Bayes Classifiers to Improve Engine Fault Models", Uncertainty in Artificial Intelligence: Bayesian Modeling Applications Workshop, Barcelona, Spain, 07/2011.  Download: UAIWS2011CameraVandy.pdf (336.53 KB)
Kulkarni, C., G. Biswas, C. Jose, and G. Kai, "Prognostic Modeling and Experimental Techniques for Electrolytic Capacitor Health Monitoring", 8th International Workshop on Structural Health Monitoring, IWSHM 2011, Stanford, CA, 09/2011.
Mack, D. L. C., G. Biswas, X. Koutsoukos, D. Mylaraswamy, and G. Hadden, "Deriving Bayesian Classifiers from Flight Data to Enhance Aircraft Diagnosis Models", Annual Conference of the Prognostics and Health Management Society, Montreal, Canada, 10/2011.  Download: PHM2011CameraFinal.pdf (585 KB)
Jose, C., C. Kulkarni, G. Biswas, S. Sankalita, and G. Kai, "A Model-based Prognostics Methodology for Electrolytic Capacitors Based on Electrical Overstress Accelerated Aging", Annual Conference of the Prognostics and Health Management Society (PHM 2011), Montreal, Canada, Prognostics and Health Management Society, 10/2011.
Kinnebrew, J. S., G. Biswas, B. Sulcer, and R. Taylor, "Investigating Self-Regulated Learning in Teachable Agent Environments", International Handbook of Metacognition and Learning Technologies, Berlin, Germany: Springer, 2011.
Segedy, J., J. S. Kinnebrew, and G. Biswas, "Investigating the Relationship Between Dialogue Responsiveness and Learning in a Teachable Agent Environment", The 15th International Conference on Artificial Intelligence in Education, Auckland, New Zealand, 2011.
Amundson, I., J. Sallai, X. Koutsoukos, A. Ledeczi, and M. Maroti, "RF angle of arrival-based node localisation", International Journal of Sensor Networks, vol. (to appear), 2011.
Abdelwahed, S., A. Dubey, G. Karsai, and N. Mahadevan, "Model-based Tools and Techniques for Real-Time System and Software Health Management", Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics: CRC Press, to be published, 2011.
2012
Dubey, A., G. Karsai, and N. Mahadevan, "Fault-Adaptivity in Hard Real-Time Component-Based Software Systems", Software Engineering for Self-Adaptive Systems, vol. 2, 2012.  Download: BookChapter.pdf (1.83 MB)
Celaya, J., C. Kulkarni, G. Biswas, and K. Goebel, "Accelerated Aging in Electrolytic Capacitors for Prognostics", IEEE - The Annual Reliability and Maintainability Symposium, Reno, Nevada, IEEE, 01/2012.
Celaya, J., S. Abhinav, C. Kulkarni, S. Sankalita, and G. Kai, "Prognostics Approach for Power MOSFET under Thermal-Stress Aging", IEEE - The Annual Reliability and Maintainability Symposium, Reno, Nevada, IEEE, 01/2012.
Dubey, A., N. Mahadevan, and G. Karsai, "A Deliberative Reasoner for Model-Based Software Health Management", The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012. Abstract  Download: Paper.pdf (369.11 KB)
Mahadevan, N., A. Dubey, and G. Karsai, "Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Model", The 15th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, Shenzhen, China, IEEE, 04/2012. Abstract  Download: Paper.pdf (336.83 KB)
Kulkarni, C., C. Jose, G. Biswas, and K. Goebel, "Prognostics Health Management and Physics based failure Models for Electrolytic Capacitors", AIAA Infotech@Aerospace Conference, Garden Grove, CA, American Institute of Aeronautics and Astronautics,, 06/2012.  Download: AIAA2012_Final_Kulkarni_Celaya_Biswas_Goebel1.pdf (385.28 KB)
Carl, J. D., A. Tantawy, G. Biswas, and X. D. Koutsoukos, "Detection and Estimation of Multiple Fault Profiles Using Generalized Likelihood Ratio Tests: A Case Study", Sysid 2012, 16th IFAC Symposium on System Identification, Brussels, Belgium, pp. 386-391, 07/2012. Abstract  Download: SySID.pdf (443.09 KB)
Kulkarni, C., C. Jose, G. Biswas, and K. Goebel, "Physics Based Electrolytic Capacitor Degradation Models for Prognostic Studies under Thermal Overstress", 1st European Conference of the Prognostics and Health Management Society, Dresden, Germany, 07/2012.
Carl, J. D., D. L. C. Mack, A. Tantawy, G. Biswas, and X. D. Koutsoukos, "Fault Detection and Isolation for Spacecraft Systems: An Application to a Power Distribution Testbed", SAFEPROCESS 2012, 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Mexico City, Mexico, pp. 168-173, 08/2012. Abstract  Download: SAFEPROCESS.pdf (389.84 KB)
Kulkarni, C., C. Jose, G. Biswas, and G. Kai, "Bayesian Framework Approach for Prognostic Studies in Electrolytic Capacitor under Thermal Overstress Conditions", Annual Conference of the Prognostics and Health Management Society, Minneapolis, MN, PHM Society, 09/2012. Abstract
Lattmann, Z., A. Nagel, T. Levendovszky, T. Bapty, S. Neema, and G. Karsai, "Component-based Modeling of Dynamic Systems using Heterogeneous Composition", 6th International Workshop on Multi-Paradigm Modeling, Innsbruck, Austria, 10/2012.  Download: MPM12_paper 20.pdf (260.56 KB)
Dabholkar, A., A. Dubey, A. Gokhale, N. Mahadevan, and G. Karsai, "Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation", 31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, IEEE, 10/2012.  Download: srds2012_submission_88.pdf (665.22 KB)