Research Output

Filter
Conference article
2014

Stochastic modeling, control, and verification of wild bodies

Gierl, D. E., Bobadilla, L., Sanchez, O. & Lavalle, S. M., Sep 22 2014, In : Proceedings - IEEE International Conference on Robotics and Automation. p. 549-556 8 p., 6906909.

Research output: Contribution to journalConference article

Swarm-based dynamic coverage control

Atinç, G. M., Stipanović, D. M., Voulgaris, P. G. & Karkoub, M., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 6963-6968 6 p., 7040483.

Research output: Contribution to journalConference article

Using an Adaptive HPC Runtime System to Reconfigure the Cache Hierarchy

Totoni, E., Torrellas, J. & Kale, L. V., Jan 16 2014, In : International Conference for High Performance Computing, Networking, Storage and Analysis, SC. 2015-January, January, p. 1047-1058 12 p., 7013072.

Research output: Contribution to journalConference article

Vision-based dynamic coverage control for nonholonomic agents

Panagou, D., Stipanovic, D. M. & Voulgaris, P. G., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 2198-2203 6 p., 7039724.

Research output: Contribution to journalConference article

2013

A 3D path-following approach for a multirotor UAV on SO(3)

Cichella, V., Choe, R., Mehdi, S. B., Xargay, E., Hovakimyan, N., Kaminer, I. & Dobrokhodov, V., Jan 1 2013, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 2, PART 1, p. 13-18 6 p.

Research output: Contribution to journalConference article

A feature-enhanced ranking-based classifier for multimodal data and heterogeneous information networks

Chen, S. D., Chen, Y. Y., Han, J. & Moulin, P., Dec 1 2013, In : Proceedings - IEEE International Conference on Data Mining, ICDM. p. 997-1002 6 p., 6729588.

Research output: Contribution to journalConference article

Clustered support vector machines

Gu, Q. & Han, J., Jan 1 2013, In : Journal of Machine Learning Research. 31, p. 307-315 9 p.

Research output: Contribution to journalConference article

Constructing topical hierarchies in heterogeneous information networks

Wang, C., Danilevsky, M., Liu, J., Desai, N., Ji, H. & Han, J., Dec 1 2013, In : Proceedings - IEEE International Conference on Data Mining, ICDM. p. 767-776 10 p., 6729561.

Research output: Contribution to journalConference article

Fast template evaluation with Vector Quantization

Sadeghi, M. A. & Forsyth, D., Jan 1 2013, In : Advances in Neural Information Processing Systems.

Research output: Contribution to journalConference article

High power primary lithium ion microbatteries

Pikul, J. H., Braun, P. V. & King, W. P., Jan 1 2013, In : Journal of Physics: Conference Series. 476, 1, 012087.

Research output: Contribution to journalConference article

L1 backstepping for robust trajectory tracking ?

Mallikarjunan, S., Zuo, Z., Nesbitt, B. & Hovakimyan, N., Jan 1 2013, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 2, PART 1, p. 1-6 6 p.

Research output: Contribution to journalConference article

Learning locally-adaptive decision functions for person verification

Li, Z., Chang, S., Liang, F., Huang, T. S., Cao, L. & Smith, J. R., Nov 15 2013, In : Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. p. 3610-3617 8 p., 6619307.

Research output: Contribution to journalConference article

Nano-electro-mechanical systems fabricated using tip-based nanofabrication

Hu, H., Mohseni, P. K., Shannon, M. A., Li, X. & King, W. P., Aug 12 2013, In : Proceedings of SPIE - The International Society for Optical Engineering. 8725, 87250P.

Research output: Contribution to journalConference article

Non-parametric filtering for geometric detail extraction and material representation

Liao, Z., Rock, J., Wang, Y. & Forsyth, D., Nov 15 2013, In : Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. p. 963-970 8 p., 6618973.

Research output: Contribution to journalConference article

One-path reachability logic

Rosu, G., Stefanescu, A., Ciobaca, S. & Moore, B. M., Sep 9 2013, In : Proceedings - Symposium on Logic in Computer Science. p. 358-367 10 p., 6571568.

