Research Output 1972 2020

Filter
Conference article
2001

Image restoration using statistical wavelet models

Liu, J. & Moulin, P., Dec 1 2001, In : Proceedings of SPIE - The International Society for Optical Engineering. 4478, p. 20-33 14 p.

Research output: Contribution to journalConference article

Image Restoration
Image reconstruction
Restoration
restoration
Wavelets

Integrated vehicle control via coordinated steering and wheel torque inputs

Brennan, S. & Alleyne, A., Jan 1 2001, In : Proceedings of the American Control Conference. 1, p. 7-12 6 p.

Research output: Contribution to journalConference article

Wheels
Torque
Controllers

Java-MaC: A run-time assurance tool for Java programs

Kim, M., Kannan, S., Lee, I., Sokolsky, O. & Viswanathan, M., Oct 1 2001, In : Electronic Notes in Theoretical Computer Science. 55, 2, p. 218-235 18 p.

Research output: Contribution to journalConference article

Java
Monitoring
Formal methods
Formal Specification
Formal Methods

MMTP - Protocolo de transporte multimedia multiplexado

Translated title of the contribution: MMTP - Multimedia multiplexing transport protocolMagalhaes, L. & Kravets, R. H., Sep 29 2001, In : Computer Communication Review. 31, 2, p. 220-243 24 p.

Research output: Contribution to journalConference article

Multiplexing
Bandwidth
Congestion control (communication)
Scheduling algorithms
Oils and fats

Motion planning for nonelinear underactuated vehicles using H techniques

Toussaint, G. J., Başar, T. & Bullo, F., Jan 1 2001, In : Proceedings of the American Control Conference. 5, p. 4097-4102 6 p.

Research output: Contribution to journalConference article

Motion planning
Trajectories
Collision avoidance
Polynomials
Computer simulation

QoS-aware dependency management for component-based systems

Cui, Y. & Nahrstedt, K., Jan 1 2001, In : IEEE International Symposium on High Performance Distributed Computing, Proceedings. p. 127-140 14 p.

Research output: Contribution to journalConference article

Quality of service
Ubiquitous computing
Availability

Reduced precision redundancy for low-power digital filtering

Shim, B. & Shanbhag, N. R., Dec 1 2001, In : Conference Record of the Asilomar Conference on Signals, Systems and Computers. 1, p. 148-152 5 p.

Research output: Contribution to journalConference article

Redundancy
Electric potential
Energy conservation

Regularized shape deformation for image segmentation

Wang, S. & Liang, Z-P., Sep 26 2001, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3, p. 1569-1572 4 p.

Research output: Contribution to journalConference article

Image segmentation
Splines
Brain

Saving energy with architectural and frequency adaptations for multimedia applications

Hughes, C. J., Srinivasan, J. & Adve, S. V., Dec 1 2001, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 250-261 12 p.

Research output: Contribution to journalConference article

Energy conservation
Hardware
Energy utilization
Electric potential

Semi active internal model control for passive disturbance rejection

Alleyne, A. & Tharayil, M., Jan 1 2001, In : Proceedings of the American Control Conference. 2, p. 1438-1443 6 p.

Research output: Contribution to journalConference article

Disturbance rejection
Vibration control
Controllers
Testbeds
Energy dissipation

The minimum principle for deterministic impulsive control systems

Chudoung, J. & Beck, C., Dec 1 2001, In : Proceedings of the IEEE Conference on Decision and Control. 4, p. 3569-3574 6 p.

Research output: Contribution to journalConference article

Minimum Principle
Impulsive Control
Impulsive Systems
Control System
Control systems
2002

A control-oriented model of transcritical air-conditioning system dynamics

Rasmussen, B., Musser, A., Alleyne, A. G., Bullard, C., Hrnjak, P. S. & Miller, N., Jan 1 2002, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Air conditioning
Dynamical systems
Refrigerants
Model structures
Dynamic response

Active supersonic flow control using hysteresis compensation and error governor

Tharayil, M. & Alleyne, A. G., Jan 1 2002, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 15, 1, p. 205-210 6 p.

Research output: Contribution to journalConference article

Governors
Supersonic flow
Flow control
Hysteresis
Actuators

A game-theoretic framework for congestion control in general topology networks

Alpcan, T. & Basar, M. T., Dec 1 2002, In : Proceedings of the IEEE Conference on Decision and Control. 2, p. 1218-1224 7 p.

Research output: Contribution to journalConference article

Congestion Control
Network Topology
Cost functions
Cost Function
Topology

A hierarchical network game with a large number of players

Basar, M. T. & Srikant, R., Jan 1 2002, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 15, 1, p. 373-378 6 p.

Research output: Contribution to journalConference article

Telecommunication links
Flow rate
Bandwidth
Costs

An experimental assessment of the online tuning of active suspension controller gains

Clark, B. A. & Sreenivas, R., Jan 1 2002, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Tires
Tuning
Controllers
Experiments
Derivatives
Random Access
Redundancy
Time Scales
Systems analysis
Departure Process
Channel capacity
Fading Channels
Rayleigh
Fading channels
Signal to noise ratio

Computational analysis of run-time monitoring: Fundamentals of java-MaC

Kim, M., Kannan, S., Lee, I., Sokolsky, O. & Viswanathan, M., Dec 2002, In : Electronic Notes in Theoretical Computer Science. 70, 4, p. 80-94 15 p.

Research output: Contribution to journalConference article

Computational Analysis
Java
Monitoring
Target
Monitor

Control-oriented modeling and analysis of automotive transcritical AC system dynamics

Rasmussen, B., Alleyne, A. G., Bullard, C., Hrnjak, P. S. & Miller, N., Jan 1 2002, In : Proceedings of the American Control Conference. 4, p. 3111-3116 6 p.

Research output: Contribution to journalConference article

Dynamical systems
Refrigerants
Air conditioning
Dynamic response
Dynamic models

CubeExplorer: Online exploration of data cubes

Han, J., Wang, J., Dong, G., Pei, J. & Wang, K., Sep 17 2002, In : Proceedings of the ACM SIGMOD International Conference on Management of Data. 1 p.

Research output: Contribution to journalConference article

Feature extraction

H-infinity vehicle control using nondimensional perturbation measures

Brennan, S. & Alleyne, A., Jan 1 2002, In : Proceedings of the American Control Conference. 3, p. 2534-2539 6 p.

Research output: Contribution to journalConference article

Controllers
Frequency response
Uncertainty
Computer-Assisted Image Processing
Image reconstruction
Magnetic Resonance Imaging
Imaging techniques
Magnetic resonance

Inverse optimal controller design for strict-feedback stochastic systems with exponential-of-integral cost

Tang, C. & Basar, M. T., Jan 1 2002, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 15, 1, p. 425-430 6 p.

Research output: Contribution to journalConference article

Stochastic systems
Feedback
Controllers
State feedback
Closed loop systems

LMI tools for eventually periodic systems

Farhood, M. & Dullerud, G. E., Jan 1 2002, In : Proceedings of the American Control Conference. 1, p. 23-28 6 p.

Research output: Contribution to journalConference article

Time varying systems
Nonlinear systems
Orbits
Trajectories
Controllers

Minimax estimation for hybrid systems

Melody, J. W. & Basar, M. T., Dec 1 2002, In : Proceedings of the IEEE Conference on Decision and Control. 4, p. 3620-3625 6 p.

Research output: Contribution to journalConference article

Minimax Estimation
Hybrid systems
Hybrid Systems
Stochastic Games
Minimax

Mining long sequential patterns in a noisy environment

Yang, J., Wang, W., Yu, P. S. & Han, J., Sep 17 2002, In : Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 406-417 12 p.

Research output: Contribution to journalConference article

Proteins
Consumer behavior
Amino acids
Sampling

Model reduction of nonstationary LPV systems

Farhood, M., Beck, C. L. & Dullerud, G. E., Dec 1 2002, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 2890-2891 2 p.

Research output: Contribution to journalConference article

Linear Parameter-varying Systems
Model Reduction
Balanced Truncation
A Priori Error Bounds
Nonlinear control systems

Necessary and sufficient conditions for an optimal controlled switching problem

Chudoung, J. & Beck, C., Jan 1 2002, In : Proceedings of the American Control Conference. 3, p. 1886-1891 6 p.

Research output: Contribution to journalConference article

Nonlinear dynamical systems
Costs

Nonlinear functional characterizations of uncertainty in model validation

Smith, R. & Dullerud, G. E., Jan 1 2002, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 15, 1, p. 151-156 6 p.

Research output: Contribution to journalConference article

Fault detection
Uncertainty

On the use of hybrid multivariable models for predicting human response to anesthesia

Lin, H. H., Beck, C., Bloom, M. & Chudoung, J., Dec 1 2002, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 910-916 7 p.

Research output: Contribution to journalConference article

Anesthesia
Pharmacodynamics
Anesthetics
Pharmacokinetics
Output

Optimal distributed control with distributed delayed measurements

Bamieh, B. & Voulgaris, P., Jan 1 2002, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 15, 1, p. 95-100 6 p.

Research output: Contribution to journalConference article

Controllers

Remote control of LTI systems over networks with state quantization

Ishii, H. & Başar, T., Dec 1 2002, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 830-835 6 p.

Research output: Contribution to journalConference article

Remote Control
Remote control
Broadcast
Quantization
Stabilization

Resolution complete rapidly-exploring random trees

