ISIS Publications

List
Filter

Export 539 results:

Filters: First Letter Of Last Name is K [Clear All Filters]

A B C D E F G H I J [K] L M N O P Q R S T U V W X Y Z [Show ALL]

Abdelwahed, S., G. Karsai, and G. Biswas, "Online Safety Control of a Class of Hybrid Systems", IEEE 2002 Conference on Decision and Control, Las Vegas, USA, pp. 1988--1990, December, 2002.

Download: Abdelwahed_S_12_0_2002_Online_Saf.pdf (96.96 KB)

Porter, J., G. Hemingway, N. Kottenstette, G. Karsai, and J. Sztipanovits, "Online Stability Validation Using Sector Analysis", International Conf. on Embedded Software (EMSoft), Scottsdale, AZ, ACM, pp. 29-38, 10/2010. Abstract

Ghafouri, A., A. Laszka, A. Dubey, and X. Koutsoukos, "Optimal Detection of Faulty Traffic Sensors Used in Route Planning", 2nd Workshop on Science of Smart City Operations and Platforms Engineering, Pittsburgh, PA, ACM, 04/2017.

Download: scope17.pdf (1.8 MB)

Tantawy, A., X. Kousoukos, and G. Biswas, "Optimal performance for detection systems in wireless passive sensor networks.", 17th Mediterranean Conference on Control and Automation, MED’09, Thessaloniki, Greece, 06/2009.

, "Optimal thresholds for anomaly-based intrusion detection in dynamical environments", 7th Conference on Decision and Game Theory for Security (GameSec 2016), 11/2016.

Download: paper.pdf (442.01 KB)

Eyisi, E., J. Porter, J. Hall, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems, , Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, 05/2009. Abstract

Download: models_paper_tr_aces_update.pdf (528.51 KB); ModelsPaper.pdf (523.78 KB)

Eyisi, E., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems", 19th Mediterranean Conference on Control and Automation, Corfu,Greece, 06/2011. Abstract

Ledeczi, A., B. Abbott, C. Biegl, T. Bapty, G. Karsai, and J. Sztipanovits, "Parallel DSP System Integration", Microprocessors and Microsystems, vol. 17, pp. 460--470, 1993.

Koutsoukos, X., N. Kottenstette, J. Hall, E. Eyisi, H. LeBlanc, J. Porter, and J. Sztipanovits, "A passivity approach for model-based compositional design of networked control systems", ACM Transactions on Embedded Computing Systems, vol. 11, no. 4, pp. 75:1-75:31, 12/2012. Abstract

LeBlanc, H., E. Eyisi, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "A Passivity-Based Approach To Deployment In Multi-Agent Networks", Seventh International Conference on Informatics in Control, Automation and Robotics (ICINCO 2010), Funchal, Madeira - Portugal, SciTePress, pp. 53-62, 06/2010.

Download: ICINCO_2010_265_CR_press.pdf (581.69 KB)

LeBlanc, H., E. Eyisi, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "A Passivity-Based Approach to Deployment in Multi-Agent Networks", 7th International Conference on Informatics in Control, Automation and Robotics, vol. 1, Funchal, Madeira - Portugal, SciTePress, pp. 53–62, 06/2010.

Download: ICINCO_2010_265_CR.pdf (555.39 KB)

LeBlanc, H., E. Eyisi, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "A Passivity-Based Approach to Group Coordination in Multi-Agent Networks", Informatics in Control, Automation and Robotics, 1, vol. 89: Springer, 2011.

Koutsoukos, X., N. Kottenstette, J. Hall, P. J. Antsaklis, and J. Sztipanovits, "Passivity-Based Control Design for Cyber-Physical Systems", International Workshop on Cyber-Physical Systems - Challenges and Applications (CPS-CA’08), Santorini Island, Greece, 06/2008. Abstract

