Research Output

Filter
Conference article
Conference article

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

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

On nonlinear controllability of homogeneous systems linear in control

Melody, J. W., Başar, T. & Bullo, F., Dec 1 2000, In : Proceedings of the IEEE Conference on Decision and Control. 4, p. 3971-3976 6 p.

Research output: Contribution to journalConference article

On Partially Controlled Petri Nets that can be Made Live by Supervision

Sreenivas, R. S., Dec 1 2003, In : Proceedings of the IEEE Conference on Decision and Control. 4, p. 3730-3734 5 p.

Research output: Contribution to journalConference article

On problems exhibiting a dual role of control

Bansal, R. & Basar, T., Dec 1 1988, In : Proceedings of the IEEE Conference on Decision and Control. p. 252-257 6 p.

Research output: Contribution to journalConference article

On robust performance in H

Bamieh, B., Dahleh, M. & Voulgaris, P., Dec 1 1994, In : Proceedings of the American Control Conference. 2, p. 1588-1592 5 p.

Research output: Contribution to journalConference article

On setting TCP's congestion window limit in mobile ad hoc networks

Chen, K., Xue, Y. & Nahrstedt, K., Jul 18 2003, In : IEEE International Conference on Communications. 2, p. 1080-1084 5 p.

Research output: Contribution to journalConference article

On statistical model checking of stochastic systems

Sen, K., Viswanathan, M. & Agha, G. A., Oct 18 2005, In : Lecture Notes in Computer Science. 3576, p. 266-280 15 p.

Research output: Contribution to journalConference article

ON STOCHASTIC INCENTIVE CONTROL PROBLEMS WITH PARTIAL DYNAMIC INFORMATION.

Cansever, D. H. & Basar, T., Dec 1 1985, In : Proceedings of the IEEE Conference on Decision and Control. p. 564-567 4 p.

Research output: Contribution to journalConference article

On the Analysis of Chatter in Mechanical Systems with Impacts

Dankowicz, H. & Fotsch, E., Jan 1 2017, In : Procedia IUTAM. 20, p. 18-25 8 p.

Research output: Contribution to journalConference article

On the complexity of error explanation

Kumar, N., Kumar, V. & Viswanathan, M., Sep 9 2005, In : Lecture Notes in Computer Science. 3385, p. 448-464 17 p.

Research output: Contribution to journalConference article

On the failure of power system automatic generation control due to measurement noise

Zhang, J. & Dominguez-Garcia, A. D., Oct 29 2014, In : IEEE Power and Energy Society General Meeting. 2014-October, October, 6939464.

Research output: Contribution to journalConference article

On-the-fly reachability and cycle detection for recursive state machines

Alur, R., Chaudhuri, S., Etessami, K. & Madhusudan, P., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 61-76 16 p.

Research output: Contribution to journalConference article

On the l2-induced control for eventually periodic systems

Farhood, M. & Dullerud, G. E., Nov 29 2004, In : Proceedings of the American Control Conference. 3, p. 2021-2026 6 p.

Research output: Contribution to journalConference article

On the model reduction of nonstationary LPV systems

Farhood, M., Beck, C. L. & Dullerud, G. E., Nov 7 2003, In : Proceedings of the American Control Conference. 5, p. 3869-3874 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

On the use of SoS methods for analysis of connection-level stability in the internet

Lakshmikantha, A., Beck, C. L. & Srikant, R., Sep 1 2005, In : Proceedings of the American Control Conference. 4, p. 2705-2708 4 p., ThB13.4.

Research output: Contribution to journalConference article

On Tikhonov regularization for image reconstruction in parallel MRI

Ying, L., Xu, D. & Liang, Z-P., Dec 1 2004, In : Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. 26 II, p. 1056-1059 4 p.

Research output: Contribution to journalConference article

Open visual model for object-oriented operating systems

Sefika, M. & Campbell, R. H., Jan 1 1995, In : International Workshop on Object Orientation in Operating Systems - Proceedings. p. 103-112 10 p.

Research output: Contribution to journalConference article

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

Opinion dynamics in coalitional games with transferable utilities

Bauso, D. & Basar, T., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 2094-2099 6 p., 7039707.

Research output: Contribution to journalConference article

Optimal control of dynamical systems over unreliable communication links

Imer, O. C., Yuksel, S. & Basar, T., Jan 1 2004, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 37, 13, p. 991-996 6 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

Optimal navigation and object finding without geometric maps or localization

