] Filters: Author is Abdelwahed, Sherif [Clear All Filters]
"Partially Asynchronous Co-State Prediction Algorithms",
IEEE Proceedings on Control Theory Applications, vol. 142, March, 1995.
"Parallel Asynchronous Algorithms for Optimal Control of Large-scale Dynamic Systems",
Optimal Control Applications and Methods, vol. 18, July, 1997.
Download: Abdelwahed_S_7_0_1997_Parallel_A.pdf (178.49 KB)
"Towards Fault-Adaptive Control of Complex Dynamic Systems",
Software Enabled Control, (Book), 2002.
Download: Karsai_G_0_0_2002_Towards_Fa.pdf (390.07 KB)
"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)
"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)
"Towards Fault-Adaptive Control of Complex Dynamic Systems",
Software-Enabled Control: IEEE Press, 2003.
"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)
Designing Self-Managing Distributed Systems using Online Predictive Control,
: Institute for Software Integrated Systems, December, 2003.
"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)
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)
"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)
"Model-Based Design of Runtime Adaptation Strategies",
The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'03, Toronto, Canada, June, 2003.
"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)
"Self-Adaptive Software for Fault-Adaptive Control",
Third Intl. Workshop on Self-Adaptive Software, Washington, D.C., June, 2003.
"Model-Based Fault-Adaptive Control of Complex Dynamic Systems",
IMTC 2003, Vail, CO, May, 2003.
Download: Simon_G_5_20_2003_Model_Base.pdf (385.87 KB)
"Discrete Abstraction and Supervisory Control of Switching Systems",
IEEE Int. Conference on Systems, Man & Cybernetics, Washington, DC., October, 2003.
Download: ISIS_10_0_2003_Discrete_A.pdf (485.73 KB)
"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)
"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)
"Computing Finitely Reachable Containable Region for Switching System",
IEEE Proceedings on Control Theory and Applications, 2004.
"Online Model-based Diagnosis to support autonomous operation of an Advanced Life Support System",
Habitation - Intl. Journal for human support Research, vol. 10, pp. 21--38, 2004.
Download: Biswas__G_0_0_2004_Online_Mod.pdf (352.93 KB)
"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, August, 2004.
"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)
"Automatic Verification of Component-Based Real-Time CORBA Applications",
the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.
Download: ISIS_12_0_2004_Automatic_.pdf (1.56 MB)
"A Model-Based Approach to Designing QoS Adaptive Applications",
the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.
"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.
"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)
"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)
"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)
"Self optimization in computer systems via online control: application to power management",
the International Conference on Autonomic Computing, New York, NY, May, 2004.
Download: Kandasamy_N_5_0_2004_Self_optim.pdf (237.87 KB)
"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)
A Reachability based Stability Analysis for Switching Systems,
: Institute for Software Integrated Systems, September, 2004.
Download: ISIS_9_0_2004_A_Reachabi.pdf (3.95 KB)
"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)
"Online Fault Adaptive Control for Efficient Resource Management in Advanced Life Support Systems",
Habitation - Intl. Journal for Human Support Research, vol. 10, pp. 105--115, 2005.
Download: Abdelwahed_S_0_0_2005_Online_Fau.pdf (311.45 KB)
"Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking",
International Journal of Time-Critical Computing Systems, 2005.
Download: Madl_G_0_0_2005_Verifying_.pdf (525.32 KB)
"Hybrid Control System Design and Implementation for a Three-tank Testbed",
IEEE Conference on Control Application, Toronto, Canada, August, 2005.
Download: Wu_J_8_0_2005_Hybrid_Con.pdf (507.49 KB)
"On the feasibility of lookahead control for systems with finite control set",
IEEE Conference on Control Application, Toronto, Canada, August, 2005.
"Robust State-based Supervisory Control of Discrete Event Systems",
IEEE Conference on Control Application, Toronto, Canada, August, 2005.
"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)
"Requirements for an Autonomous Control Architecture for Advanced Life Support System",
35th SAE International Conference on Environmental Systems (ICES'05), Rome , Italy, July, 2005.
"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)
"Designing Distributed Diagnosers for Complex Physical Systems",
16th International Workshop on Principles of Diagnosis, Monterey, CA, pp. 31--36, June, 2005.
Download: Roychoudhu_I_6_0_2005_Designing_.pdf (192.41 KB)
"A Model-Integrated Computing Tool-suite for fault adaptive control",
15th Intl Workshop on Principles of Diagnosis (DX '04), Carcassonne, France, June, 2005.
Download: Manders_EJ_6_0_2005_A_Model_In_.pdf (265.41 KB)
"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)
A Semantic Unit for Timed Automata Based Modeling Languages,
: Institute for Software Integrated Systems, October, 2005.
Download: Chen_K_10_28_2005_A_Semantic.pdf (748.84 KB)
"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)
"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)
"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)
"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)
FTSP Protocol Verification using SPIN,
: Institute for Software Integrated Systems, May, 2006.
Download: Abdelwahed_S_5_0_2006_FTSP_Proto.pdf (194.51 KB)
"A Platform Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems",
ISIS Technical Report, no. #ISIS-07-8: Vanderbilt University, 2007.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering