Research Output

Filter
Article
2020

A composite phase change material thermal buffer based on porous metal foam and low-melting-temperature metal alloy

Yang, T., Kang, J. G., Weisensee, P. B., Kwon, B., Braun, P. V., Miljkovic, N. & King, W. P., Feb 18 2020, In : Applied Physics Letters. 116, 7, 071901.

Research output: Contribution to journalArticle

Open Access

A Constructor-Based Reachability Logic for Rewrite Theories

Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2020, In : Fundamenta Informaticae. 173, 4, p. 315-382 68 p.

Research output: Contribution to journalArticle

A framework for supporting the development of verifiably safe medical best practice guideline systems

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Mar 2020, In : Journal of Systems Architecture. 104, 101693.

Research output: Contribution to journalArticle

A Game-Theoretic Framework for Multiperiod-Multicompany Demand Response Management in the Smart Grid

Alshehri, K., Liu, J., Chen, X. & Basar, T., Jan 1 2020, (Accepted/In press) In : IEEE Transactions on Control Systems Technology.

Research output: Contribution to journalArticle

Air Jet Impingement Cooling of Electronic Devices Using Additively Manufactured Nozzles

Kwon, B., Foulkes, T., Yang, T., Miljkovic, N. & King, W. P., Feb 2020, In : IEEE Transactions on Components, Packaging and Manufacturing Technology. 10, 2, p. 220-229 10 p., 8809671.

Research output: Contribution to journalArticle

A multilevel sampled-data approach for resilient navigation and control of autonomous systems

Jafarnejadsani, H., Wan, N., Hovakimyan, N. & Voulgaris, P. G., Feb 1 2020, In : International Journal of Robust and Nonlinear Control. 30, 3, p. 1071-1097 27 p.

Research output: Contribution to journalArticle

Analysis, Estimation, and Validation of Discrete-Time Epidemic Processes

Pare, P. E., Liu, J., Beck, C. L., Kirwan, B. E. & Basar, T., Jan 2020, In : IEEE Transactions on Control Systems Technology. 28, 1, p. 79-93 15 p., 8488684.

Research output: Contribution to journalArticle

A partial evaluation framework for order-sorted equational programs modulo axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100501.

Research output: Contribution to journalArticle

Open Access

A Simplified Approach to Analyze Complementary Sensitivity Tradeoffs in Continuous-Time and Discrete-Time Systems

Wan, N., Li, D. & Hovakimyan, N., Apr 2020, In : IEEE Transactions on Automatic Control. 65, 4, p. 1697-1703 7 p., 8793137.

Research output: Contribution to journalArticle

A Sparse Latent Class Model for Cognitive Diagnosis

Chen, Y., Culpepper, S. & Liang, F., Mar 1 2020, In : Psychometrika. 85, 1, p. 121-153 33 p.

Research output: Contribution to journalArticle

A swarm-based approach to dynamic coverage control of multi-agent systems

Atınç, G. M., Stipanović, D. M. & Voulgaris, P. G., Feb 2020, In : Automatica. 112, 108637.

Research output: Contribution to journalArticle

Asymptotic Behavior of Conjunctive Boolean Networks over Weakly Connected Digraphs

Chen, X., Gao, Z. & Basar, T., Jun 2020, In : IEEE Transactions on Automatic Control. 65, 6, p. 2536-2549 14 p., 8770125.

Research output: Contribution to journalArticle

Challenges and Opportunities in the Detection of Safety-Critical Cyberphysical Attacks

Lin, H., Alemzadeh, H., Kalbarczyk, Z. & Iyer, R., Mar 2020, Computer, 53, 3, p. 26-37 12 p.

Research output: Contribution to specialist publicationArticle

CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software

Qin, Y., Xie, T., Xu, C., Astorga, A. & Lu, J., Mar 1 2020, In : IEEE Transactions on Reliability. 69, 1, p. 106-123 18 p., 8809357.

Research output: Contribution to journalArticle

Control Systems for Computing Systems: Making computers efficient with modular, coordinated, and robust control

Pothukuchi, R. P., Pothukuchi, S. Y., Voulgaris, P. G. & Torrellas, J., Apr 2020, In : IEEE Control Systems. 40, 2, p. 30-55 26 p., 9036110.

Research output: Contribution to journalArticle

Convex Relaxations of the Network Flow Problem under Cycle Constraints

Zholbaryssov, M. & Domínguez-García, A. D., Mar 2020, In : IEEE Transactions on Control of Network Systems. 7, 1, p. 64-73 10 p., 8709783.

Research output: Contribution to journalArticle

