] Filters: First Letter Of Last Name is P [Clear All Filters]
"Graph-Based Real-Time Fault Diagnostics",
4th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 115--123, January, 1988.
"Online Diagnostics Makes Manufacturing More Robust",
Chemical Engineering Magazine, pp. 80--83, March, 1995.
"Real-Time Fault Diagnostics",
IEEE Expert, vol. 6, pp. 75--85, 1991.
"Real-Time Fault Diagnostics with Multiple-Aspect Models",
IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
"A Study on Diagnosability of Space Station ECLSS",
Fifth Conference on Artificial Intelligence for Space Applications, Huntsville, AL, 1990.
"Dynamic Workflow Management and Monitoring Using DDS",
7th IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASe), pp. 20--29, 2010.
Abstract
Download: paper.pdf (23.53 MB)
"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)
Extended Relational Models for Diagnosis,
: Vanderbilt University, August, 2000.
"Heirarchical Control Reconfiguration for a Class of Hybrid Systems",
PhD Dissertation: Vanderbilt University, August, 2002.
Download: Pasternak_T_8_0_2002_Heirarchic.pdf (804.4 KB)
"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)
Framework Independent Agent Modeling Environment,
: Vanderbilt University, May, 2001.
"Enabling Software-Defined Networking for Wireless Mesh Networks in Smart Environments",
Network Computing and Applications (NCA), 2016 IEEE 15th International Symposium on: IEEE, pp. 153–157, 2016.
Abstract
Modular and Highly Configurable Computation Mobility Framework for Internet of Things,
, no. ISIS-15-116, 2015.
Download: MDM-15.pdf (965.39 KB)
"Broad Frequency Vibration Energy Harvesting Control Approach Based on the Maximum Power Transfer Theorem",
Dynamic Systems and Control Conference, Palo Alto, CA, USA, 2013.
Download: Pedchenko Barth Energy Harvester DSCC 2013 submit.pdf (526.42 KB)
"Towards an Adaptive Multi-modal Traffic Analytics Framework at the Edge",
International Workshop on Pervasive Flow of Things, Kyoto, Japan, IEEE, 03/2019.
Abstract
Download: PerFotWorkshopPettet.pdf (1.52 MB)
"Incident Analysis and Prediction Using Clustering And Bayesian Network",
IEEE Conference on Smart City Innovations, San Francisco Bay Area, USA, IEEE, 08/2017.
Abstract
Download: IEEE-SCI-R-33.pdf (365.1 KB)
"LQCD Workflow Execution Framework: Models, Provenance and Fault-Tolerance",
Journal of Physics: Conference Series, to appear, 2009.
Download: CHEP09-Paper.pdf (420.63 KB)
"Application of the Multigraph Architecture in Intelligent Patient Monitoring",
IEEE-EMBS Annual Conference, San Diego, CA, October, 1993.
"Intelligent Patient Monitoring Systems",
Research Memorandum, Centre for Measurement {\&} Information in Medicine, MIM/RNP-ERC-RS/14, The City University, London, February, 1993.
"Efficient Tracking of Behavior in Complex Hybrid Systems via Hybrid Bond Graphs",
Annual Conference of the Prognostics and Health Management Society 2010, Portland, OR, US, 10/2010.
Abstract
Download: phmc_10_064.pdf (748.34 KB)
"Partition Configuration for Real-Time Systems With Dependencies",
21st International Conference on Real-Time Networks and Systems, Sophia Antipolis, France, ACM, pp. 87-96, 10/2013.
Abstract
"Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models",
Software Composition (SC 2011), vol. LNCS 6708, Zurich, Springer, pp. 133-140, 2011.
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models,
, no. ISIS-11-106, Nashville, TN, ISIS, Vanderbilt University, 04/2011.
Abstract
Download: incr_cycle_analysis.pdf (1.08 MB)
"Towards a time-triggered schedule calculation tool to support model-based embedded software design",
ACM International Conference on Embedded Software (EMSOFT ’09), Grenoble, France, ACM, 10/2009.
Abstract
"Online Stability Validation Using Sector Analysis",
International Conf. on Embedded Software (EMSoft), Scottsdale, AZ, ACM, pp. 29-38, 10/2010.
Abstract
"New Developments in Model-Integrated Development of High-Confidence Software",
Safe and Secure Systems & Software Symposium, Beavercreek, OH, 06/2010.
The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis,
, Nashville, TN, Vanderbilt University, 09/2010.
Download: ESMoL_TR.pdf (3.99 MB)
"Software and attack centric integrated threat modeling for quantitative risk assessment",
Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, ACM, pp. 99–108, 2016.
"Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)",
Workshop on High Confidence and Software Systems (HCSS), Annapolis, MD, 05/2018.
Resilient traffic light control (Poster),
, Science of Security Quarterly Lablet Meeting, College Park, MD, 10/2015.
"Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems (Poster)",
CPS PI Meeting, Alexandria, VA, 11/2017.
"A Testbed for Evaluating and Measuring Security and Resilience in CPS (Poster)",
Science of Security Quarterly Lablet Meeting, Laurel, MD, 11/2016.
"Simulation Based Evaluation of Security and Resilience in Railway Infrastructure (Poster)",
Symposium and Bootcamp for the Science of Security (HotSoS), Nashville, TN, 04/2019.
SURE: An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster),
, Science of Security Quarterly Lablet Meeting, Raleigh, NC, 02/2016.
"Integrated Moving Target Defense and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)",
CPS PI Meeting, Alexandria, VA, 11/2018.
"SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems (Poster)",
Computational Cybersecurity for Compromised Environments (C3E), Atlanta, GA, 10/2017.
"An Instruction Set Randomization Framework for Developing Secure and Resilience in CPS (Poster)",
Symposium and Bootcamp for the Science of Security (HotSoS), Hanover, MD, 04/2017.
"Integrated Data Space Randomization and Control Reconfiguration for Securing Cyber-Physical Systems",
Symposium and Bootcamp for the Science of Security (HotSoS), Nashville, TN, 04/2019.
"Moving Target Defense for Securing Cyber-Physical Systems with Learning Enabled Components (Poster)",
Workshop on Computational Cybersecurity in Compromised Environments (C3E), Atlanta, GA, 09/2018.
"Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (accepted)",
Symposium and Bootcamp on the Science of Security, Raleigh, NC, ACM, 04/2018.
"Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed",
Resilience Week (RWS), Wilmington, DE, IEEE, pp. 177-183, 09/2017.
Abstract
"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)
"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)
"Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems",
11th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe-2014), Laurel, MD, USE, IEEE, 2014.
Download: Pradhan_EASe-2014.pdf (1.46 MB)
Towards a Resilient Deployment and Configuration Infrastructure for Fractionated Spacecraft,
, APRES 2013, ACM SIGBED, 04/2013.
Abstract
Download: apres13.pdf (162.07 KB)
"Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems",
Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, Cham, Springer International Publishing, pp. 88–104, 2016.
Abstract
"Towards a generic computation model for smart city platforms",
2016 1st International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) , pp. 1-6, 2016.
Abstract
Towards a Self-adaptive Deployment and Configuration Infrastructure for Cyber-Physical Systems,
, Nashville, Institute for Software Integrated Systems, 6/2014.
Abstract
Download: Pradhan_SEAMS_TechReport.pdf (2.05 MB)
Real-time Fault Tolerant Deployment and Configuration Framework for Cyber Physical Systems,
, RTSS-WiP, ACM SIGBED, 12/2012.
Abstract
Download: main.pdf (79.96 KB)
"Achieving resilience in distributed software systems via self-reconfiguration",
Journal of Systems and Software, pp. -, 2016.
Abstract
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering