Research Output 1974 2020

Filter
Conference article
2013

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

Semantics
Radiation
Conveying
Experiments

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

Learning systems
Feature extraction
Experiments
Quality Measures
Community Structure
2012

A dynamic modeling toolbox for air vehicle vapor cycle systems

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

Research output: Contribution to journalConference article

Vapors
Research laboratories
Air
Evaporators
Thermal load

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

Asymmetric Information
Transmitter
Transmitters
Game
Random processes

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

Time varying networks
Path Following
Unmanned aerial vehicles (UAV)
Lyapunov
Telecommunication networks

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

Population dynamics
Variance Reduction
Particle Filter
Stochastic Simulation
Population Dynamics

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

Decentralized control
Decentralized Control
Control Policy
Optimal Policy
Optimal Control
Herding
Divergence
Branch
Data storage equipment
Thread

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

Generative Models
Parametric Model
Stochastic Processes
Dynamic models
Aggregation

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

Energy Harvesting
Energy harvesting
Scheduling
Sensor
Communication

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

Disturbance rejection
Topology
Disturbance Rejection
Information Flow
Convergence Properties

Deceptive routing games

Zhu, Q., Clark, A., Poovendran, R. & Basar, M. 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

Jamming
Routing
Game
Network routing
Mobile ad hoc networks

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

Formation Control
Convergence Time
Optimal Control
Optimality
Graph in graph theory

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

Quality of service

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

Discrete-time Linear Systems
Finite Horizon
Extremum
Linear systems
Unknown

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

Cloning
Wireless Sensor Networks
Wireless sensor networks
Attack
Game

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

Directly proportional
Controller
Controllers
Performance Bounds
Low-pass Filter
Controller
Uncertainty
Controllers
Output
Performance Bounds

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

Linear transformations
Locality
Integer programming
Set theory
Indexing

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

Electric network analysis
Data mining
Students

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

Clustering algorithms
Sensor networks
Macros
Cameras
Monitoring

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

Averaging
State Space
Ergodicity
Lyapunov
Trajectories

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., Jul 30 2012, In : Proceedings - International Conference on Data Engineering. p. 186-197 12 p., 6228083.

Research output: Contribution to journalConference article

Trajectories
Data structures
Monitoring
Costs
Experiments

On logic synthesis for timing speculation

Liu, Y., Ye, R., Yuan, F., Kumar, R. & Xu, Q., Dec 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

Timing circuits
Networks (circuits)
Energy efficiency
Throughput
Logic Synthesis

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

Switching Systems
Model Matching
Switching systems
Matching Problem
Output

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
Aircraft
Control systems
Hybrid systems
Systems analysis
Distributed parameter control systems

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

Linear transformations
Scheduling
Data storage equipment

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

Cycle System
Decentralized control
Decentralized Control
Evaporators
Stability Analysis

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

Static analysis
Ethernet
Dynamic analysis
Learning algorithms
Learning systems
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

Refrigerants
Air conditioning
Clutches
Compressors
Dynamic models
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

Selective catalytic reduction
Conversion efficiency
Ammonia
Engines
Engineers

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

Selective catalytic reduction
Model predictive control
Urea
Controllers
Catalysts
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

Thermometers
thermometers
Photolithography
Silicon
heaters

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

Axioms
Modulo
Maude
Equational Theory
Null set or empty set

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

Hardware
Data storage equipment

Defining and executing P systems with structured data in K

Serbǎnuţǎ, T., Ştefǎnescu, G. & Roşu, G., Feb 23 2009, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5391 LNCS, p. 374-393 20 p.

Research output: Contribution to journalConference article

P Systems
Semantics
Computer programming languages
Formal Semantics
Overlap
Hardware
Testing
Codes (standards)
Experiments

mSWAT: Low-cost hardware fault detection and diagnosis for multicore systems

Sastry Hari, S. K., Li, M. L., Ramachandran, P., Choi, B. & Adve, S. V., Dec 1 2009, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 122-132 11 p.

Research output: Contribution to journalConference article

Fault detection
Failure analysis
Hardware
Costs
Detectors

Pathlet routing

Godfrey, P. B., Ganichev, I., Shenker, S. & Stoica, I., Nov 30 2009, In : Computer Communication Review. 39, 4, p. 111-122 12 p.

Research output: Contribution to journalConference article

Routing protocols
Routers
Scalability
Internet
Network protocols

Reducing peak power with a table-driven adaptive processor core

Kontorinis, V., Shayan, A., Kumar, R. & Tullsen, D. M., Dec 1 2009, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 189-200 12 p.

Research output: Contribution to journalConference article

Energy dissipation
Packaging
Cooling
Costs
Capacitors

Redundancy testing and cost assessment for environmental control and life support systems

Jiang, H., Rodriguez, L. F., Bell, S. & Kortenkamp, D., Jan 1 2009, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Redundancy
Testing
Costs
Lunar missions
Maximum likelihood estimation

Suspended membrane single crystal Silicon micro hotplate for differential scanning calorimetry

Lee, J., Spadaccini, C. M., Mukerjee, E. V. & King, W. P., Jun 1 2009, In : Proceedings of the IEEE International Conference on Micro Electro Mechanical Systems (MEMS). p. 852-855 4 p., 4805517.

Research output: Contribution to journalConference article

Silicon
Differential scanning calorimetry
heat measurement
Single crystals
membranes

The BubbleWrap many-core: Popping cores for sequential acceleration

Karpuzcu, U. R., Greskamp, B. & Torrellas, J., Dec 1 2009, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 447-458 12 p.

Research output: Contribution to journalConference article

Aging of materials
Throughput
Service life
Electric power utilization
Wear of materials
2008

A Rewriting semantics for Maude strategies

Martí-Oliet, N., Meseguer, J. & Verdejo, A., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 207-226 20 p.

Research output: Contribution to journalConference article

Maude
Rewriting
Semantics
Requirements
Nondeterminism

Floodless in seattle: A scalable ethernet architecture for large enterprises

Kim, C., Caesar, M. & Rexford, J., Dec 1 2008, In : Computer Communication Review. 38, 4, p. 3-14 12 p.

Research output: Contribution to journalConference article

Ethernet
Scalability
Industry
Network management
Network architecture

Granular segregation studies for retroreflector sensor development

Hill, K. M., Fan, Y., Zhang, J., Bernhard, J. T. & Hagness, S. C., Jun 2 2008, In : Proceedings of SPIE - The International Society for Optical Engineering. 6932, 693245.

Research output: Contribution to journalConference article

retroreflectors
Segregation
radar targets
Sensor
sensors

Operational termination of membership equational programs: The order-sorted way

Lucas, S. & Meseguer, J., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 189-205 17 p.

Research output: Contribution to journalConference article

Termination
Equational Logic
Rewriting
Logic Programs
Axioms

Reconfigurable control system design for future life support systems

Jiang, H., Rodriguez, L. F., Bell, S. & Kortenkamp, D., Jan 1 2008, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Systems analysis
Control systems
Flight control systems
Intelligent control
Automation

Reversible nanoscale local wettability modifications by thermochemical nanolithography

Wang, D., Okada, T., Szoszkiewicz, R., Jones, S. C., Lucas, M., Lee, J., King, W. P., Marder, S. R. & Riedo, E., Dec 1 2008, In : Materials Research Society Symposium Proceedings. 1059, p. 37-42 6 p.

Research output: Contribution to journalConference article

Nanolithography
wettability
Wetting
Polymer films
polymers

Variant Narrowing and equational unification

Escobar, S., Meseguer, J. & Sasse, R., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 91-105 15 p.

Research output: Contribution to journalConference article

Unification
Modulo
Union
Symbolic Analysis
Reachability Analysis