Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai,
"A component-based approach for modeling failure propagations in power systems",
Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2015 Workshop on, Seattle, Washington, USA, IEEE, pp. 1–6, 2015.
Abstract
Lattmann, Z., A. Nagel, T. Levendovszky, T. Bapty, S. Neema, and G. Karsai,
"Component-based Modeling of Dynamic Systems using Heterogeneous Composition",
6th International Workshop on Multi-Paradigm Modeling, Innsbruck, Austria, 10/2012.
Download: MPM12_paper 20.pdf (260.56 KB)
Ledeczi, A., A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, and G. Karsai,
"Composing domain-specific design environments",
IEEE Computer, pp. 44--51, November, 2001.
Daigle, M., I. Roychoudhury, G. Biswas, X. Koutsoukos, A. Patterson-Hine, and S. Poll,
"A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems",
IEEE Transactions on System, Man, and Cybernetics, Part A, vol. 40, no. 5, pp. 917-931, 2010.
Zander, J., P. J. Mosterman, J. S. Kinnebrew, and G. Biswas,
"Computation of things for human protection and fulfillment",
Technologies for Homeland Security (HST), 2010 IEEE International Conference on, Waltham, MA, pp. 153 -159, 11/2010.
Abstract
Download: Zander et al - 2010 -- Computation of Things for Human Protection & Fulfillment.pdf (1.28 MB)
Dubey, A., W. Xianbin, S. Hang, and J. T. Koo,
"Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach",
Lecture Notes in Computer Science, vol. 3707, pp. 114--128, October, 2005.
Download: Dubey_A_10_4_2005_Computatio.pdf (502.45 KB)
van Buskirk, C., B. Dawant, G. Karsai, J. Sprinkle, G. Szokoli, K. Suwanmongkol, and R. Currer,
"Computer-aided Aircraft Maintenance Scheduling",
ISIS-02-303: Institute for Software Integrated Systems, November, 2002.
Download: van_Buskir_CP_11_0_2002_Computer_a.pdf (313.15 KB)
Neema, S., J. Sztipanovits, G. Karsai, and K. Butts,
"Constraint-Based Design-Space Exploration and Model Synthesis",
EMSOFT 2003, LNCS 2855, Philadelphia, PA, October, 2003.
Download: Neema_S_10_2_2003_Constraint.pdf (140.03 KB)
Kogekar, S., S. Neema, B. Eames, X. Koutsoukos, A. Ledeczi, and M. Maroti,
"Constraint-Guided Dynamic Reconfiguration in Sensor Networks",
IPSN '04, Berkeley, California, USA, pp. 379--387, April, 2004.
Download: Kogekar_S_4_26_2004_Constraint.pdf (369.93 KB)
Kottenstette, N., and P. J. Antsaklis,
"Control of multiple networked passive plants with delays and data dropouts",
2008 American Control Conference, Seattle, WA, USA, IEEE, pp. 3126-3132, 06/2008.
Abstract
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)
Kinnebrew, J. S., D. L. C. Mack, G. Biswas, and D. C. Schmidt,
"Coordination of Planning and Scheduling Techniques for a Distributed, Multi-level, Multi-agent System",
The International Conference on Agents and Artificial Intelligence (ICAART 2010), Valencia, Spain, 01/2010.
Abstract
Download: Kinnebrew et al - 2010 - ICAART -- Coord Plan & Sched for Distrib Multi-level MAS.pdf (2.18 MB)
Ledeczi, A., A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, et al.,
"Countersniper System for Urban Warfare",
ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
Szekely, P., M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, J. Jin, G. Karsai, R. T. Maheswaran, B. Neches, C. M. Rogers, et al.,
"CSC: Criticality-Sensitive Coordination",
Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, New York, NY, USA, ACM, pp. 1441–1442, 2006.
Hasan, S., A. Chhokra, N. Mahadevan, A. Dubey, and G. Karsai,
"Cyber-Physical Vulnerability Analysis",
ISIS Technical Report, no. ISIS-17-101, Nashville, Insitute For Software Integrated Systems, pp. 1-14, 01/2017.
Download: report.pdf (927.21 KB)