Research Output

Filter
Conference article
2002

Branching time controllers for discrete event systems

Madhusudan, P. & Thiagarajan, P. S., Mar 6 2002, In : Theoretical Computer Science. 274, 1-2, p. 117-149 33 p.

Research output: Contribution to journalConference article

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

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

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

Research output: Contribution to journalConference article

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

Decentralized optimization, with application to multiple aircraft coordination

Inalhan, G., Stipanović, D. M. & Tomlin, C. J., 2002, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 1147-1155 9 p.

Research output: Contribution to journalConference article

Decentralized overlapping control of a formation of unmanned aerial vehicles

Stipanović, D. M., Inalhan, G., Teo, R. & Tomlin, C. J., Dec 1 2002, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 2829-2835 7 p.

Research output: Contribution to journalConference article

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

Interactive motion generation from examples

Arikan, O. & Forsyth, D. A., Jan 1 2002, In : ACM Transactions on Graphics. 21, 3, p. 483-490 8 p.

Research output: Contribution to journalConference article

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

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

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

Mining long sequential patterns in a noisy environment

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

Research output: Contribution to journalConference article

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., 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

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

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

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

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

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

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

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

Application of uncertain data handling on the assessment of tomato quality

Rodriguez, L. F., Moraru, C., Lee, T. C., Soboyejo, A. B. O., Gregson, C. M. & Poritz, D., Jan 1 2003, In : SAE Technical Papers.

Research output: Contribution to journalConference article

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

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

Bandwidth sensitive routing in diffServ networks with heterogeneous bandwidth requirements

Wang, J., Xiao, L., Lui, K. S. & Nahrstedt, K., Jul 18 2003, In : IEEE International Conference on Communications. 1, p. 188-192 5 p.

Research output: Contribution to journalConference article

Controlling the Internet: A Survey and Some New Results

Liu, S., Basar, M. T. & Srikant, R., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 3048-3057 10 p.

Research output: Contribution to journalConference article

Correlated MIMO Rayleigh fading channels: Capacity and optimal signaling

Liang, Y. & Veeravalli, V. V., Dec 1 2003, In : Conference Record of the Asilomar Conference on Signals, Systems and Computers. 1, p. 1166-1170 5 p.

Research output: Contribution to journalConference article

Design and analysis of an MST-based topology control algorithm

Li, N., Hou, J. C. & Sha, L. R., Sep 1 2003, In : Proceedings - IEEE INFOCOM. 3, p. 1702-1712 11 p.

Research output: Contribution to journalConference article

Dynamic Optimization Flow Control

Imer, O. C. & Basar, M. T., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 2082-2087 6 p.

Research output: Contribution to journalConference article

Energy-efficient soft real-time CPU scheduling for mobile multimedia systems

Yuan, W. & Nahrstedt, K., Jan 1 2003, In : Operating Systems Review (ACM). 37, 5, p. 149-163 15 p.

Research output: Contribution to journalConference article

Error exponents for one-bit watermarking

Liu, T. & Moulin, P., Sep 25 2003, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3, p. 65-68 4 p.

Research output: Contribution to journalConference article

Error exponents for watermarking game with squared-error constraints

Liu, T. & Moulin, P., Oct 20 2003, In : IEEE International Symposium on Information Theory - Proceedings. 1 p.

Research output: Contribution to journalConference article

Estimation Risk of Transformation-Averaged Estimators

Liu, J. & Moulin, P., Dec 1 2003, In : Proceedings of SPIE - The International Society for Optical Engineering. 5207, 1, p. 87-96 10 p.

Research output: Contribution to journalConference article

Feedback control with queueing-theoretic prediction for relative delay guarantees in web servers

Lu, Y., Abdelzaher, T., Lu, C., Sha, L. & Liu, X., Dec 1 2003, In : Real-Time Technology and Applications - Proceedings. p. 208-217 10 p., 1203053.

Research output: Contribution to journalConference article