Kottenstette, N., X. Koutsoukos, J. Hall, P. J. Antsaklis, and J. Sztipanovits, "Passivity-Based Design of Wireless Networked Control Systems for Robustness To Time-Varying Delays", 29th IEEE Real-Time Systems Symposium (RTSS 2008), Barcelona, Spain, IEEE, pp. 15-24, 12/2008. Abstract

Kottenstette, N., X. Koutsoukos, J. Hall, J. Sztipanovits, and P. J. Antsaklis, "Passivity-Based Design of Wireless Networked Control Systems Subject To Time-Varying Delays", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-17, 08/2008.

Download: passivity_isis_tr_08-904_revised_2_15_11.pdf (648.14 KB); Passivity_isis_tr_08_904_original.pdf (462.44 KB)

Kottenstette, N., G. Karsai, and J. Sztipanovits, "A Passivity-Based Framework for Resilient Cyber Physical Systems", ISRCS 2009 2nd International Symposium on Resilient Control Systems, Idaho Falls, ID, IEEE, 08/2009. Abstract

Download: resilient_Jul_27_2009_05_23_PM.pdf (367.09 KB)

Martins, G., A. Bhattacharjee, A. Dubey, and X. D. Koutsoukos, "Performance Evaluation of an Authentication Mechanism in Time-Triggered Networked Control Systems", 2nd International Symposium on Resilient Cyber Systems (ISRCS 2014), Denver, 08/2014. Abstract

Download: Performance Evaluation of an Authentication Mechanism in Time-Triggered Networked Control Systems.pdf (333.21 KB)

Kousoukos, X., H. Neema, G. Martins, S. Bhatia, S. Janos, K. Stouffer, C. Y. Tang, and R. Candell, "Performance Evaluation of Secure Industrial Control System Design: A Railway Control System Case Study", 4th International Symposium on Resilient Cyber Systems, Chicago, IL, 08/2016. Abstract

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.

Kulkarni, C., G. Biswas, X. Koutsoukos, G. Kai, and C. Jose, "Physics of Failure Models for Capacitor Degradation in DC-DC Converters", The Maintenance & Reliability Conference, MARCON 2010, Knoxville, TN, MARCON, 02/2010. Abstract

Download: KulkarniBiswasKoutsoukos_GoebelCelaya_MARCON2010.pdf (337.41 KB)

Szekely, P., R. Neches, M. Becker, S. Fitzpatrick, C. vanBuskirk, D. Fisher, and G. Karsai, "Plan Execution and Coordination", Proceedings of ICAPS Workshop: Plan Execution: A Reality Check, Monterey, California, June, 2005. Abstract

Tambe, S., A. Dabholkar, A. Kavimandan, and A. Gokhale, A Platform Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems, : Institute for Software Integrated Systems, June, 2007.

Download: Tambe_SU_6_0_2007__A_Platfor.pdf (887.99 KB)

Hill, J., A. Dabholkar, A. Kavimandan, J. Balasubramanian, and S. Abdelwahed, "A Platform Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems", ISIS Technical Report, no. #ISIS-07-8: Vanderbilt University, 2007.

Szemethy, T., and G. Karsai, "Platform Modeling and Model Transformations for Analysis", Journal of Universal Computer Science, vol. 10, pp. 1383--1406, October, 2004.

Download: Szemethy_T_11_23_2004_Platform_M.pdf (328.35 KB)

Szemethy, T., and G. Karsai, "PML: a Language for Platform Modeling", Electronic Communications of the EASST, vol. 4, 2006.

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)

Pradhan, S., A. Dubey, S. Khare, F. Sun, J. Sallai, A. Gokhale, D. Schmidt, M. Lehofer, and M. Sturm, "Poster Abstract: A Distributed and Resilient Platform for City-scale Smart Systems", The First IEEE/ACM Symposium on Edge Computing, Washington DC, 2016.

Download: poster-abstract-distributed.pdf (217.55 KB)

Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai, "Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems", 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, IEEE, pp. 1-1, April, 2016. Abstract

