Sherif Abdelwahed

 

Journal Papers

  • S. Abdelwahed, R. Su, J. Bai, and N. Kandasamy "On the Application of Predictive Control Techniques for Adaptive Performance Management of Computing Systems," IEEE Transactions on Network and Service Management, accepted.

  • A. Dubey, R. Mehrotra, S. Abdelwahed, and A. Tantawi, "Performance Modeling of Distributed MultiTier Enterprise Systems," ACM Performance Evaluation Review, vol. 37, no. 2, pp.9-11, September, 2009.

  • G. Madl, S. Pasricha, N. Dutt, and S. Abdelwahed, "Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs," IEEE Transaction on Industrial Electronics, Special Section on Real-Time and Networked Embedded Systems, vol. 5, no. 3, pp.241-256, August, 2009.

  • J. Wu and S. Abdelwahed, "An efficient finite-input receding horizon method and its application for the pneumatic hopping robot," Journal of Computers. vol. 3, no. 9, pp.50-58, September, 2008.

  • S. Abdelwahed, G. Karsai, N. Mahadevan, and S. C. Ofsthun, "Practical considerations in systems diagnosis using timed failure propagation graph models", IEEE Transactions on Instrumentation and Measurement. vol. 58, no. 2, pp.240-247, February, 2009.

  • V. Bhat, M. Parashar, H. Liu, M. Khandekar, N. Kandasamy, S. Abdelwahed, and S. Klasky, "A Self-Managing Wide-Area Data Streaming Service using Model-based Online Control," Cluster Computing, The Journal of Networks, Software Tools and Applications. vol. 1, no. 10, pp.365-383, October, 2007.

  • G. Madl, S. Abdelwahed, and D. Schmidt, "Verifying distributed real-time properties of embedded systems via graph transformations and model checking," Real-Time Systems: The International Journal of Time-Critical Computing Systems, vol. 33, no. 1-3, pp. 77-100, July, 2006.

  • M. Khandekar, N. Kandasamy, S. Abdelwahed, and G. Sharp, "A Control-based framework for Self-Managing Computing Systems," Multiagent and Grid Systems, an International Journal, vol. 1, no. 2, pp. 63-72, 2005.

  • R. Su, S. Abdelwahed, and Sandeep Neema, "Computing Finitely Reachable Containable Region for Switching System," IEE Proceedings on Control Theory and Applications, vol. 152, no. 4,pp. 477-486, July 2005.

  • S. Abdelwahed, J. Wu, G. Biswas, J. Ramirez and E. Manders "Online Fault Adaptive Control for Efficient Resource Management in Advanced Life Support Systems," the International Journal for Human Support Research, vol. 10, no. 2, pp. 105-115, 2005.

  • G. Biswas, E. Manders, J. Ramirez, N. Mahadevan, and S. Abdelwahed "Online Model-based Diagnosis to support autonomous operation of the Advanced Life Support Systems," the International Journal for Human Support Research, vol. 10, no. 1, pp. 21-38, 2004.

  • S. Abdelwahed, M. Hassan, and M. Sultan, "Parallel asynchronous algorithms for optimal control of large-scale dynamic systems," Optimal Control Applications and Methods, Vol. 18, July 19, 1997.

  • S. Abdelwahed, M. Hassan, and M. Sultan, "Partially asynchronous co-state prediction algorithm.” IEE Proceedings on Control Theory Applications, Vol. 142, No. 2, March 1995.

Book Chapters

  • S. Abdelwahed and N. Kandasamy, "A Control-Based Approach to Autonomic Performance Management in Computing Systems," in Handbook of Autonomic Computing, M. Parashar and S. Hariri, Eds. CRC-Press, 2006.

  • N. Kandasamy, S. Abdelwahed, G. Sharp, and J. P. Hayes, "An online control framework for designing self-optimizing computing systems: Application to power management," In Self-Star Properties in Complex Information Systems, Lecture Notes in Computer Science, O. Babaoglu et al., Eds. Springer-Verlag, 2005, vol. 3460.

  • G. Karsai, G. Biswas, and S. Abdelwahed, et al. "Towards Fault-Adaptive Control of Complex Dynamic Systems" In T. Samad and G. Balas Software-Enabled Control: Information Technology for Dynamical Systems. IEEE publication, 2003.

