ISIS Publications

Export 75 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is A  [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   [Show ALL]
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., M. Hassan, and M. Sultan, "Partially Asynchronous Co-State Prediction Algorithms", IEEE Proceedings on Control Theory Applications, vol. 142, March, 1995.
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., 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, "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., 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., 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)
Abbott, B., T. Bapty, and J. Sztipanovits, "Real-Time Turbine Engine Data Visualization", Proceedings of the the 4th NATUG, Ithaca, NY, pp. 1--11, 1990.
Abbott, B., C. Biegl, and J. Sztipanovits, "Multigraph for the Transputer", Transputer Research and Applications, pp. 211--222, 1990.
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, G. Karsai, and J. Sztipanovits, "Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System", Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
Abbott, B., and A. Ledeczi, "TICK: TI TMS320C40 Utility Program", International Conference on Signal Processing Applications and Technology, Dallas, TX, January, 1994.
Abbott, B., C. Biegl, and J. Sztipanovits, "Multigraph on the Transputer", NATUG, Santa Clara, CA, pp. 25--36, April, 1990.
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, and J. Sztipanovits, "Model-Based Software Synthesis for Large-Scale Systems", Proceedings of the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, September, 1993.
Abbott, B., and T. Bapty, "Real-Time Turbine Engine Data Visualization", Transputer Research Applications, DL Fielding, IOS Press, 1990.
Abbott, B., C. Biegl, T. Bapty, J. Sztipanovits, and R. Souder, "Graphical Programming for the Transputer", Proceedings of the 22nd Southeastern Symposium on System Theory, pp. 86--90, March, 1990.
Abbas, W., A. Laszka, and X. Koutsoukos, "Resilient Wireless Sensor Networks for Cyber-Physical Systems", Cyber-Physical System Design with Sensor Networking Technologies: The Institution of Engineering and Technology (IET), 2015.
Abbas, W., Y. Vorobeychik, and X. Koutsoukos, "Resilient Consensus Protocol in the Presence of Trusted Nodes", th IEEE International Symposium on Resilient Control Systems: IEEE, 2014.
Abbas, W., A. Laszka, Y. Vorobeychik, and X. Koutsoukos, "Scheduling Intrusion Detection Systems in Resource-Bounded Cyber-Physical Systems", ACM Workshop on Cyber-Physical Systems Security & Privacy (in Conjunction with 22nd ACM Conference on Computer and Communications Security (CCS)), Denver, CO, ACM, 09/2015.
Abbas, W., S. Bhatia, and X. Koutsoukos, "Guarding Networks Through Heterogeneous Mobile Guards", American Control Conference, Chicago, IL, IEEE, 07/2015.
Abbas, W., and X. Koutsoukos, "Efficient Complete Coverage Through Heterogeneous Sensing Nodes", IEEE Wireless Communication Letters, vol. 4, no. 1, 02/2015.
Abbas, W., L. Perelman, S. Amin, and X. Koutsoukos, "An Efficient Approach to Fault Identification in Urban Water Networks Using Multi-Level Sensing", 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments (BuildSys 2015), Seoul, South Korea, ACM, 11/2015.
Abbas, W., S. Bhatia, Y. Vorobeychik, and X. Koutsoukos, "Immunization Against Infection Propagation In Heterogeneous Networks", 13th IEEE International Symposium on Network Computing & Applications, Cambridge, MA, pp. 296-300, 2014.