Research Output

Filter
Conference article
2002

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

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 functional characterizations of uncertainty in model validation

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

Research output: Contribution to journalConference article

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

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

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

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

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

Stability of two-variable interval polynomials via positivity

Šiljak, D. D. & Stipanovič, D. M., Jan 1 2002, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 15, 1, p. 7-12 6 p.

Research output: Contribution to journalConference article

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

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

Towards behavioral maude: Behavioral membership equational logic

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

Research output: Contribution to journalConference article

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

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

2001

ACLA: A framework for Access Control List (ACL) analysis and optimization

Qian, J., Hinrichs, S. & Nahrstedt, K., Jan 1 2001, In : IFIP Advances in Information and Communication Technology. 64, p. 197-211 15 p.

Research output: Contribution to journalConference article

A connection formalism for the solution of large and stiff models

Daly, D. & Sanders, W. H., Jan 1 2001, In : Proceedings of the IEEE Annual Simulation Symposium. p. 258-265 8 p.

Research output: Contribution to journalConference article

A distributed globally convergent algorithm for fair, queue-length-based congestion control

Imer, O. Ç., Basar, M. T. & Srikant, R., Dec 1 2001, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 622-627 6 p.

Research output: Contribution to journalConference article

A feedback control approach for guaranteeing relative delays in web servers

Lu, C., Abdelzaher, T. F., Stankovic, J. A. & Son, S. H., Jan 1 2001, In : Real-Time Technology and Applications - Proceedings. p. 51-62 12 p.

Research output: Contribution to journalConference article

A low-power digital filter IC via soft DSP

Hegde, R. & Shanbhag, N. R., Jan 1 2001, In : Proceedings of the Custom Integrated Circuits Conference. p. 309-312 4 p.

Research output: Contribution to journalConference article

A model reference load controller with adaptation using a two stage pressure relief valve

Zhang, R. & Alleyne, A. G., Jan 1 2001, In : Proceedings of the American Control Conference. 5, p. 3949-3954 6 p.

Research output: Contribution to journalConference article

An integrated data lookup and replication scheme in mobile ad hoc networks

Chen, K. & Nahrstedt, K., Dec 1 2001, In : Proceedings of SPIE - The International Society for Optical Engineering. 4534, p. 1-8 8 p.

Research output: Contribution to journalConference article

A variable rate model with QoS guarantees for real time internet traffic

Alpcan, T. & Basar, M. T., Jan 1 2001, In : Proceedings of SPIE - The International Society for Optical Engineering. 4211, p. 234-245 12 p.

Research output: Contribution to journalConference article

Code reordering and speculation support for dynamic optimization systems

Nystrom, E. M., Barnes, R. D., Merten, M. C. & Hwu, W-M. W., Jan 1 2001, In : Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. 163-174 12 p.

Research output: Contribution to journalConference article

Control of nonstationary LPV systems

Farhood, M. & Dullerud, G. E., Dec 1 2001, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 2380-2385 6 p.

Research output: Contribution to journalConference article

Decentralized dynamic power control for cellular spread spectrum systems

Chamberland, J. F. & Veeravalli, V. V., Jan 1 2001, In : Proceedings of SPIE - The International Society for Optical Engineering. 4531, p. 166-178 13 p.

Research output: Contribution to journalConference article

Decentralized network resource allocation as a repeated noncooperative market game

Maheswaran, R. T. & Basar, T., Dec 1 2001, In : Proceedings of the IEEE Conference on Decision and Control. 5, p. 4565-4570 6 p.

Research output: Contribution to journalConference article

Effect of step length on ability of young and elderly women to recover balance

Hsiao-Wecksler, E. T., Stotz, P. J. & Robinovitch, S. N., Dec 1 2001, In : American Society of Mechanical Engineers, Bioengineering Division (Publication) BED. 50, p. 573-574 2 p.

Research output: Contribution to journalConference article

Efficient computation of iceberg cubes with complex measures

Han, J., Pei, J., Dong, G. & Wang, K., Jan 1 2001, In : Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 1-12 12 p.

Research output: Contribution to journalConference article

Fundamental performance limitations for a class of electronic two-stage proportional flow valves

Prasetiawan, E., Zhang, R. & Alleyne, A., Jan 1 2001, In : Proceedings of the American Control Conference. 5, p. 3955-3960 6 p.

Research output: Contribution to journalConference article

High resolution cardiac magnetic resonance imaging: A model-based approach

Ji, J. & Liang, Z. P., Dec 1 2001, In : Annual Reports of the Research Reactor Institute, Kyoto University. 3, p. 2268-2271 4 p.

Research output: Contribution to journalConference article

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

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

Interpreting abstract interpretations in membership equational logic

Fischer, B. & Roşu, G., Nov 1 2001, In : Electronic Notes in Theoretical Computer Science. 59, 4, p. 271-285 15 p.

Research output: Contribution to journalConference article

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

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

Monitoring Java programs with Java PathExplorer

Havelund, K. & Roşu, G., Oct 1 2001, In : Electronic Notes in Theoretical Computer Science. 55, 2, p. 200-217 18 p.

Research output: Contribution to journalConference article

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

Organically-structured control

Šiljak, D. D. & Stipanović, D. M., Jan 1 2001, In : Proceedings of the American Control Conference. 4, p. 2736-2742 7 p.

Research output: Contribution to journalConference article

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

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

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

Representation and execution of Petri nets using rewriting logic as a unifying framework

Stehr, M. O., Meseguer, J. & Ölveczky, P. C., Jul 2001, In : Electronic Notes in Theoretical Computer Science. 44, 4, p. 140-162 23 p.

Research output: Contribution to journalConference article

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

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

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