Cheng, P. & LaValle, S. M., Jan 1 2002, In : Proceedings - IEEE International Conference on Robotics and Automation. 1, p. 267-272 6 p.

Research output: Contribution to journalConference article

Trajectories

Revenue-maximizing pricing and capacity expansion in a many-users regime

Başar, T. & Srikant, R., Jan 1 2002, In : Proceedings - IEEE INFOCOM. 1, p. 294-301 8 p.

Research output: Contribution to journalConference article

Bandwidth
Costs
Telecommunication links
Throughput
Digital circuits
Drain current
Networks (circuits)
SPICE
Transistors

The aperiodic multiprocessor utilization bound for liquid tasks

Abdelzaher, T., Andersson, B., Jonsson, J., Sharma, V. & Nguyen, M., Jan 1 2002, In : Real-Time Technology and Applications - Proceedings. p. 173-184 12 p., 1137392.

Research output: Contribution to journalConference article

Access control
Liquids
Servers
Routers
Scheduling

The enhanced ticket-based routing algorithm

Xiao, L., Wang, J. & Nahrstedt, K., Jan 1 2002, In : IEEE International Conference on Communications. 4, p. 2222-2226 5 p.

Research output: Contribution to journalConference article

Routing algorithms
Color
Costs

Towards behavioral maude: Behavioral membership equational logic

Meseguer, J. & Rosu, G., Oct 2002, In : Electronic Notes in Theoretical Computer Science. 65, 1, p. 197-253 57 p.

Research output: Contribution to journalConference article

Equational Logic
Maude
Specification languages
Semantics
Specification Languages

Traffic load based reverse link power allocation for cellular packet data systems

Prakash, R. & Veeravalli, V. V., Jan 1 2002, In : IEEE Vehicular Technology Conference. 56, 4, p. 2332-2336 5 p.

Research output: Contribution to journalConference article

Power Allocation
Power Control
Power control
Reverse
Traffic

Undergraduate education in image and video processing

Moulin, P. & Orchard, M. T., Jul 11 2002, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 4, p. IV/4157-IV/4158

Research output: Contribution to journalConference article

image processing
education
Education
Processing
2003

A Bluetooth loop scatternet formation algorithm

Zhang, H., Hou, J. C. & Sha, L., Jul 18 2003, In : IEEE International Conference on Communications. 2, p. 1174-1180 7 p.

Research output: Contribution to journalConference article

Bluetooth
Wireless ad hoc networks

Active vibration isolation of multiple DOF systems using a position-tracking approach

Zhang, Y. & Alleyne, A. G., Nov 6 2003, In : Proceedings of the American Control Conference. 1, p. 809-814 6 p.

Research output: Contribution to journalConference article

Actuators
Sensors

A Game Theoretic Approach to Decision and Analysis in Network Intrusion Detection

Alpcan, T. & Basar, M. T., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 2595-2600 6 p.

Research output: Contribution to journalConference article

Network Intrusion Detection
Intrusion detection
Intrusion Detection
Game
Alarm systems

A Low-Power VLSI Architecture for Turbo Decoding

Lee, S. J., Shanbhag, N. R. & Singer, A. C., Dec 1 2003, In : Proceedings of the International Symposium on Low Power Electronics and Design. p. 366-371 6 p.

Research output: Contribution to journalConference article

Decoding
Convolutional codes
Transistors
Voltage scaling

A New Approach to Half-Car Active Suspension Control

Zhang, Y. & Alleyne, A. G., Nov 7 2003, In : Proceedings of the American Control Conference. 5, p. 3762-3767 6 p.

Research output: Contribution to journalConference article

Railroad cars
Actuators
Active suspension systems

An Improved MRI Method for Dynamic Contrast-Enhanced Imaging of Tumors

Ji, X., Ma, J., Aref, M., Wiener, E. & Liang, Z. P., Dec 1 2003, In : Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. 1, p. 478-481 4 p.

Research output: Contribution to journalConference article

Tumors
Magnetic Resonance Imaging
Imaging techniques
Data acquisition
Neoplasms
Rayleigh Fading Channel
Rayleigh fading
MIMO systems
Multiple-input multiple-output (MIMO)
Fading channels

A utility-based congestion control scheme for Internet-style networks with delay

Alpcan, T. & Başar, T., Sep 1 2003, In : Proceedings - IEEE INFOCOM. 3, p. 2039-2048 10 p.

Research output: Contribution to journalConference article

Congestion control (communication)
Topology
Internet
Asymptotic stability
System stability

Automated verification of the dependability of object-oriented real-time systems

Ding, H., Zheng, C., Agha, G. A. & Sha, L. R., Dec 1 2003, In : Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. p. 171-178 8 p., 1410960.

Research output: Contribution to journalConference article

Model checking
Real time systems
Semantics
Specifications