Paper List
A. Agarwal and P. R. Kumar, "Improved capacity bounds for wireless networks", Wireless Communications and Mobile Computing, 4:251--261, 2004.
A. Brzezinski, G. Zussman, and E. Modiano, "Enabling distributed throughput maximization in wireless mesh networks --- a partitioning approach'', Proceedings of the ACM MOBICOM, 2006.
A. Ganguli, J. Cortes and F. Bullo, "Coordinated rendezvous for visually-guided agents in a nonconvex polygon'', Proceedings of the IEEE Conference on Decision and Control, 2005.
A. Ganguli, J. Cortes and F. Bullo, "Maximizing visibility in nonconvex polygons: nonsmooth analysis and gradient algorithm design'',to appear SIAM Journal of Control and Optimization, 2006.
A. Ganguli, J. Cortes, and F. Bullo, "Distributed deployment of asynchronous guards in art galleries'', Proceedings of the American Control Conference, 2006 (winner of Best Student Paper Prize).
A. Ganguli, S. Susca, S. Martinez and F. Bullo, "On collective motion in sensor networks: sample problems and distributed algorithms'', Proceedings of the IEEE Conference on Decision and Control, 2005.
A. Giridhar and P. R. Kumar, "Data fusion over sensor networks: Computing and communicating functions of measurements",submitted to Journal on Selected Areas in Communications, 2003.
A. Giridhar and P. R. Kumar, "Towards a theory of in-network computation in wireless sensor networks'', IEEE Communications Magazine, 44:98-107, 2006.
A. Giridhar and P. R. Kumar: "Scheduling Traffic on a Network of Roads'', IEEE Transactions on Vehicular Technology, 2006.
A. Giridhar and P.R. Kumar, "Computing and communicating functions over sensor networks," IEEE Journal on Selected Areas in Communications, 23:755--764, 2005.
A. Giridhar and P.R. Kumar, "Distributed Clock Synchronization over Wireless Networks: Algorithms and Analysis'', Proceedings of the IEEE Conference on Decision and Control, 2006.
A. Khandani, E. Modiano, J. Abounadi, L. Zhang, "Reliability and Route Diversity in Wireless Networks'', submitted to IEEE Infocom, 2004.
A. Sahai and S.K. Mitter, "The Necessity and Sufficiency of Anytime Capacity for Stabilization of a Linear System Over a Noisy Communication Link, Part II: Vector Systems,'' submitted to IEEE Trans on Info Theory, 2005.
A. Sobeih and M. Viswanathan and J. Hou, "Check and Simulate: A Case for Incorporating Model Checking in Network Simulation'', Proceedings of ACM-IEEE International Conference on Formal Methods and Models for Codesign, 2004.
A. Stubbs, V. Vladimerou, A. Fulford, J. Strick and G. E. Dullerud, "A Hovercraft Testbed for Networked and Decentralized Control,"IEEE Control Systems Magazine, 26(3):56--69, 2006.
A. Stubbs, V. Vladimerou, J. Rubel, A. Fulford, and G.E. Dullerud:"A cooperative control case study using HOTDEC'', Proceedings of the American Control Conference, 2004.
A. Vardhan and K. Sen and M. Viswanathan and G. Agha,"Learning to Verify Safety Properties'',Proceedings of the International Conference on Formal Engineering Methods, 2004; to appear.
A. Vardhan, K. Sen, M. Viswanathan and G. Agha. "Using Language Inference to Verify Omega-regular Properties", International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005.
A. Vardhan, M. Viswanathan, "Lever: A tool for learning based verification'', International Conference on Computer-Aided Verification, 2006
A. Vardhan, M. Viswanathan. "Learning to verify branching time properties'', IEEE/ACM International Conference on Automated Software Engineering, 2005.
Award).
B. Chen and S. Lall, "Control of Distributed Discrete-Time Systems on Graphs'', Proceedings of the American Control Conference, 2004.
B. Chen and S. Lall, "Dissipation Inequalities for Distributed Systems on Graphs'', Proceedings of the IEEE Conference on Decision and Control, 2003.
B. Reznick, "Clean lattice tetrahedra'', submitted 2006.
B. Reznick, "On the absence of uniform denominators in Hilbert's 17th Problem'', Proceedings of the American Mathematical Society, 133:2829 -- 2834, 2005.
B. Reznick, "The classification of 1-point lattice tetrahedra'', Proceedings of the Summer 2003 AMS/MAA/SIAM Conference on Integer Points in Polyhedra, 2003.
D. Chatterjee and D. Liberzon, "Stability analysis of deterministic and stochastic switched systems via a comparison principle and multiple Lyapunov functions'', SIAM Journal on Control and Optimization, 45:174--206, 2006.
D. Chatterjee and D. Liberzon, "On stability of randomly switched nonlinear systems'', to appear in IEEE Transactions on Automatic Control, 2006.
D. K. Kaynar and N. Lynch, "Decomposing Verification of Timed I/O Automata'',Proceedings of the joint conference on Formal Modeling and Analysis of Timed Systems and Formal Techniques in Real-time and Fault Tolerant Systems ({FORMATS-FTRTFT), 2004; to appear.
D. K. Kaynar, N. Lynch, R. Segala, and F. Vaandrager, "The Theory of Timed I/O Automata'', Synthesis Lectures on Computer Science, Morgan Claypool Publishers, 2006.
D. K. Kaynar, N. Lynch, R. Segala, and F. Vaandrager: "Timed I/O Automata: A mathematical framework for modeling and analyzing real-time systems'', Proceedings of the IEEE International Real-Time Systems Symposium, 2003.
D. K. Kaynar, N. Lynch, S. Mitra and C. Robson, "Design for TIOA Modeling Language'', manuscript in preparation.
D. Liberzon and D. Nesic, "Input-to-state stabilization of linear systems with quantized feedback'', to appear in IEEE Transactions on Automatic Control, 2006.
D. Liberzon and J. Hespanha, "Stabilization of nonlinear systems with limited information feedback'', IEEE Transactions on Automatic Control, 50:910-915, 2005.
D. Liberzon and R. Tempo: "Switched systems, common Lyapunov functions, and gradient algorithms'', to appear IEEE Transactions on Automatic Control.
D. Liberzon, "Quantization, time delays, and nonlinear stabilization'', IEEE Transactions on Automatic Control, 51:1190--1195, 2006.
D. Liberzon: "A note on stabilization of linear systems using coding and limited communication'', Proceedings of IEEE Conference on Decision and Control, 2002.
D. Liberzon: "Stabilizing a nonlinear system with limited information feedback'', Proceedings of IEEE Conference on Decision and Control, 2003.
D. Nesic and D. Liberzon, "A small-gain approach to stability analysis of hybrid systems'', Proceedings of IEEE Conference on Decision and Control, 2005.
E. Frazzoli and F. Bullo, "Decentralized algorithms for vehicle routing in a stochastic time-varying environment",Proceedings of the IEEE Conference on Decision and Control, 2004;to appear.
E. Frazzoli, "Maneuver-based motion planning and coordination for multiple UAVs",Proceedings IEEE/AIAA Digital Avionics Systems Conference, 2002.
E. Modiano, D. Shah, and G. Zussman, "Maximizing throughput in wireless networks via gossiping'', Proceedings of ACM SIGMETRICS / IFIP Performance, 2006 (winner of Best Paper Award).
E.M. Aylward, P.A. Parrilo, J-J. E. Slotine, "Algorithmic Search for Contraction Metrics Via SOS Programming'', Proceedings of the American Control Conference, 2006.
E.M. Aylward, P.A. Parrilo, J-J. E. Slotine, "Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming'', accepted for publication in Automatica, 2006.
F. Bullo and D. Liberzon, "Quantized control via locational optimization'', IEEE Transactions on Automatic Control, 51:2--13, 2006.
Feng Xue and P. R. Kumar, "On the Theta-Coverage and Connectivity of Large Random Networks," submitted to IEEE Transactions on Information Theory, 2005.
Feng Xue and P. R. Kumar: "The number of neighbors needed for connectivity of wireless networks'',submitted to IEEE Transactions on Information Theory, 2003.
G. Baliga, S. Graham, C. Gunter and P. R. Kumar, "Reducing risk by managing software related failures in networked control systems,'' to appear in IEEE Conference on Decision and Control, 2006.
G. Chockler, M. Demirbas, S. Gilbert, C. Newport, and T. Nolte, "Consensus and Collision Detectors in Wireless Ad Hoc Networks'', Proceedings of ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2005), 2005.
G. Chockler, M. Demirbas, S. Gilbert, N. Lynch, and C. Newport, "A Middleware Framework for Robust Applications in Wireless Ad Hoc Networks'', Proceedings of the Allerton Conference on Communication, Control, and Computing, 2005.
G. Chockler, M. Demirbas, S. Gilbert, N. Lynch, C. Newport, and T. Nolte, "Reconciling the theory and practice of unreliable wireless broadcast'', Proceedings of the International Workshop on Assurance in Distributed Systems and Networks (ADSN), 2005.
G. Chockler, N. Lynch, S. Mitras, and J. Tauber, "Proving Atomicity: An Assertional Approach'', to appear in DISC 2005: International Symposium on Distributed Computing, 2005.
G. Ribichini and E. Frazzoli,"Energy-Efficient Coordination of Multiple-Aircraft Systems'', submitted to AIAA Journal of Information Technology, 2004.
G. Ribichini and E. Frazzoli: "Distributed algorithms for efficient coordination of multiple-UAV systems'', Proceedings of the IEEE Conf. on Decision and Control, 2003.
G. Ribichini and E. Frazzoli: "Energy-Efficient Coordination of Multiple-UAV Systems'', Proceedings of the AIAA Conf. on Guidance, Navigation, and Control, 2003.
G. Rosu and M. Viswanathan, "Testing Extended Regular Language Membership Incrementally by Rewriting'', Proceedings of the International Conference on Rewriting Applications, 2003.
Girish Baliga and P. R. Kumar: "A Middleware Architecture for Federated Control Systems'', Proceedings of Middleware, 2003.
J-W. Lee and G. E. Dullerud, "A Stability and Contractiveness Analysis of Discrete-Time Markovian Jump Linear Systems," accepted for publication in Automatica. 2006.
J-W. Lee and G. E. Dullerud, "Optimal Disturbance Attenuation for Discrete-Time Switched and Markovian Jump Linear Systems," to appear in SIAM Journal of Control and Optimization, 2006.
J-W. Lee and G. E. Dullerud, "Uniform Stabilization of Discrete-Time Switched and Markovian Jump Linear," Automatica, 42:205--218, 2006.
J-W. Lee and G.E. Dullerud, "Uniformly Stabilizing Sets of Switching Sequences for Switched Linear Systems'', submitted to IEEE Transactions on Automatic Control, 2006.
J. Cortes and F. Bullo, "Coordination and geometric optimization via distributed dynamical systems'', SIAM Journal of Optimization and Control, 44:1543-1574, 2005.
J. Cortes, S. Martinez, T. Karatas, and F. Bullo,"Coverage Control for Mobile Sensing Networks'',IEEE Transactions on Robotics and Automation; 20:243-255, 2004.
J. Hendrix, H. Ohsaki, M. Viswanathan, "Propositional tree automata, International Conference on Rewriting Techniques and Applications, 2006
J. J. Enright and E. Frazzoli, "Multiple UAV Routing in a Stochastic, Time-Varying Environment'', Proceedings of the IFAC World Congress, 2005.
J. Le Ny and E. Feron , "An Approximation Algorithm for the Curvature-Constrained Traveling Salesman Problem'', Proceedings Allerton Conference on Communications, Control and Computing, 2005.
J. Le Ny and E. Feron , "Restless Bandits with Switching Costs: Linear Programming Relaxations, Performance Bounds and Limited Lookahead Policies'', Proceedings of the American Control Conference, 2006.
J. P. Hespanha, D. Liberzon and A. R. Teel, "On input-to-state stability of impulsive systems'', to appear {\em Proceedings of the IEEE Conference on Decision and Control, 2005.
J. P. Hespanha, D. Liberzon, D. Angeli, and E. D. Sontag: "Nonlinear observability notions and stability of switched systems'', IEEE Transactions on Automatic Control, 50:154--168, 2005.
J.-W. Lee and G. E. Dullerud, "Dynamic Sequential Team Multi-Hypothesis Testing Under Uniformly Distributed Nonstationary Observations", submitted to Systems and Control Letters, 2005.
J.-W. Lee and G. E. Dullerud,"A Dynamic Decentralized Sequential Multi-Hypothesis Testing Problem Under Uniformly Distributed Nonstationary Observations",Proceedings of the IEEE Conference on Decision and Control, 2004; to appear.
J.-W. Lee, "Dynamic Decentralized Wald Problems Under Uniformly Distributed Observations", submitted to IEEE Transactions on Automatic Control, 2004.
Jorge Cortes and Francesco Bullo, "Adaptive and Distributed Coordination Algorithms for Mobile Sensing Networks'',Proceedings of the 2003 Block Island Workshop on Cooperative Control, 2003.
K. Plarre and P. R. Kumar, "Extended Message Passing Algorithm for Inference in Loopy Gaussian Graphical Models'',Ad Hoc Networks, 2004.
K. Plarre and P. R. Kumar, "Object tracking by scattered directional sensors'', IEEE Conference on Decision and Control, 2005.
K. Savla, E. Frazzoli, and F. Bullo, "Constant-factor approximation algorithms for the Traveling Salesperson Problem for Dubins' vehicle'', Robotics: Science and Systems II, MIT Press, Cambridge, MA, 2006; to appear.
K. Savla, E. Frazzoli, and F. Bullo, "Traveling salesperson problems for the dubins vehicle'', submitted to IEEE Transactions on Automatic Control, 2006.
K. Savla, F. Bullo, and E. Frazzoli, "On traveling salesperson problems for Dubins' vehicle: stochastic and dynamic environments'', Proceedings of the IEEE Conference on Decision and Control, 2005.
K. Sen and M. Viswanathan and G. Agha, "Learning Continuous Time Markov Chains'',Proceedings of the International Conference on Quantitative Evaluation of Systems, 2004; to appear.
K. Sen and M. Viswanathan and G. Agha, "Statistical Model Checking of Black-Box Probabilistic Systems'', Proceedings of the Conference on Computer-Aided Verification, 2004.
K. Sen and M. Viswanathan, "Model checking multi-threaded programs with asynchronous atomic methods'', International Conference on Computer-Aided Verification, 2006.
K. Sen, M. Viswanathan, G. Agha. "Model checking Markov chains in the presence of uncertainities'', International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2006.
K.Sen, M. Viswanathan and G. Agha, "Stochastic model checking of probabilistic systems", Proceedings of the International Conference on Computer-Aided Verification, 2005.
Karen Sigurd, "Reconfiguration Control in Adaptive Networks,''MIT, Ph.D. thesis, June 2003.
L. Bazzi and S.K. Mitter, "Encoding Complexity Versus Minimum Distance,'' IEEE Transactions on Information Theory, 51:2103-2112, 2005.
L. Cheung and N. Lynch and R. Segala and F. Vaandrager, "Switched Probabilistic I/O Automata'',submitted 2004.
L. Vu and D. Liberzon,"Common Lyapunov functions for families of commuting nonlinear systems'', submitted to Systems and Control Letters, 2003.
L. Vu, D. Chatterjee and D. Liberzon, "Input-to-state stability of switched systems and applications to switching adaptive control'', to appear Automatica, 2006.
L.L. Xie and P. R. Kumar, "An achievable rate for the multiple-level relay channel", submitted to IEEE Transactions on Information Theory, 2003.
M. Farhood and G.E. Dullerud, "Model Reduction of Strongly Stable NLPV Systems,'' Control of Uncertain Systems: Modelling, Approximation, and Design, Lecture Notes in Control and Information Sciences, Springer, 2006.
M. Farhood, C.L. Beck, and G.E. Dullerud: "Complexity reduction of stabilizable nonstationary LPV models'',Proceedings of the IEEE Conference on Decisioni and Control, 2003.
M. Margaliot and D. Liberzon, "A Lie-algebraic condition for stability of switched nonlinear systems'', Systems and Control Letters, 55:8--16, 2006.
M. Neely and E. Modiano, "Capacity and Delay Tradeoffs for Ad Hoc Mobile Networks'', IEEE Journal of Selected Areas in Communication, 2004; to appear.
M. Neely and E. Modiano, "Fairness and optimal stochastic control for heterogeneous networks'', Proceedings of IEEE INFOCOM, 2005.
M. Neely, E. Modiano, and C. Rohrs, "Dynamic Power Allocation and Routing for Time-Varying Wireless Networks'', IEEE Journal of Selected Areas in Communication, 2005.
M. Peet and S. Lall, "Constructing Lyapunov Functions for Nonlinear Delay-Differential Equations using Semidefinite Programming'', NOLCOS, IFAC Symposium on Nonlinear Control Systems, 2004; to appear.
M. Rotkowitz, R. Cogill and S. Lall, "A simple condition for the convexity of optimal control over networks with delays'', Proceedings of the IEEE Conference on Decision and Control, 2005 (winner of the Best Student Paper
M. Savchenko and E. Frazzoli, "On the Time Complexity of Conflict-Free Vehicle Routing'', Proceedings of American Control Conference, 2005.
M. Viswanathan and R. Viswanathan, " A Higher Order Modal Fixed Point Logic'', Proceedings of the Conference on Concurrency Theory, 2004; to appear.
M. Viswanathan and R. Viswanathan,"Foundations for Circular Compositional Reasoning'',Proceedings of the International Colloquim on Automata, Languages and Programming, 2002.
M. Viswanathan and R. Viswanathan,"Order Theoretic Semantics for Probabilistic Abstract Interpretation'',Proceedings of Conference on Concurrency Theory (CONCUR), 2003.
M. Zafer and E. Modiano, "Blocking probability and channel assignment for connection oriented traffic in wireless networks,'' to appear IEEE Transactions on Wireless Communications, 2006.
M. Zafer and E. Modiano, "Continuous-time optimal rate control for delay constrained data transmission", Proceedings of Allerton Conference on Communications, Control and Computing, 2005.
M. Zafer and E. Modiano, "Optimal adaptive data transmission over a fading channel with deadline and power constraints," Conference on Information Science and Systems, Princeton, NJ, 2006.
M. Zafer and E. Modiano, "A Calculus Approach to Minimum Energy Transmission Policies with Quality of Service Guarantees," Proceedings of the IEEE INFOCOM, 2005.
M. Zafer and E. Modiano, "Joint Scheduling of Rate-guaranteed and Best-effort Services over a Wireless Channel," Proceedings of the IEEE Conference on Decision and Control, 2005.
N. Gupta and P. R. Kumar, "A performance analysis of the IEEE 802.11 Wireless LAN Medium Access Control", Communications in Information and Systems, 2004; to appear.
N. Kumar, V. Kumar and M. Viswanathan, "On the complexity of Error Explanation", Proceedings of the International Conference on Verification, Model Checking and Abstract Interpretation, 2005.
N. Lynch, S. Mitra, and T. Nolte, "Motion coordination using virtual nodes'', Proceedings of the IEEE Conference on Decision and Control, 2005.
N. Stein, A. Ozdaglar, P.A. Parrilo, "Separable and low-rank continuous games", to appear Proceedings IEEE Conference on Decision and Control, 2006.
N.A. Lynch, R. Segala, and F. Vaandrager: "Compositionality for Probabilistic Automata'', Proceedings Conference on Concurrency Theory (CONCUR), 2003.
P. Attie, R. Guerraoui, P. Kouznetsov, N. Lynch, and S. Rajsbaum, "Boosting Distributed Service Resilience is Impossible'', Proceedings of the International Conference on Distributed Computing Systems (ICDCS 2005)}, 2005.
P. R. Kumar and Liang-Liang Xie,"Ad Hoc Wireless Networks: From Theory to Protocols.''To appear as an Invited Chapter in,"Ad Hoc Wireless Networking."Edited by Xiuzhen Cheng, Xiao Huang and Ding-Zhu Du. To be published by Kluwer. October 13, 2002.
P. R. Kumar, "The Distributed Nonlinear Stochastic World of Networks.'' Control of Stochastic Systems.pp. 205--216, Nonlinear Stochastic Dynamics, Edited by N. Sri Namachchivaya and Y. K.Lin, Proceedings of the IUTAM Symposium, Monticello, IL Aug. 26--30, 2002. Kluwer Academic Publishers, Dordrecht, The Netherlands.
P. Thati and M. Viswanathan,"Verification of Asynchronous Systems with Unbounded and Unordered Message Buffers'', Proceedings of the Workshop on Automated Verification of Infinite-State Systems, 2004.
P.A. Parrilo, "Polynomial games and sum of squares optimization", to appear Proceedings IEEE Conference on Decision and Control, 2006.
R. Alur, V. Kumar, P. Madhusudan, and M. Viswanathan, "Congruences for Visibly Pushdown Languages", Proceedings of the International Colloquim on Automata, Languages and Programming, 2005.
R. Cogill and M. Rotkowitz and B. Van Roy and S. Lall, "An Approximate Dynamic Programming Approach to Decentralized Control of Stochastic Systems'', Control of Uncertain Systems: Modelling, Approximation, and Design, Lecture Notes in Control and Information Sciences, Springer, 2006.
R. Cogill and M. Rotkowitz and B. Van Roy and S. Lall,"An Approximate Dynamic Programming Approach to Decentralized Control of Stochastic Systems,'' Proceedings of the Allerton Conference, 2004; to appear.
R. Cogill and S. Lall, "An Approximation Algorithm for the Discrete Team Decision Problem,'' to appear in SIAM Journal of Control and Optimization, 2006.
R. Cogill and S. Lall, "Decentralized Stochastic Decision Problems and Polynomial Optimization,'' Proceedings of the American Control Conference, 2005.
R. Cogill and S. Lall, "Suboptimality Bounds in Stochastic Control: A Queueing Example,'' Proceedings of the American Control Conference, 2006.
R. Cogill and S. Lall,"Control Design for Topology-Independent Stability of Interconnected Systems,'' Proceedings of the American Control Conference, 2004.
R. Olfati-Saber, E. Franco , E. Frazzoli, and J. S. Shamma, "Belief consensus and distributed hypothesis testing in sensor networks'', In P.J. Antsaklis and P. Tabuada, editors, Network Embedded Sensing and Control, Lecture Notes in Computer Science 331, 169--182. Springer-Verlag, 2006.
S. Cui and R. Madan and A. Goldsmith and S. Lall,"Cross-layer Energy Minimization in TDMA-based Sensor Networks,'' Proceedings of the Allerton Conference, 2004; to appear.
S. Dolev, S. Gilbert, L. Lahiani, N. Lynch, and T. Nolte, "Timed Virtual Stationary Automata for Mobile Networks'', International Conference on Principles of Distributed Systems (OPODIS), 2005.
S. Dolev, L. Lahiani, S. Gilbert, N. Lynch and T. Nolte, "Self-Stabilizing Mobile Node Location Management and Message Routing'', Proceedings of the International Symposium on Self-Stabilizing Systems (SSS), 2005.
S. Dolev, L. Lahiani, S. Gilbert, N. Lynch and T. Nolte, "Virtual Stationary Automata for Mobile Networks'', Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), 2005.
S. Graham and P. R. Kumar,"Time in general-purpose control systems: The Control Time Protocol and an experimental evaluation'', Proceedings of the IEEE Conference on Decision and Control, 2004; to appear.
S. Graham, G. Baliga and P. R. Kumar,"Issues in the convergence of control with communication and computing: Proliferation, architecture, design, services, and middleware'', Proceedings of the IEEE Conference on Decision and Control, 2004; to appear.
S. Martinez, F. Bullo, J. Cortes and E. Frazzoli, "On Synchronous Robotic Networks Part I: Models, Tasks and Complexity Notions'', to appear IEEE Transactions on Automatic Control, 2006.
S. Martinez, F. Bullo, J. Cortes and E. Frazzoli, "On Synchronous Robotic Networks Part II: Time Complexity of Rendezvous and Deployment Algorithms'', to appear IEEE Transactions on Automatic Control, 2006.
S. Mitra and D. Liberzon,"Stability of hybrid automata with average dwell time: an invariant approach'', IEEE Transactions on Automatic Control, 2004; to appear.
S. Mitra and N. Lynch, "Approximate simulations for task-structured probabilistic I/O automata'', to appear in LICS workshop on Probabilistic Automata and Logics (PAul), 2006.
S. Mitra, D. Liberzon, and N. Lynch, "Verifying average dwell time by solving optimization problems'', In Ashish Tiwari and Joao P. Hespanha, editors, Hybrid Systems: Computation and Control (HSCC), volume 3927 of Lecture Notes in Computer Science, 2006.
S. Mitra, D. Liberzon, and N. Lynch, "Verifying average dwell time'', submitted to ACM Transactions in Embedded Computing Systems, 2006.
S. Tatikonda and S.K. Mitter,"Control over Noisy Channels'',IEEE Transactions on Automatic Control, 2004; to appear.
S. Tatikonda and S.K. Mitter,"Control under Communication Constraints'',IEEE Transactions on Automatic Control, 2004; to appear.
S. Tatikonda, A. Sahai, and S.K. Mitter,"Stochastic Linear Control with a Communication Channel'', IEEE Transactions on Automatic Control, 2004; to appear.
S.K. Mitter and N.J. Newton "Information and Entropy Flow in the Kalman-Bucy Filter'', Journal of Statistical Physics, 118:145--176, 2005.
S.K. Mitter and N.J. Newton "Information and Entropy Flow in the Kalman-Bucy Filter'', submitted to Journal of Statistical Physics, 2004.
T. Schouwenaars, B. Mettler, E. Feron, and J. How: "Robust Guidance of Autonomous Vehicles with Uncertain Dynamics", Proceedings of the American Control Conference, 2003.
V. Borkar and P. R. Kumar: "Dynamic Cesaro-Wardrop Equilibration in Networks'', IEEE Transactions on Automatic Control, 48:382--396, 2003.
V. Kawadia and P. R. Kumar: "A Cautionary Perspective on Cross Layer Design'', submitted to IEEE Wireless Communication Magazine, 2003.
V. Kawadia and P. R. Kumar: "Power Control and Clustering in Ad Hoc Networks'', submitted to Journal on Selected Areas in Communication, 2003.
V. Kumar and M. Viswanathan, "Conformance Testing in the presence of multiple-faults", Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, 2005
V. Kumar, P. Madhusudan, M. Viswanathan, "Minimization, Learning, and Conformance Testing of Boolean Programs'', International Conference on Concurrency Theory, 2006.
V. Powers and B. Reznick "Polynomials positive on unbounded rectangles'', Positive polynomials in Control (A. Garulli, D. Henrion eds.), Springer Lecture Notes in Control and Information Sciences, 312:151 -- 163, 2005.
V. Powers and B. Reznick, "A quantitative Polya's Theorem with corner zeros'', to appear in Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), 2006.
V. Powers, B. Reznick, C. Scheiderer and F. Sottile, "A New Proof of Hilbert's Theorem on Ternary Quartics'', C. R. Academy of Science Paris, 339:617 -- 620, 2005.
V. Raghunathan and P. R. Kumar, "A Wardrop routing protocol for ad hoc wireless networks", Proceedings of the 43rd IEEE Conference on Decision and Control, 2004; to appear.
V. Raghunathan and P. R. Kumar, "Wardrop routing in wireless networks: From theory to implementation", Proceedings of IEEE INFOCOM, 2005.
V. Sharma, E. Frazzoli, and P. G. Voulgaris, "Delay in Mobility- Assisted Constant-Throughput Wireless Networks'', to appear Proceedings of IEEE Conference on Decision and Control, 2005.
V. Sharma, M. Savchenko, E. Frazzoli, and P. Voulgaris, "Time Complexity of Sensor-Based Vehicle Routing'', submitted to International Journal of Robotics Research, 2005.
V. Vladimeriou and G.E. Dullerud, "Wireless Control with Bluetooth'', Handbook of Networked and Embedded Control Systems, Birkhauser, 2005.
V. Vladimerou, A. Stubbs, J. Rubel, A. Fulford, and G.E. Dullerud,"A Hovercraft Testbed for Decentralized and Cooperative Control'',Proceedings of the American Control Conference, 2004.
V.S. Borkar, S.K. Mitter,and S.R. Venkatesh,"Variations on a theme by Neyman and Pearson,'' Sankhya, 2004; to appear.
V.S. Borkar, V.R. Konda and S.K. Mitter,"On De Finetti Coherence and Kolmogorov Probability,'' Statistical Probability Letters, 2004; to appear.
Z. Di, M. Farhood, and G.E. Dullerud, "Control of distributed systems over graphs'', to appear in Proceedings of the IEEE Conference on Decision and Control, 2006.