ISIS Publications

Export 64 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: Author is Abdelwahed, Sherif  [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 
A
Abdelwahed, S., J. Wu, and G. Biswas, "Online Hybrid Control for Optimal Resource Management in Advanced Life Support Systems.", Habitation, Conference on Space Habitation Research and Technology Development, Orlando, FL, January, 2004.
Abdelwahed, S., G. Karsai, and G. Biswas, "Robust Diagnosis of Switching Systems", 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Washington, DC., June, 2003.  Download: Abdelwahed_S_6_0_2003_Robust_Dia.pdf (119.56 KB)
Abdelwahed, S., A. Dubey, G. Karsai, and N. Mahadevan, "Model-based Tools and Techniques for Real-Time System and Software Health Management", Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics: CRC Press, to be published, 2011.
Abdelwahed, S., N. Kandasamy, and S. Neema, "A Control-Based Framework for Self-Managing Distributed Computing Systems", ACM SIGSOFT Workshop on Self-Managed Systems, WOSS'04, Newport Beach, CA, October, 2004.  Download: Abdelwahed_S_10_0_2004_A_Control_.pdf (159.55 KB)
Abdelwahed, S., 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, December, 2003.  Download: Abdelwahed_S_12_0_2003_A_Hybrid_C.pdf (200.83 KB)
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)
Abdelwahed, S., and G. Madl, "Model Based Analysis of Distributed Realtime Embedded System Composition", ACM Conference on Embedded Software (EMSOFT '05), Jersey City, New Jersey, September, 2005.  Download: Abdelwahed_S_9_0_2005_Model_Base.pdf (643.18 KB)
Abdelwahed, S., J. Wu, G. Biswas, J. W. Ramirez, and E. J. Manders, "Online Hierarchical Fault-Adaptive Control for Advanced Life Support Systems", 34th International Conference on Environmental Systems, Colorado Springs, CO, July, 2004.  Download: Abdelwahed_S_7_0_2004_Online_Hie.pdf (242.83 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, "A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems", 16th International Workshop on Principles of Diagnosis (DX '05), Monterey, CA, June, 2005.  Download: Abdelwahed_S_6_0_2005_A_Consiste.pdf (106.38 KB)
Abdelwahed, S., and W. M. Wonham, "Interacting DES: Modeling and Analysis", IEEE Int. Conference on Systems, Man {\&} Cybernetics, Washington, DC., October, 2003.  Download: Abdelwahed_S_10_0_2003_Interactin.pdf (229.43 KB)
Abdelwahed, S., and W. M. Wonham, "Blocking detection in discrete event systems", Proceeding of the American Control Conference, Denver, CO, June, 2003.  Download: Abdelwahed_S_6_0_2003_Blocking_d.pdf (146.63 KB)
Abdelwahed, S., M. Hassan, and M. Sultan, "Partially Asynchronous Co-State Prediction Algorithms", IEEE Proceedings on Control Theory Applications, vol. 142, March, 1995.
Abdelwahed, S., G. Karsai, and G. Biswas, "Robust State-based Supervisory Control of Discrete Event Systems", IEEE Conference on Control Application, Toronto, Canada, August, 2005.
Abdelwahed, S., G. Biswas, and G. Karsai, "System Diagnosis using Hybrid Failure Propagation Graphs", The 15th International Workshop on Principles of Diagnosis, Carcassonne, France, June, 2004.  Download: Abdelwahed_S_6_0_2004_System_Dia.pdf (200.89 KB)
Abdelwahed, S., and W. M. Wonham, "Supervisory control of interacting discrete event systems", 41st IEEE Conference on Decision and Control, Las Vegas, NV, pp. 1175--1180, December, 2002.  Download: Abdelwahed_S_12_0_2002_Supervisor.pdf (196.48 KB)
Abdelwahed, S., J. Sallai, and S. Neema, "On the feasibility of lookahead control for systems with finite control set", IEEE Conference on Control Application, Toronto, Canada, August, 2005.
Abdelwahed, S., N. Kandasamy, and S. Neema, "Online control for resource management in computing systems", The 10th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May, 2004.  Download: Abdelwahed_S_5_0_2004_Online_con.pdf (245.72 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, System Diagnosis using Hybrid Failure Propagation Graphs, : Institute for Software Integrated Systems, December, 2003.  Download: Abdelwahed_S_12_0_2003_System_Dia.pdf (385.08 KB)
Abdelwahed, S., J. Wu, G. Biswas, and E. J. Manders, "Hierarchical Online Control Design for Autonomous Resource Management in Advanced Life Support Systems", 35th SAE International Conference on Environmental Studies (ICES '05), Rome, Italy, July, 2005.  Download: Abdelwahed_S_7_0_2005_Hierarchic.pdf (358.43 KB)
Abdelwahed, S., S. Neema, J. Loyall, and R. Shapiro, "Online Hybrid Control Design for QoS Management", IEEE Int. Conference on Systems, Man & Cybernetics, Washington, DC., October, 2003.  Download: Abdelwahed_S_10_0_2003_Online_Hyb.pdf (172.18 KB)
B
Biswas, G., S. Abdelwahed, X. Koutsoukos, J. Gandhe, and E. J. Manders, "Toward Distributed Diagnosis of Complex Physical Systems", The Forty-Second Annual Allerton Conference on Communication, Control, and Computing, Champgain, IL, September, 2004.  Download: Biswas_G_9_0_2004_Toward_Dis.pdf (170.05 KB)
Biswas, G., P. Bonasso, and S. Abdelwahed, "Requirements for an Autonomous Control Architecture for Advanced Life Support System", 35th SAE International Conference on Environmental Systems (ICES'05), Rome , Italy, July, 2005.
Biswas, G., E. J. Manders, S. Abdelwahed, and G. Karsai, "Fault adaptive control: towards robust operation of autonomous systems", Fourth International Conference on Intelligent Systems Design and Applications, Budapest, Hungary, August, 2004.  Download: Biswas_G_8_0_2004_Fault_adap.pdf (358.48 KB)
C
Chen, K., J. Sztipanovits, S. Abdelwahed, and E. Jackson, "Semantic Anchoring with Model Transformations", European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA), Nuremberg, Germany, November, 2005.  Download: Chen_K_11_7_2005_Semantic_A.pdf (1.83 MB)
Chen, K., J. Sztipanovits, S. Neema, M. Emerson, and S. Abdelwahed, "Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages", Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05), Jersey City, New Jersey, pp. 35--44, September, 2005.  Download: Chen_K_9_19_2005_Toward_a_S.pdf (363.02 KB)
Chen, K., J. Sztipanovits, and S. Abdelwahed, "A Semantic Unit for Timed Automata Based Modeling Languages", 12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, pp. 2--14, April, 2006.  Download: Chen_K_4_4_2006_A_Semantic.pdf (316.11 KB)
Chhokra, A., S. Abdelwahed, A. Dubey, S. Neema, and G. Karsai, "From System Modeling to Formal Verification", The 2015 Electronic System Level Synthesis Conference, San Francisco, ECSI, 07/01/2015. Abstract  Download: Session3_Paper3.pdf (1.04 MB)
D
Dubey, A., R. Mehrotra, S. Abdelwahed, and A. Tantawi, "Performance Modeling of Distributed Multi-Tier Enterprise Systems", ACM SIGMETRICS Performance Evaluation Review, vol. 37, no. 2, Seattle, 2009.  Download: Paper.pdf (1.44 MB)
Dubey, A., D. Riley, and S. Abdelwahed, "Modeling and Analysis of Probabilistic Timed Systems", Engineering of Computer Based Systems, San Francisco, USA, 04/2009. Abstract  Download: PTAVerification.pdf (1.42 MB)
H
K
Karsai, G., S. Abdelwahed, and G. Biswas, "Integrated Diagnosis and Control for Hybrid Dynamic Systems", AIAA Guidance, Navigation and Control Conference, Austin, TX, August, 2003.  Download: Karsai_G_8_0_2003_Integrated.pdf (188.1 KB)
Karsai, G., G. Biswas, S. Abdelwahed, N. Mahadevan, and E. J. Manders, "Model-based Software Tools for Integrated Vehicle Health Management", The Second IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadina, CA, 2006.  Download: Karsai_G_0_0_2006_Model_base.pdf (277.55 KB)
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)
L
Loyall, J., R. Shapiro, S. Neema, S. Abdelwahed, and N. Mahadevan, "Model-Based Design of Runtime Adaptation Strategies", The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'03, Toronto, Canada, June, 2003.
M