Karsai, G., S. Padalkar, H. Franke, and J. Sztipanovits, "A Practical Method For Creating Plant Diagnostics Applications", Integrated Computer-Aided Engineering, vol. 3, pp. 291--304, 1996.

Download: Karsai_G_0_0_1996_A_Practica.pdf (364.48 KB)

Zhang, Z., and X. Kousoukos, "Precise Multi-Level Inclusive Cache Analysis for WCET Estimation", 36th IEEE Real-Time Systems Symposium (RTSS), 12/2015.

Download: PID3875999.pdf (520.11 KB)

Durham, E., Y. Xue, M. Kantarcioglu, and B. Malin, "Private Medical Record Linkage with Approximate Matching", American Medical Informatics Association (AMIA) Annual Symposium, Washington D.C., 11/2010.

Kulkarni, C., G. Biswas, and X. Koutsoukos, "A prognosis case study for electrolytic capacitor degradation in DC-DC converters", Annual Conference of the Prognostics and Health Management Society 2009, San Diego, CA, Prognostics and Health Management Society, 10/2009. Abstract

Download: Kulkarni_Biswas_Koutsoukos_PHM09.pdf (632.25 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.

Jose, C., C. Kulkarni, G. Biswas, and G. Kai, "Prognostic Studies and Physics of failure mod- eling under High Electrical Stress for Electrolytic Capacitors", International Journal of Prognostics and Health Management, vol. 4, no. 2013, 2013.

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.

Kulkarni, C., G. Biswas, C. Jose, and G. Kai, "Prognostics Health Management and Failure Analysis Modeling techniques for Accelerated Life testing in Electrolytic Capacitors", IEEE 2011 Workshop on Accelerated Stress Testing & Reliability, San Francisco, CA, IEEE, 10/2011.

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)

Kulkarni, C., J. Celaya, G. Biswas, and K. Goebel, "Prognostics of Power Electronics, methods and validation experiments", 2012 IEEE AUTOTESTCON Proceedings, 2012.

Kulkarni, C., J. Celaya, K. Goebel, and G. Biswas, "Prognostics of Power Electronics, methods and validation experiments", IEEE AUTOTESTCON, Anaheim, CA, IEEE, 09/2012. 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)

Sztipanovits, J., C. Krishnamurthy, and B. Purves, "Programming Model for Coupled Intelligent Systems in Distributed Execution Environment", SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge , MA, pp. 40--48, 1986.

Sztipanovits, J., C. Biegl, and G. Karsai, "Programming Model for Distributed Intelligent Systems", Proceedings of the Conference on Artificial Intelligence for Space Applications, pp. 365--373, 1986.

Dutta, P., Y. - S. Kuo, A. Ledeczi, T. Schmid, and P. Volgyesi, "Putting the Software Radio on a Low-Calorie Diet", Ninth ACM Workshop on Hot Topics in Networks (HotNets-IX), Monterey CA, 10/2010. Abstract

Amundson, I., J. Sallai, X. Koutsoukos, and A. Ledeczi, "Radio Interferometric Angle of Arrival Estimation", 7th European Conference on Wireless Sensor Networks, Coimbra, Portugal, Springer, 02/2010. Abstract

Download: ewsn10_amundson.pdf (409.39 KB)

Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, A. Nadas, S. Dora, and A. Ledeczi, "Radio Interferometric Geolocation", ACM Third International Conference on Embedded Networked Sensor Systems (SenSys 05), San Diego, CA, pp. 1--12, November, 2005.

Download: Maroti_M_11_3_2005_Radio_Inte.pdf (422.8 KB)

Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, S. Dora, and A. Ledeczi, Radio Interferometric Positioning, : Institute for Software Integrated Systems, April, 2005.

Download: Maroti_M_4_10_2005_Radio_Inte.pdf (422.8 KB)