Cooperative avoidance control with velocity-based detection regions

Rodriguez-Seda, E. J. & Stipanovic, D. M., Apr 2020, In : IEEE Control Systems Letters. 4, 2, p. 432-437 6 p., 8862933.

Research output: Contribution to journalArticle

Data-Driven Voltage Regulation in Radial Power Distribution Systems

Xu, H., Dominguez-Garcia, A. D., Veeravalli, V. V. & Sauer, P. W., May 2020, In : IEEE Transactions on Power Systems. 35, 3, p. 2133-2143 11 p., 8873667.

Research output: Contribution to journalArticle

DeepCropNet: a deep spatial-temporal learning framework for county-level corn yield estimation

Lin, T., Zhong, R., Wang, Y., Xu, J., Jiang, H., Xu, J., Ying, Y., Rodriguez, L., Ting, K. C. & Li, H., Jan 1 2020, In : Environmental Research Letters. 15, 3, 034016.

Research output: Contribution to journalArticle

Open Access

Deep In-Memory Architectures for Machine Learning-Accuracy Versus Efficiency Trade-Offs

Kang, M., Kim, Y., Patil, A. D. & Shanbhag, N. R., May 2020, In : IEEE Transactions on Circuits and Systems I: Regular Papers. 67, 5, p. 1627-1639 13 p., 8950291.

Research output: Contribution to journalArticle

Deep multiplex graph infomax: Attentive multiplex network embedding using global information

Park, C., Han, J. & Yu, H., Jan 1 2020, (Accepted/In press) In : Knowledge-Based Systems. 105861.

Research output: Contribution to journalArticle

Direct process feedback in extrusion-based 3D bioprinting

Armstrong, A. A., Norato, J., Alleyne, A. G. & Wagoner Johnson, A. J., Jan 1 2020, In : Biofabrication. 12, 1, 015017.

Research output: Contribution to journalArticle

Distributed learning of average belief over networks using sequential observations

Zhang, K., Liu, Y., Liu, J., Liu, M. & Başar, T., May 2020, In : Automatica. 115, 108857.

Research output: Contribution to journalArticle

Dynamic Disruption Management in Airline Networks Under Airport Operating Uncertainty

Lee, J., Marla, L. & Jacquillat, A., Jun 18 2020, (Accepted/In press) In : Transportation Science.

Research output: Contribution to journalArticle

Emphasizing Functional Relevance over State Restoration in Post-Silicon Signal Tracing

Pal, D., Ma, S. & Vasudevan, S., Feb 2020, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39, 2, p. 533-546 14 p., 8576589.

Research output: Contribution to journalArticle

Engineer the Channel and Adapt to it: Enabling Wireless Intra-Chip Communication

Timoneda, X., Abadal, S., Franques, A., Manessis, D., Zhou, J., Torrellas, J., Alarcón, E. & Cabellos-Aparicio, A., May 2020, In : IEEE Transactions on Communications. 68, 5, p. 3247-3258 12 p., 8999564.

Research output: Contribution to journalArticle

Faster subgradient methods for functions with Hölderian growth

Johnstone, P. R. & Moulin, P., Mar 1 2020, In : Mathematical Programming. 180, 1-2, p. 417-450 34 p.

Research output: Contribution to journalArticle

Five challenges in cloud-enabled intelligence and control

Abdelzaher, T., Hao, Y., Jayarajah, K., Misra, A., Skarin, P., Yao, S., Weerakoon, D. & Arzen, K. E., Feb 10 2020, In : ACM Transactions on Internet Technology. 20, 1, 3.

Research output: Contribution to journalArticle

Open Access

Graph Lyapunov function for switching stabilization and distributed computation

Lee, D., Dullerud, G. E. & Hu, J., Jun 2020, In : Automatica. 116, 108923.

Research output: Contribution to journalArticle

Ground confluence of order-sorted conditional specifications modulo axioms

Durán, F., Meseguer, J. & Rocha, C., Feb 2020, In : Journal of Logical and Algebraic Methods in Programming. 111, 100513.

Research output: Contribution to journalArticle

Image recovery via transform learning and low-rank modeling: The power of complementary regularizers

Wen, B., Li, Y. & Bresler, Y., Jan 1 2020, In : IEEE Transactions on Image Processing. 29, p. 5310-5323 14 p., 9042815.

Research output: Contribution to journalArticle

Improving the Generalization Ability of Deep Neural Networks for Cross-Domain Visual Recognition

Zheng, J., Lu, C., Hao, C., Chen, D. & Guo, D., Jan 1 2020, (Accepted/In press) In : IEEE Transactions on Cognitive and Developmental Systems.

