] Filters: Author is Abdelwahed, Sherif [Clear All Filters]
"A Model-Based Approach to Designing QoS Adaptive Applications",
the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.
"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)
"Computing Finitely Reachable Containable Region for Switching System",
IEEE Proceedings on Control Theory and Applications, 2004.
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)
"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)
"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)
"Generic Modeling and Analysis Environment Design for Shipboard Power System",
Marinelive, 11/2012.
Download: Paper_Final_MarineLive_2012_v3.pdf (2.95 MB)
"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)
"Implementing Autonomic Computing Methods to Improve Attack Resilience in Web Services",
DoD High Performance Computing Modernization Program Users Group Conference: DTIC Document, pp. 422, 2012.
"RFDMon: A Real-time and Fault-tolerant Distributed System Monitoring Approach",
The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012.
Download: RFDMON.pdf (752.16 KB)
"A Power-aware Modeling and Autonomic Management Framework for Distributed Computing Systems",
Handbook of Energy-Aware and Green Computing: CRC Press, 2012.
Download: paper.pdf (5.34 MB)
"Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems",
Modeling, Analysis, and Simulation of Computer Systems, International Symposium on, Los Alamitos, CA, USA, IEEE Computer Society, pp. 424-426, 2010.
Download: Paper.pdf (700.4 KB)
"Large Scale Monitoring and Online Analysis in a Distributed Virtualized Environment",
To Appear in Engineering of Autonomic and Autonomous Systems (EASe): IEEE Computer Society, 2011.
"RFDMon: A Real-Time and Fault-Tolerant Distributed System Monitoring Approach",
ISIS Technical Report, Nashville, Vanderbilt University, 10/2011.
Download: SensorReport_Paper.pdf (1.64 MB)
"Model Identification for Performance Management of Distributed Enterprise Systems",
ISIS Technical Report, no. ISIS-10-104, Nashville, Institute for Software Integrated Systems, 2010.
Download: Paper.pdf (4.02 MB)
"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)
"Distributed diagnosis of complex systems using timed failure propagation graph models",
AUTOTESTCON, 2010 IEEE, pp. 1 -6, 2010.
Abstract
"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)
"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 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.
"Model-Based Design of Runtime Adaptation Strategies",
The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'03, Toronto, Canada, June, 2003.
FTSP Protocol Verification using SPIN,
: Institute for Software Integrated Systems, May, 2006.
Download: Abdelwahed_S_5_0_2006_FTSP_Proto.pdf (194.51 KB)
"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)
"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)
"Towards Fault-Adaptive Control of Complex Dynamic Systems",
Software-Enabled Control: IEEE Press, 2003.
"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)
"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)
Designing Self-Managing Distributed Systems using Online Predictive Control,
: Institute for Software Integrated Systems, December, 2003.
"A Platform Independent Component QoS Modeling Language for Distributed Real-time and Embedded Systems",
ISIS Technical Report, no. #ISIS-07-8: Vanderbilt University, 2007.
"Modeling and Analysis of Probabilistic Timed Systems",
Engineering of Computer Based Systems, San Francisco, USA, 04/2009.
Abstract
Download: PTAVerification.pdf (1.42 MB)
"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)
"Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems",
ISORC, Tokyo, Japan, 2009.
Abstract
Download: Isorc.pdf (487.35 KB)
"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)
"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)
"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)
"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)
"Requirements for an Autonomous Control Architecture for Advanced Life Support System",
35th SAE International Conference on Environmental Systems (ICES'05), Rome , Italy, July, 2005.
"Self-Adaptive Software for Fault-Adaptive Control",
Third Intl. Workshop on Self-Adaptive Software, Washington, D.C., June, 2003.
"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)
"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 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)
"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)
"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)
"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)
"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)
"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)
"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)
"Partially Asynchronous Co-State Prediction Algorithms",
IEEE Proceedings on Control Theory Applications, vol. 142, March, 1995.
"Robust State-based Supervisory Control of Discrete Event Systems",
IEEE Conference on Control Application, Toronto, Canada, August, 2005.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering