48 | Research
Invited Lectures M. ALANYALI, “On fair coexistence of wireless networks
C. BELTA, “Synthesis of Provably-Correct Control and
via CSMA based transmission algorithms,” The Hamilton Institute, Maynooth Ireland, June 25, 2009.
Communication Strategies for Distributed Systems,” University of California, Los Angeles, Department of Electrical Engineering, 22 September 2009.
M. ALANYALI, “Network coexistence in emerging models of
unlicensed spectrum access,” Bilkent University at Ankara, Turkey, March 2009. M. ALANYALI, “A Queuing Analysis of Opportunistic
Transmission in the Downlink,” Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, February 2009.
C. BELTA, “A Formal Approach to Deployment of Robotic
Teams in an Urban-Like Environment,” Workshop on Network Science and Systems Issues in Multi-robot Autonomy, Anchorage, Alaska, ICRA 2010. C. BELTA, “Synthesis of provably-correct control and
S.B. ANDERSSON, “Imaging for in-cell surgery: Studying
communication strategies for distributed mobile systems,” Workshop on Formal Methods for Robotics and Automation, Anchorage, Alaska, ICRA 2010.
Single Molecules Through Tracking,” LCSR/CISST Seminar Series at The John Hopkins University, 25 February 2009.
C. BELTA, “Formal Approaches to the Design, Synthesis, and
S.B. ANDERSSON, “Non-raster methods for high-speed
Control of Synthetic Gene Networks,” Workshop on Synthetic Biology, Ohio State University, 28 January 2010.
AFM,” The Workshop on Dynamics and Control of Micro/ Nano Systems, IBM Zurich, 11 December, 2009.
C. BELTA, “Robotics Research at Boston University,” Mass
J. BAILLIEUL, “Decision-Making in the Performance of Search
Technology Leadership Council Summit on the Future of Robotics, Boston, MA, 8 Dec 2009.
Tasks,” Colloquium Talk in the University of Washington Robotics, Controls and Mechatronics Colloquium, May 15, 2009. J. BAILLIEUL, “The Center for Human and Robot Decision
C. BELTA, “Synthesis of Provably-Correct Control and
Communication Strategies for Distributed Systems,” Caltech Workshop on Validation and Verification, Pasadena, CA, 23 September 2009.
Dynamics: Briefing to D.D.R.&E.,” Roslyn, VA, June 26, 2009. C. BELTA, “Formal Approaches to Robot Motion Planning and J. BAILLIEUL, “The Center for Human and Robot Decision
Dynamics: Invited Talk,” 2009 AFOSR Dynamics and Control Program Review, July 14, 2009.
Control,” United Technology Research Center, Hartford, CO, 9 September 2009. C. BELTA, “Automatic Deployment of Robotic Teams from
J. BAILLIEUL, “Exploration Behaviors and Decisions Regarding
Rapid Exploration,” Invited Lecture at KTH Stockholm, Sweden, September 9, 2009.
Temporal Logic Specifications,” AFOSR Dynamics and Control Program Review, Washington, DC, 16 July 2009. A. BESTAVROS , “Network and Resource Management
C. BELTA, “Synthesis of Provably-Correct Control and
Games,” CS Colloquium, Georgia Tech, 11 November 2009.
Communication Strategies for Distributed Systems,” Harvard University, School of Engineering and Applied Sciences, 11 February 2010.
A. BESTAVROS , “Economics-inspired Cloud Resource
Management,” CSE Colloquium at University of Notre Dame, 8 December 2009.
C. BELTA, “Synthesis of Provably-Correct Control and
Communication Strategies for Distributed Systems,” University of Delaware, Department of Mechanical Engineering, 30 October 2009.
Annual Report 2009–2010
A. BESTAVROS , “Network and Resource Management
Games,” Distinguished University Lecture at the University of Texas, San Marcos, 19 April 2010.