Tovar, B., Lavalle, S. M. & Murrieta, R., Dec 9 2003, In : Proceedings - IEEE International Conference on Robotics and Automation. 1, p. 464-470 7 p.

Research output: Contribution to journalConference article

Optimal sparse-QIM codes for zero-rate blind watermarking

Moulin, P., Goteti, A. K. & Koetter, R., Sep 28 2004, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3, p. III73-III76

Research output: Contribution to journalConference article

Optimal strategies for dynamic weight selection in consensus protocols in the presence of an adversary

El Chamie, M. & Basar, T., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 735-740 6 p., 7039469.

Research output: Contribution to journalConference article

Optimization of high-energy-compaction, nearly-orthonormal, linear-phase filter banks

Yang, X., Ramchandran, K. & Moulin, P., Jan 1 1998, In : Proceedings - IEEE International Symposium on Circuits and Systems. 5

Research output: Contribution to journalConference article

Optimization of machine descriptions for efficient use

Gyllenhaal, J. C., Hwu, W. M. W. & Rau, B. R., Dec 1 1996, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 349-358 10 p.

Research output: Contribution to journalConference article

Optimizations for compiling declarative models into boolean formulas

Marinov, D., Khurshid, S., Bugrara, S., Zhang, L. & Rinard, M., Oct 17 2005, In : Lecture Notes in Computer Science. 3569, p. 187-202 16 p.

Research output: Contribution to journalConference article

Optimizing IBGP route reflection network

Xiao, L., Wang, J. & Nahrstedt, K., Jul 18 2003, In : IEEE International Conference on Communications. 3, p. 1765-1769 5 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

PAC-Bayesian AUC classification and scoring

Ridgway, J., Alquier, P., Chopin, N. & Liang, F., Jan 1 2014, In : Advances in Neural Information Processing Systems. 1, January, p. 658-666 9 p.

Research output: Contribution to journalConference article

Packet leashes: A defense against wormhole attacks in wireless networks

Hu, Y. C., Perrig, A. & Johnson, D. B., Sep 1 2003, In : Proceedings - IEEE INFOCOM. 3, p. 1976-1986 11 p.

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

Panel discussion whitherto robust control

Tempo, R., Basar, T., Khargonekar, P. P., Kokotovic, P. V. & Scherer, C. W., Jan 1 2003, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 36, 11, p. 591-597 7 p.

Research output: Contribution to journalConference article

Parallel generalized series MRI: Algorithm and application to cancer imaging

Xu, D., Ying, L. & Liang, Z-P., Dec 1 2004, In : Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. 26 II, p. 1052-1055 4 p.

Research output: Contribution to journalConference article

Parameter estimation of superimposed signals by dynamic programming

Yau, S. F. & Bresler, Y., Dec 1 1990, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 5, p. 2499-2502 4 p.

Research output: Contribution to journalConference article

Parameterized theories and views in full Maude 2.0

Durán, F. & Meseguer, J., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 316-338 23 p.

Research output: Contribution to journalConference article

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

Performance analysis of algorithmic noise-tolerance techniques

Shim, B. & Shanbhag, N. R., Jul 14 2003, In : Proceedings - IEEE International Symposium on Circuits and Systems. 4

Research output: Contribution to journalConference article

Performance analysis of a shared memory multiprocessor: Case study

Dimpsey, R. T. & Iyer, R. K., Dec 1 1988, In : Proceedings of the International Conference on Parallel Processing. 1, p. 174-181 8 p.

Research output: Contribution to journalConference article

Performance analysis of the adaptive parity check matrix based soft-decision decoding algorithm

Ahmed, A., Koetter, R. & Shanbhag, N. R., Dec 1 2004, In : Conference Record - Asilomar Conference on Signals, Systems and Computers. 2, p. 1995-1999 5 p.

Research output: Contribution to journalConference article

PERFORMANCE BOUNDS FOR HIERARCHICAL SYSTEMS UNDER PARTIAL DYNAMIC INFORMATION.

Basar, T., Jan 1 1981, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 1133-1138 6 p.

Research output: Contribution to journalConference article

Performance of the strength-reduced adaptive filter architecture for 51.84 Mb/s ATM-LAN

Goel, M. & Shanbhag, N. R., Jan 1 1997, In : Proceedings - IEEE International Symposium on Circuits and Systems. 3, p. 2132-2135 4 p.

Research output: Contribution to journalConference article

Perturbed timed automata

Alur, R., La Torre, S. & Madhusudan, P., Sep 14 2005, In : Lecture Notes in Computer Science. 3414, p. 70-85 16 p.

Research output: Contribution to journalConference article