Home

ISIS Publications

Export 146 results:
Sort by: [ Author (Desc)] Title Type Year
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]
K
Kusy, B., and S. Abdelwahed, FTSP Protocol Verification using SPIN, : Institute for Software Integrated Systems, May, 2006.  Download: Abdelwahed_S_5_0_2006_FTSP_Proto.pdf (194.51 KB)
Kusy, B., and J. Sallai, Analytical solution for radio-interferometric localization of mobile sensors, , Nashville, Tennessee, Institute for Software Integrated Systems, Vanderbilt University, December, 2006.  Download: Kusy_B_12_1_2006_Analytical.pdf (196.56 KB)
Kusy, B., G. Balogh, J. Sallai, A. Ledeczi, and M. Maroti, "inTrack: High Precision Tracking of Mobile Sensor Nodes", European conference on Wireless Sensor Networks, Delft, Netherlands, January, 2007.  Download: Kusy_B_1_29_2006_inTrack__H.pdf (831.13 KB)
Kusy, B., A. Ledeczi, M. Maroti, and P. Volgyesi, "Domain Independent Generative Modeling", ECBS '04, Brno, Czech Republic, May, 2004.  Download: Kusy_B_5_24_2004_Domain_Ind.pdf (51.97 KB)
Kusy, B., J. Sallai, G. Balogh, A. Ledeczi, V. Protopopescu, J. Tolliver, F. DeNap, and M. Parang, "Radio Interferometric Tracking of Mobile Wireless Nodes", In Proc. of MobiSys, 2007.
Kusy, B., G. Balogh, P. Volgyesi, J. Sallai, A. Nadas, A. Ledeczi, M. Maroti, and L. Meertens, "Node-Density Independent Localization", In Proc. of IPSN/SPOTS, Nashville, Tennessee, April, 2006.  Download: spot6144-kusy.pdf (550.15 KB)
Kusy, B., P. Dutta, P. Levis, M. Maroti, A. Ledeczi, and D. Culler, "Elapsed Time on Arrival: a simple and versatile primitive for canonical time synchronization services", International Journal of Ad Hoc and Ubiquitous Computing, vol. 2, 2006.
Kusy, B., A. Ledeczi, and X. Koutsoukos, "Tracking mobile nodes using RF Doppler shifts", SenSys '07: Proceedings of the 5th international conference on Embedded networked sensor systems, New York, NY, USA, ACM, pp. 29--42, 2007.  Download: Kusy_B_11_7_2007_Tracking_M.pdf (811.73 KB)
Kusy, B., M. Maroti, G. Simon, and A. Ledeczi, "Robust Multi-Hop Time Synchronization in Sensor Networks", ICWN '04, Las Vegas, Nevada, USA, June, 2004.  Download: Kusy_B_6_21_2004_Robust_Mul.doc (214 KB)
Kusy, B., I. Amundson, J. Sallai, P. Volgyesi, A. Ledeczi, and X. Koutsoukos, "RF Doppler Shift-Based Mobile Sensor Tracking and Navigation", ACM Transactions on Sensor Networks, vol. 7, no. 1, pp. 1-32, 2010.
Kushwaha, M., "Sensor Node Localization Using Mobile Acoustic Beacons", Department of Computer Science, Vanderbilt University, Nashville TN, 2005.  Download: master-thesis-manish-kushwaha.pdf (9.06 MB)
Kushwaha, M., A. Ledeczi, S. Oh, I. Amundson, and X. Koutsoukos, "Target Tracking in Urban Environments using Audio-Video Signal Processing in Heterogeneous Wireless Sensor Networks", 42nd IEEE Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, 2008.  Download: tracking_asilomar2008.pdf (442.11 KB)
Kushwaha, M., I. Amundson, P. Volgyesi, P. Ahammad, G. Simon, X. Koutsoukos, A. Ledeczi, and S. Sastry, "Multi-modal Target Tracking using Heterogeneous Sensor Networks", 17th International Conference on Computer Communications and Networks (ICCCN 08), St. Thomas, Virgin Islands (USA), 2008. Abstract  Download: multifusion.pdf (1.36 MB)
Kushwaha, M., K. Molnar, J. Sallai, P. Volgyesi, M. Maroti, and A. Ledeczi, "Sensor Node Localization Using Mobile Acoustic Beacons", The 2nd IEEE International Conference (MASS 05), Washington, DC, November, 2005.  Download: Kushwaha_M_11_7_2005_Sensor_Nod.pdf (1.18 MB)
Kushwaha, M., S. Oh, I. Amundson, X. Koutsoukos, and A. Ledeczi, "Tracking in Urban Environments Using Sensor Networks Based on Audio-Video Fusion", Handbook of Ambient Intelligence and Smart Environments (AISE): Springer, 2009.  Download: kushwaha_aise_bookchapter.pdf (1.59 MB)
Kushwaha, M., I. Amundson, X. Koutsoukos, S. Neema, and J. Sztipanovits, "OASiS: A Programming Framework for Service-Oriented Sensor Networks", International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), Bangalore, India, 2007. Abstract  Download: comsware07.pdf (982.55 KB)
Kushwaha, M., and X. Koutsoukos, A Graphical Model Approach to Source Localization in Wireless Sensor Networks, , no. ISIS-09-10, Nashville, ISIS, Vanderbilt University, 03/2009. Abstract  Download: KUSHWAHA-ISIS-TR-2009.pdf (613.52 KB)
Kushwaha, M., S. Oh, I. Amundson, X. Koutsoukos, and A. Ledeczi, "Target Tracking in Heterogeneous Sensor Networks Using Audio and Video Sensor Fusion", IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008), Seoul, Korea, 2008.  Download: multifusion.pdf (587.45 KB)
Kushwaha, M., X. Koutsoukos, P. Volgyesi, and A. Ledeczi, "Acoustic Source Localization and Discrimination in Urban Environments", International Conference on Information Fusion 2009, 2009.  Download: kushwaha_fusion2009.pdf (201 KB)
Kumar, P. S., W. Emfinger, A. Kulkarni, G. Karsai, D. Watkins, B. Gasser, C. Ridgewell, and A. Anilkumar, "ROSMOD: A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS", Rapid System Prototyping Symposium (ESWEEK), Amsterdam, The Netherlands, 2015.  Download: 2015--RSP--ROSMOD - A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS.pdf (7.72 MB)
Kumar, P. S., A. Dubey, and G. Karsai, Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications, , pp. 79–88, 2014.  Download: MoDeVVa_2014_CPN.pdf (557.04 KB)
Kumar, P. S., W. Emfinger, and G. Karsai, "A Testbed to Simulate and Analyze Resilient Cyber-Physical Systems", Rapid System Prototyping (ESWEEK), 2015.  Download: 2015--RSP--A Testbed to Simulate and Analyze Resilient Cyber-Physical Systems.pdf (6.96 MB)
Kumar, P. S., and G. Karsai, "Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems", 2015 IEEE International Symposium on Real-time Computing (ISORC), Auckland, New Zealand, 2015.  Download: 2015--SEUS--Integrated Analysis of Temporal Behavior of Component-based Distributed Real-time Embedded Systems.pdf (1.31 MB)
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
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., G. Biswas, X. Koutsoukos, K. Goebel, and J. Celaya, "Experimental studies of ageing in electrolytic capacitors", Annual Conference of the Prognostics and Health Management Society 2010, Porltand, OR, Prognostics and Health Management Society, 10/2010. Abstract
Kulkarni, C., G. Biswas, B. Raj, and K. Kyusung, "Effects of Degradation in DC-DC Converters on Avionics Systems: A Model Based Approach", Machinery Failure Prevention Technology Conference, MFPT 2010, Huntsville, AL, MFPT, pp. 8-13, 04/2010. Abstract  Download: KulkarniBiswas_BharadwajKim_MFPT2010.pdf (240.4 KB)
Kulkarni, C., C. Jose, G. Biswas, and G. Kai, "Accelerated Aging Experiments for Capacitor Health Monitoring and Prognostics", IEEE AUTOTESTCON, Anaheim, CA, IEEE, 09/2012.
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., 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)
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.
Kulkarni, C., G. Biswas, X. Koutsoukos, C. Jose, and K. Goebel, "Integrated Diagnostic/Prognostic Experimental Setup for Capacitor Degradation and Health Monitoring", IEEE AUTOTESTCON 2010, Orlando, FL, IEEE, 09/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., J. Celaya, G. Biswas, and K. Goebel, "Prognostics of Power Electronics, methods and validation experiments", 2012 IEEE AUTOTESTCON Proceedings, 2012.
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, J. Celaya, and K. Goebel, "Diagnostic/Prognostic Experiments for Capacitor Degradation and Health Monitoring in DC-DC converters", ASME 2010 Conference on Smart Materials, Adaptive Structures and Intelligent Systems, Philadelphia, PA, ASME, 10/2010.
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)
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
Koutsoukos, X., G. Karsai, A. Laszka, H. Neema, B. Potteiger, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits, "SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems", Proceedings of the IEEE: IEEE, 2017.
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
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)
Koutsoukos, X., H. Neema, B. Potteiger, and P. Volgyesi, "An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster)", CPS PI Meeting, Arlington, VA, 11/2016.
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)
Koutsoukos, X., T. Bapty, and S. Neema, Formal Verification and Reliability in the META Toolchain (status: review pending), , no. ISIS-15-108, 2015.
Koutsoukos, X., and P. Antsaklis, "Design of Stabilizing Switching Control Laws for Discrete-and Comtinuous- Time Linear Systems Using Piecewise-Linear Lyapunov Functions", International Journal Control, vol. 75, pp. 932--945, 2002.  Download: Koutsoukos_X_0_0_2002_Design_of_.pdf (157.74 KB)
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
Koutsoukos, X., M. Kushwaha, I. Amundson, S. Neema, and J. Sztipanovits, "OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks", Monterey Workshop 2006, LNCS 4888, Springer-Verlag, Paris, France, 2007.  Download: LNCS2007.pdf (1.54 MB)
Koutsoukos, X., J. Kurien, and F. Zhao, "Monitoring and Diagnosis of Hybrid Systems Using Particle Filtering Methods", Proceedings of the 15th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2003, Notre Dame, IN, August, 2002.  Download: Koutsoukos_X_8_0_2002_Monitoring.pdf (524.94 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
Kottenstette, N., and P. J. Antsaklis, "Wireless control of passive systems subject to actuator constraints", 47th IEEE Conference on Decision and Control (CDC 2008), Cancun, Mexico, IEEE, pp. 2979-2984, 12/2008. Abstract