Research output: Contribution to journalArticle

Issues in the Use of Small Modular Reactors in Microgrids

Abu Saleem, R., Kelly, J., Rousan, T. & Sauer, P. W., Jun 2020, In : IEEE Transactions on Power Delivery. 35, 3, p. 1230-1236 7 p., 8809255.

Research output: Contribution to journalArticle

Knowledge-guided analysis of "omics" data using the KnowEnG cloud platform

Blatti, C., Emad, A., Berry, M. J., Gatzke, L., Epstein, M., Lanier, D., Rizal, P., Ge, J., Liao, X., Sobh, O., Lambert, M., Post, C. S., Xiao, J., Groves, P., Epstein, A. T., Chen, X., Srinivasan, S., Lehnert, E., Kalari, K. R., Wang, L. & 8 others, Weinshilboum, R. M., Song, J. S., Jongeneel, C. V., Han, J., Ravaioli, U., Sobh, N., Bushell, C. B. & Sinha, S., Jan 1 2020, In : PLoS biology. 18, 1, e3000583.

Research output: Contribution to journalArticle

Open Access

MicroScope: Enabling Microarchitectural Replay Attacks

Skarlatos, D., Yan, M., Gopireddy, B., Sprabery, R., Torrellas, J. & Fletcher, C. W., May 1 2020, In : IEEE Micro. 40, 3, p. 91-98 8 p., 9069250.

Research output: Contribution to journalArticle

Mobile Devices based Eavesdropping of Handwriting

Yu, T., Jin, H. & Nahrstedt, K., Jul 1 2020, In : IEEE Transactions on Mobile Computing. 19, 7, p. 1649-1663 15 p., 8695872.

Research output: Contribution to journalArticle

Modeling yield response to crop management using convolutional neural networks

Barbosa, A., Trevisan, R., Hovakimyan, N. & Martin, N. F., Mar 2020, In : Computers and Electronics in Agriculture. 170, 105197.

Research output: Contribution to journalArticle

Open Access

Model selection with covariance matching based non-negative lasso

Owrang, A., Bresler, Y. & Jansson, M., May 2020, In : Signal Processing. 170, 107431.

Research output: Contribution to journalArticle

More behavioral recommendations produce more change: A meta-analysis of efficacy of multibehavior recommendations to reduce nonmedical substance use

Dai, W., Palmer, R., Sunderrajan, A., Durantini, M., Sánchez, F., Glasman, L. R., Chen, F. X. & Albarracín, D., Apr 20 2020, (Accepted/In press) In : Psychology of Addictive Behaviors.

Research output: Contribution to journalArticle

Multiscale online media simulation with SocialCube

Abdelzaher, T., Han, J., Hao, Y., Jing, A., Liu, D., Liu, S., Nguyen, H. H., Nicol, D. M., Shao, H., Wang, T., Yao, S., Zhang, Y., Malik, O., Dipple, S., Flamino, J., Buchanan, F., Cohen, S., Korniss, G. & Szymanski, B. K., Jan 1 2020, (Accepted/In press) In : Computational and Mathematical Organization Theory.

Research output: Contribution to journalArticle

Neutralizing zero dynamics attack on sampled-data systems via generalized holds

Kim, J., Back, J., Park, G., Lee, C., Shim, H. & Voulgaris, P. G., Mar 2020, In : Automatica. 113, 108778.

Research output: Contribution to journalArticle

Optimal Monitoring Strategies for Critical Infrastructure Networks

Palani, K. & Nicol, D. M., Apr 30 2020, In : Performance Evaluation Review. 47, 4, p. 4-7 4 p.

Research output: Contribution to journalArticle

Open Access

Optimal Tap Setting of Voltage Regulation Transformers Using Batch Reinforcement Learning

Xu, H., Dominguez-Garcia, A. D. & Sauer, P. W., May 2020, In : IEEE Transactions on Power Systems. 35, 3, p. 1990-2001 12 p., 8873679.

Research output: Contribution to journalArticle

Optimization along families of periodic and quasiperiodic orbits in dynamical systems with delay

Ahsan, Z., Dankowicz, H. & Sieber, J., Jan 1 2020, In : Nonlinear Dynamics. 99, 1, p. 837-854 18 p.

Research output: Contribution to journalArticle

Optimization with equality and inequality constraints using parameter continuation

Li, M. & Dankowicz, H., Jun 15 2020, In : Applied Mathematics and Computation. 375, 125058.

Research output: Contribution to journalArticle