Conference Papers

Acceptance rates for conference papers, when known, are provided.

  • S. Abdelwahed and G. Karsai, "Failure Prognosis Using Timed Failure Propagation Graphs", in the International Conference Conference of the Prognostics and Health Management Society 2009, San Diego, CA 2009.

  • S. T. Morris, A. Srivastava, B. Reaves, K. Pavurapu, S. Abdelwahed, R. Vaughn, W. McGrew, Y. Dandass, "Engineering Future Cyber-Physical Energy Systems: Challenges, Research Needs, and Roadmap," the 2009 IEEE North American Power Symposium, Starkville, MS, Oct. 2009.

  • J. Bai and S. Abdelwahed, "Efficient Algorithms for Performance Management of Computing Systems," the 4th International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2009), San Francisco, CA, April 2009.

  • A. Dubey, D. Riley, S. Abdelwahed, and Ted Bapty, "Modeling and Analysis of Probabilistic Timed Systems," 16th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS), San Francisco, CA, April 2009.

  • G. Madl, N. Dutt, and S. Abdelwahed, "A conservative approximation method for the verification of preemptive scheduling using timed automata," in Proc. 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'09), San Francisco, California, 2009. Acceptance rate: 22%

  • A. Dubey, G. Karsai and S. Abdelwahed, "Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems," 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009), Tokyo, Japan, March, 2009.

  • J. Bai and S. Abdelwahed, "A model integrated framework for designing self-managing computing systems," the 3rd International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2008), Annapolis, Maryland, June, 2008.

  • D. Kusic, N. Kandasamy, S. Abdelwahed, G. Jiang, "Towards fault-adaptive control of enterprise computing systems-a position paper," the 3rd International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2008), Annapolis, Maryland, June, 2008.

  • S. Abdelwahed, K. Kandasamy, and A. Gokhale, "High confidence software for cyber-physical systems," invited paper, the Workshop on Automating Service Quality (WRASQ), the 22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta, GA, November 5-9, 2007.

  • S. Abdelwahed and K. Kandasamy, "Fault-adaptive control for robust performance management of computing systems," in International Conference on Autonomic Computing (ICAC'07), Jacksonville, FL, June 2007. Acceptance rate %17

  • J. Wu and S. Abdelwahed, "Discrete-input receding horizon control applied to pneumatic hopping robot energy regulation," the IEEE International Conference on Systems, Man and Cybernetics, (SMC 2007), Montreal, Quebec, Canada, October 2007, pp:1567-1572.

  • S. Ofsthun and S. Abdelwahed, "Practical applications of timed failure propagation graphs for vehicle diagnosis", in the IEEE Systems Readiness Technology Conference, (AUTOTESTCON'07), Baltimore, MD, 2007.

  • S. Abdelwahed and G. Karsai, "Practical consideration in systems diagnosis using timed failure propagation graph models", in the IEEE Systems Readiness Technology Conference, (AUTOTESTCON'07), Baltimore, MD, 2007.

  • G. Madl, N. Dutt, and S. Abdelwahed, "Performance Estimation of Distributed Real- time Embedded Systems by Discrete Event Simulations," in The ACM Conference on Embedded Software (EMSOFT'07), Salzburg, Austria, 2007. Best research award. Acceptance rate: 30%

  • A. Gokhale, S. Abdelwahed and K. Kandasamy, "Developing High Confidence Software for Cyber-Physical Systems," position paper, High-Confidence Software Platforms for Cyber-Physical Systems (HCSP-CPS) Workshop, Alexandria, VA, 2006.

  • S. Abdelwahed and G. Karsai, "Notions of Diagnosability for Timed Failure Propagation Graphs," in IEEE Systems Readiness Technology Conference, AUTOTESTCON'06, Anaheim, CA, 2006.

  • G. Karsai, G. Biswas, S. Abdelwahed, N. Mahadevan, and E. Mandres "Model-Based Software Tools for Integrated Vehicle Health Management," in Proc. 2nd International Conference on Space Mission Challenges for Information Technology (SMC-IT'06), Pasadena, CA, July 2006.

  • V. Bhat, M. Parashar, H. Liu, M. Khandekar, N. Kandasamy, and S. Abdelwahed, "Enabling Self-Managing Applications using Model-based Online Control Strategies," in International Conference on Autonomic Computing (ICAC'06), Dublin, Ireland, 2006. Acceptance Rate: 20%

  • N. Kandasamy, S. Abdelwahed, and M. Khandekar, "A Control-based framework for Self-Managing Computing Systems," in Proc. The 26th International Conference on Distributed Computing Systems (ICDCS'06), Lisbon, Portugal, 2006. Acceptance Rate: 13%

  • R. Su and S. Abdelwahed, "A Practical Stability Analysis for a Class of Switching Systems with Uncertain Parameter," in Proc. American Control Conference (ACC'06), Minneapolis, Minnesota, 2006.

  • K. Chen, J. Sztipanovits, and S. Abdelwahed, "Semantic Unit for Timed Automata Based Modeling Languages," in Proc. 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), San Jose, California, 2006. Acceptance rate: 29%

  • K. Chen, J. Sztipanovits, and S. Abdelwahed, "Semantic Anchoring with Model Transformations," European Conference on Model Driven Architecture - Foundations and Applications (ECMDA'05), Nuremberg, Germany, November 2005. Acceptance rate: 29%

  • G. Madl and S. Abdelwahed, "Model based analysis of distributed realtime embedded system composition," in The ACM Conference on Embedded Software (EMSOFT'05), Jersey City, New Jersey, Sept. 2005. Acceptance rate: 28%

  • K. Chen, J. Sztipanovits, S. Neema, M. Emerson, and S. Abdelwahed "Toward a Semantic Anchoring Infrastructure for Domain Specific Modeling Languages," The ACM Conference on Embedded Software (EMSOFT'05), Jersey City, New Jersey, September 2005. Acceptance rate: 28%

  • S. Abdelwahed, R. Su, and S. Neema, "On the feasibility of lookahead control for systems with finite control set," in Proc. IEEE Conference on Control Application, Toronto, Canada, Aug. 2005.

  • J. Wu, G. Biswas, and S. Abdelwahed "Hybrid control system design and implementation for a three-tank testbed," in Proc. IEEE Conference on Control Application, Toronto, Canada, Aug. 2005.

  • S. Abdelwahed, G. Karsai, and G. Biswas, "Robust state-based supervisory control of discrete event systems," in Proc. IEEE Conference on Control Application, Toronto, Canada, Aug. 2005.

  • S. Abdelwahed, J. Wu, G. Biswas, and E. Manders, "Hierarchical online control design for autonomous resource management in advanced life support systems," in Proc. 35th SAE International Conference on Environmental Systems (ICES'05), Rome, Italy, July 2005.

  • G. Biswas, P. Bonasso, and S. Abdelwahed, et al., "Requirements for an autonomous control architecture for advanced life support systems," in Proc. 35th SAE International Conference on Environmental Systems (ICES'05), Rome, Italy, July 2005.

  • S. Abdelwahed, G. Karsai, and G. Biswas, "A consistency-based robust diagnosis approach for temporal causal systems," in Proc. 16th International Workshop on Principles of Diagnosis (DX'05), Monterey, CA, June 2005.

  • I. Roychoudhury, G. Biswas, X. Koutsoukos, and S. Abdelwahed, "A distributed diagnosis approach for multiprocess systems," in Proc. 16th International Workshop on Principles of Diagnosis (DX'05), Monterey, CA, June 2005.

  • S. Mujumdar, N. Mahadevan, S. Neema, and S. Abdelwahed, “A Model-Based Design Framework to Achieve End-To-End QoS Management,” the ACM Southeast Conference, 2005.

  • S. Abdelwahed, N. Kandasamy, and Sandeep Neema, "A Control-Based Framework for Self-Managing Distributed Computing Systems," ACM SIGSOFT Workshop on Self-Managed Systems (WOSS'04), Newport Beach, CA, 2004.

  • S. Abdelwahed, G. Karsai, G. Biswas, "System Diagnosis using Hybrid Failure Propagation Graphs," The 15th International Workshop on Principles of Diagnosis (DX'04), Carcassonne, France, June 2004.

  • J. Ye, J. Loyall, R. Shapiro, R. Schantz, S. Neema, S. Abdelwahed, et. al. "A Model-Based Approach to Designing QoS Adaptive Applications," the 25th IEEE International Real-Time Systems Symposium (RTSS'04), Lisbon, Portugal, 2004. Acceptance rate: 22%

  • G. Madl, S. Abdelwahed, and G. Karsai, "Automatic Verification of Component-Based Real-Time CORBA Applications," the 25th IEEE International Real-Time Systems Symposium (RTSS'04), Lisbon, Portugal, 2004. Nominated for best paper award. Acceptance rate: 22%

  • S. Abdelwahed, N. Kandasamy, and Sandeep Neema "Online control for resource management in computing systems." The 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'04), Toronto, 2004. Acceptance rate: 28%

  • G. Biswas, E. Manders, S. Abdelwahed, et. al. "Fault adaptive control: towards robust operation of autonomous systems," Fourth International Conference on Intelligent Systems Design and Applications, Budapest, 2004.

  • S. Abdelwahed, J. Wu, G. Biswas, J. Ramirez, and E. J.-Manders "Online Hierarchical Fault-Adaptive Control for Advanced Life Support Systems," 34th International Conference on Environmental Systems, Colorado Springs, Colorado, July 2004.

  • N. Kandasamy, S. Abdelwahed and J. Hayes "Self optimization in computer systems via online control: application to power management" the International Conference on Autonomic Computing, NY, 2004.

  • G. Biswas, S. Abdelwahed, X. Koutsoukos, J. Gandhe and E. Manders, "Toward Distributed Diagnosis of Complex Physical Systems" invited paper, The Forty-Second Annual Allerton Conference on Communication, Control, and Computing, 2004.

  • J. Loyall, R. Shapiro, S. Neema, and S. Abdelwahed, et al., "A Case Study in Applying QoS Adaptation and Model-Based Design to the Design-Time Optimization of Signal Analyzer Applications" the Military Communications Conference MILCOM, Monterey CA, 2004.

  • S. Abdelwahed, 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, 2003. Acceptance rate: 17%

  • S. Abdelwahed, and W. M. Wonham, "Interacting DES: Modeling and Analysis." IEEE International Conference on Systems, Man & Cybernetics, Washington D.C., 2003.

  • J. Loyall, R. Shapiro, S. Neema, and S. Abdelwahed, et al., "Model-Based Design of Runtime Adaptation Strategies," The 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'03), 2003. Acceptance rate: 30%

  • S. Abdelwahed, S. Neema, J. Loyall, and R. Shapiro. "Online Hybrid Control Design for QoS Management." IEEE Int. Conference on Systems, Man & Cybernetics, Washington D.C., 2003.

  • G. Karsai, S. Abdelwahed, and G. Biswas, "Integrated Diagnosis and Control for Hybrid Dynamic Systems", AIAA Guidance, Navigation and Control Conference, 2003.

  • S. Abdelwahed, G. Karsai, and G. Biswas, "Robust Diagnosis of Switching Systems," 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Washington D.C., 2003.

  • G. Biswas, G. Simon, G. Karsai, and S. Abdelwahed, et al. "Self-Adaptive Software for Fault-Adaptive Control" the 4th International Workshop on Self-Adaptive Software, 2003.

  • S. Abdelwahed, and W. M. Wonham, "Blocking Detection in Discrete Event Systems," Proceeding of the American Control Conference, Denver, Colorado, pp.1673-1678, 2003.

  • G. Simon, G. Karsai, G. Biswas, and S. Abdelwahed, et al. “Model-Based Fault-Adaptive Control of Complex Dynamic Systems” Instrumentation and Measurement Tech. Conference, Colorado, 2003.

  • R. Su, S. Abdelwahed, G. Karsai, and G. Biswas, "Discrete Abstraction and Supervisory Control for Switching Systems," IEEE Int. Conference on Systems, Man & Cybernetics, Washington D.C., 2003.

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

  • S. Abdelwahed, and W. M. Wonham, “Supervisory control of interacting discrete event systems,” 41st IEEE Conference on Decision and Control, Las Vegas, NV, pp. 1175-1180, 2002.

  • S. Abdelwahed and W. M. Wonham “Interacting discrete event systems.” Proceedings of the 37th annual Allerton Conference on Communications, Computation and Control, Illinois, 1999.

Technical Reports

  • B. Kusy and S. Abdelwahed, "FTSP Protocol Verification using SPIN," Institute for Software Integrated Systems, Vanderbilt University, Tech. Report ISIS-06-406, 2006.

  • K. Chen, J. Sztipanovits, and S. Abdelwahed, "A Semantic Unit for Timed Automata Based Modeling Languages", Institute for Software Integrated Systems, Vanderbilt University, Technical Report ISIS-05-605, October , 2005.

  • R. Su, S. Abdelwahed, and S. Neema, "A Reachability based Stability Analysis for Switching Systems," Technical Report ISIS-04-506, Institute for Software Integrated Systems, Vanderbilt University, September 2004.

  • N. Kandasamy and S. Abdelwahed, "Designing Self-Managing Distributed Systems using Online Predictive Control," Tech. Report ISIS-03-404, Institute for Software Integrated Systems, Vanderbilt University, December 2003.

  • S. Abdelwahed, G. Karsai, G. Biswas, “System Diagnosis using Hybrid Failure Propagation Graphs,” Technical Report, ISIS-02-302, Institute for Software Integrated Systems, Vanderbilt University, July 2003.

Posters

  • S. Abdelwahed and K. Kandasamy, "Limited Lookahead Control for Performance Management in Computing Systems," in First International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks, Vancouver, 2006.

  • S. Abdelwahed, J. Wu, and G. Biswas, "Online Multilevel Hybrid Control for Optimal Resource Management in Advanced Life Support Systems." Habitation, Conference on Space Habitation Research and Technology Development, Orlando, Florida, 2004.

  • E. Manders, G. Biswas, J. Ramirez, N. Mahadevan, W. Jian, and S. Abdelwahed, “A model integrated computing tool-suite for fault-adaptive control,” the 15th International Workshop on Principles of Diagnosis (DX’04), Carcassonne, France, June 2004.

Presentations

  • T. H. Morris, S. Abdelwahed, A. K. Srivastava, R. Vaughn, and Y. Dandass, "Developing high con¯dence software for cyber-physical systems," position paper, New Research Directions for Future Cyber-Physical Energy Systems (HCSP-CPS) Workshop, Baltimore, MD, 2009.

  • S. Abdelwahed, "On the Application of System Theory in Biomedical Systems," Cancer Research Center, Vanderbilt University, Nashville, TN, April 2006.

  • S. Abdelwahed, J. Wu, and G. Biswas, “A Model-based Hierarchical Control Design for the Water Recovery System in the NASA Advanced Life Support Systems,” in Habitation, Conference on Space Habitation Research and Technology Development, Orlando, FL, 2006.

  • E. Manders, G. Biswas, and S. Abdelwahed “Component Oriented Physical System Modeling of a Water Recovery System for Control and Diagnosis,” in Habitation, Conference on Space Habitation Research and Technology Development, Orlando, FL, 2006.

  • S. Abdelwahed, “Computer aided verification of reactive systems”, Vanderbilt University Dept of Electrical Engineering and Computer Science’s CSWithIT Seminar Series, Oct 2003.

Theses