Research output: Contribution to journalConference article

Semantic frame-based document representation for comparable corpora

Kim, H., Ren, X., Sun, Y., Wang, C. & Han, J., Dec 1 2013, In : Proceedings - IEEE International Conference on Data Mining, ICDM. p. 350-359 10 p., 6729519.

Research output: Contribution to journalConference article

Unsupervised link selection in networks

Gu, Q., Aggarwal, C. & Han, J., Jan 1 2013, In : Journal of Machine Learning Research. 31, p. 298-306 9 p.

Research output: Contribution to journalConference article

2012

A dynamic modeling toolbox for air vehicle vapor cycle systems

Kania, M., Koeln, J., Alleyne, A., McCarthy, K., Wu, N. & Patnaik, S., 2012, In : SAE Technical Papers. 10

Research output: Contribution to journalConference article

A dynamic transmitter-jammer game with asymmetric information

Gupta, A., Nayyar, A., Langbort, C. & Basar, T., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 6477-6482 6 p., 6426869.

Research output: Contribution to journalConference article

A Lyapunov-based approach for Time-Coordinated 3D Path-Following of multiple quadrotors

Cichella, V., Kaminer, I., Xargay, E., Dobrokhodov, V., Hovakimyan, N., Aguiar, A. P. & Pascoal, A. M., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 1776-1781 6 p., 6425933.

Research output: Contribution to journalConference article

Application of variance reduction techniques for tau-leaping systems to particle filters

Maginnis, P. A., West, M. & Dullerud, G. E., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 6683-6689 7 p., 6425806.

Research output: Contribution to journalConference article

A team theoretic approach to decentralized control of systems with stochastic parameters

Mishra, A., Langbort, C. & Dullerud, G. E., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 2116-2121 6 p., 6425872.

Research output: Contribution to journalConference article

Clustering large networks of parametric dynamic generative models

Xu, Y., Kim, S., Salapaka, S. M., Beck, C. L. & Coleman, T. P., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 5248-5253 6 p., 6425894.

Research output: Contribution to journalConference article

Communication scheduling and remote estimation with energy harvesting sensor

Nayyar, A., Basar, T., Teneketzis, D. & Veeravalli, V. V., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 843-848 6 p., 6426984.

Research output: Contribution to journalConference article

Convergence of a PI coordination protocol in networks with switching topology and quantized measurements

Xargay, E., Choe, R., Hovakimyan, N. & Kaminer, I., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 6107-6112 6 p., 6426392.

Research output: Contribution to journalConference article

Deceptive routing games

Zhu, Q., Clark, A., Poovendran, R. & Basar, T., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 2704-2711 8 p., 6426515.

Research output: Contribution to journalConference article

Distance optimal formation control on graphs with a tight convergence time guarantee

Yu, J. & Lavalle, M., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 4023-4028 6 p., 6426233.

Research output: Contribution to journalConference article

Enhancing safety and security of distributed systems through formal patterns

Eckhardt, J., M̈uhlbauer, T., Meseguer, J. & Wirsing, M., Dec 1 2012, In : CEUR Workshop Proceedings. 834, p. 35-40 6 p.

Research output: Contribution to journalConference article

Finite-horizon LQ control for unknown discrete-time linear systems via extremum seeking

Frihauf, P., Krstic, M. & Basar, M. T., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 5717-5722 6 p., 6426052.

Research output: Contribution to journalConference article

Game-theoretic analysis of node capture and cloning attack with multiple attackers in wireless sensor networks

Zhu, Q., Bushnell, L. & Basar, M. T., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 3404-3411 8 p., 6426481.

Research output: Contribution to journalConference article

Generalization of proportional adaptation law for L1 adaptive controller

Vanness, J., Kharisov, E. & Hovakimyan, N., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 3215-3220 6 p., 6425855.

Research output: Contribution to journalConference article

Locality preserving feature learning

Gu, Q., Danilevsky, M., Li, Z. & Han, J., Jan 1 2012, In : Journal of Machine Learning Research. 22, p. 477-485 9 p.

Research output: Contribution to journalConference article

