Journals

• 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. Accepted.

• 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 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.

Conferences

• 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.

• 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.

• 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.

• 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.

• 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.

• 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, accepted.

• 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, accepted.

• 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, accepted.

• 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, accepted.

• 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, accepted.

• 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, 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, Lisbon, Portugal, 2004.

• G. Madl, S. Abdelwahed, and G. Karsai, "Automatic Verification of Component-Based Real-Time CORBA Applications," the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, 2004.

• S. Abdelwahed, N. Kandasamy, and Sandeep Neema "Online control for resource management in computing systems." The 10^th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, 2004.

• 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, Cancun, Mexico, 2003.

• 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, 2003.

• 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," 5^th 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 4^th 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," 41^st 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.”  41^st 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.

Poster Sessions 

• 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.

• 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,” in The 15th International Workshop on Principles of Diagnosis (DX’04), Carcassonne, France, June 2004.

Presentations 

• 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, "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

• S. Abdelwahed, "Interacting discrete event systems: modeling, verification, and supervisory control," Ph.D. Thesis, Department of Electrical and Computer Engineering, University of Toronto, 2001.

• S. Abdelwahed, "Development of Multi-level Asynchronous Algorithms for Complex Systems," M.Sc. Thesis, Department of Communications and Electronics Engineering, Cairo University, 1993.