Mining knowledge from data: An information network analysis approach

Han, J., Sun, Y., Yan, X. & Yu, P. S., Jul 30 2012, In : Proceedings - International Conference on Data Engineering. p. 1214-1217 4 p., 6228171.

Research output: Contribution to journalConference article

Multidimensional analysis of atypical events in cyber-physical data

Tang, L. A., Yu, X., Kim, S., Han, J., Peng, W. C., Sun, Y., Gonzalez, H. & Seith, S., Jul 30 2012, In : Proceedings - International Conference on Data Engineering. p. 1025-1036 12 p., 6228153.

Research output: Contribution to journalConference article

On averaging dynamics in general state spaces

Touri, B., Basar, M. T. & Nedich, A., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 62-67 6 p., 6426900.

Research output: Contribution to journalConference article

On discovery of traveling companions from streaming trajectories

Tang, L. A., Zheng, Y., Yuan, J., Han, J., Leung, A., Hung, C. C. & Peng, W. C., 2012, In : Proceedings - International Conference on Data Engineering. p. 186-197 12 p., 6228083.

Research output: Contribution to journalConference article

On logic synthesis for timing speculation

Liu, Y., Ye, R., Yuan, F., Kumar, R. & Xu, Q., Jan 1 2012, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. p. 591-596 6 p., 6386732.

Research output: Contribution to journalConference article

On model matching problems of input-output switching systems

Naghnaeian, M. & Voulgaris, P. G., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 2643-2647 5 p., 6425979.

Research output: Contribution to journalConference article

PALS-based analysis of an airplane multirate control system in real-time maude

Bae, K., Krisiloff, J., Meseguer, J. & Ölveczky, P. C., Dec 29 2012, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 105, p. 5-21 17 p.

Research output: Contribution to journalConference article

Open Access

Sequentializing parameterized programs

Torre, S. L., Madhusudan, P. & Parlato, G., Jul 15 2012, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 87, p. 48-55 8 p.

Research output: Contribution to journalConference article

Stability analysis for decentralized control of multi-evaporator vapor-compression cycle systems

Jain, N., Sundaram, S. & Alleyne, A. G., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 7589-7595 7 p., 6425908.

Research output: Contribution to journalConference article

Word level feature discovery to enhance quality of assertion mining

Liu, L., Lin, C. H. & Vasudevan, S., Dec 1 2012, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. p. 210-217 8 p., 6386611.

Research output: Contribution to journalConference article

2011

Evaluation of transient refrigerant migration modeling approach on automotive air conditioning systems

Li, B., Peuker, S., Hrnjak, P. & Alleyne, A., Jan 1 2011, In : SAE Technical Papers.

Research output: Contribution to journalConference article

2010

Mixture non-uniformity in SCR systems: Modeling and uniformity index requirements for steady-state and transient operation

McKinley, T. L., Alleyne, A. G. & Lee, C-F., Jan 1 2010, In : SAE Technical Papers. p. 486-499 14 p.

Research output: Contribution to journalConference article

Model predictive control: A unified approach for urea-based SCR systems

McKinley, T. L. & Alleyne, A. G., Jan 1 2010, In : SAE Technical Papers. p. 673-689 17 p.

Research output: Contribution to journalConference article

2009

100 nanometer scale resistive heater-thermometer on a silicon cantilever

Dai, Z., Park, K. & King, W. P., Jun 1 2009, In : Proceedings of the IEEE International Conference on Micro Electro Mechanical Systems (MEMS). p. 543-546 4 p., 4805439.

Research output: Contribution to journalConference article

A modular equational generalization algorithm

Alpuente, M., Escobar, S., Meseguer, J. & Ojeda, P., Apr 6 2009, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5438 LNCS, p. 24-39 16 p.

Research output: Contribution to journalConference article

BulkCompiler: High-performance sequential consistency through cooperative compiler and hardware support

Ahn, W., Qi, S., Nicolaides, M., Torrellas, J., Lee, J. W., Fang, X., Midkiff, S. & Wong, D., Dec 1 2009, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 133-144 12 p.

Research output: Contribution to journalConference article