BU Systems Engineering Annual Report 2011-2012

Boston University College of Engineering

Division of Systems Engineering Annual Report 2 011– 2 01 2

CONTENTS

HIGHLIGHTS

3

•

MESSAGE FROM THE DIVISION HEAD

4

•

FACULTY HONORS AND AWARDS

7

•

NEW POSITIONS AND PROMOTIONS

8

•

HIGHLIGHTED NEW GRANTS

FACULTY AND STAFF

11

• PARTICIPATING FACULTY

14 • AFFILIATED FACULTY 17 • DIVISION ADMINISTRATION 17 • CISE AFFILIATED STAFF 17 • DIVISION COMMITTEES

GRADUATE PROGRAMS PROGRAM 20 • GRADUATE POPULATION STUDENT 20 • GRADUATE FUNDING

21 • DEGREES AWARDED 24 • RECRUITMENT STUDENT 25 • GRADUATE ACCOMPLISHMENTS ONGOING AND

26 • FUTURE INITIATIVES GRADUATE 26 • CURRENT STUDENTS

RESEARCH

34

• RESEARCH HIGHLIGHTS

EXTERNAL RESEARCH 40 • FUNDING PUBLICATIONS 46 • &FACULTY ACTIVITY PUBLICATIONS 60 • &STUDENT ACTIVITY

62 63

•

SE PHOTO CONTEST FOR GRADUATE STUDENTS

• RESEARCH LABORATORIES

THE CENTER FOR

66

• INFORMATION AND SYSTEMS

70

CISE SEMINAR SERIES (CO-SPONSORED WITH THE • DIVISION OF SYSTEMS ENGINERING)

72 73 74

ENGINEERING (CISE)

• VISITING COMMITTEE •

VISITING COMMITTEE MEMBERS

•

NEW SE BROCHURE AND WEBSITE

2

HIGHLIGHTS

MESSAGE FROM THE DIVISION HEAD The 2011–12 academic year was one that saw continuing growth in the Systems Engineering (SE) program in terms of our faculty and student populations, research funding levels, and world-class distinctions for the Division’s faculty members, as detailed in this Annual Report. The Division’s research activities continue to be in close collaboration with the Center for Information and Systems Engineering (CISE), focusing on a variety of projects that span the modeling, design, analysis, and optimization of human-made and physical systems within a broad array of applications. The Division’s expanding graduate curriculum supports concentrations in Computational and Systems Biology, Control Systems, Network Systems, Financial Engineering Systems, Operations Research, and Energy and Environmental Systems.

The SE Division currently has 14 participating faculty members from the Department of Electrical and Computer Engineering and the Department of Mechanical Engineering, along with 15 affiliated faculty members from the College of Engineering, the College of Arts and Sciences, and the School of Management.

This year, Prakash Ishwar, from the Department of Electrical and Computer Engineering, was added as a participating faculty member, while Mac Schwager joined Boston University and the Division as an Assistant Professor of Mechanical Engineering.

Mac received his PhD from MIT in 2009 and specializes in robotics with emphasis on distributed controllers for multiagent systems and sensor networks.

The Division’s 2011–12 enrollment included 28 PhD students, along with 11 MS and 7 MEng students. There were 4 PhD degrees awarded this past year. In the Fall of 2011, 6 new PhD students and 3 MS and 4 MEng students joined the Division with all admitted PhD students supported by Dean’s or Graduate Teaching Fellowships. Our continuing PhD students were funded from research grants received by participating and affiliated faculty with a total sponsor commitment of approximately $49M of which about $5M came from newly awarded grants in such cutting-edge areas as cybersecurity and data mining for healthcare applications. Other ongoing projects are making use of advanced modeling, control, and optimization techniques to focus on “smart cities”, cooperating teams of aerial vehicles, and medical image processing.

This year also saw the largest to date numbers of applications to our Systems Engineering PhD, MS, and MEng programs.

There were 190 total applications. We made 15 fellowship offers and expect 7 fully-supported PhD students to join the Division in September 2012. In addition, we expect 3 new MS and 10 new MEng students. As always, our applicants cover a variety of geographical and academic backgrounds, reinforcing the diversity that has been one of the distinguishing

characteristics of the Division.

This was also the first year that a newly designed research rotation system went into effect, aiming to provide an organized way for first-year students to explore different research options and for faculty to get to know them better and to evaluate their potential as contributors to ongoing projects.

By all accounts, this was a success.

The Annual Report provides full details on the Division’s scholarly accomplishments that include an extensive listing of refereed publications, grants awarded, and PhD dissertations completed.

I would like to call special attention to the distinctions and honors received by several of our faculty and graduate students, as well as some of the highlighted research activities of the faculty. Regarding student accomplishments, particularly noteworthy are the prize awarded to a team of students led by Yanfeng Geng in the 2011 IBM/IEEE Smarter Planet Challenge Competition, the Outstanding PhD Dissertation award for Ali Kebarighotbi, and an honorable mention for Alphan Ulsoy in the Boston University Science and Engineering Day poster competition.

This past year also included the second meeting of the Division’s Committee of Visitors (established in 2009). This was the first opportunity for the Committee to evaluate the incremental evolution of the Division over the past two years and we are gratified by many complimentary comments pointing to the fact that our path toward developing Systems Engineering as a rigorous academic discipline is successful and worthwhile.

I look forward to a new year as Head of the Division and must take this opportunity to thank my colleagues, our students, and our dedicated staff who are contributing to its mission and continuing growth. I hope that the report provides an informative look at our academic and research accomplishments over the past year as we look toward an exciting future for all.

Christos G. Cassandras Division Head

3

Faculty honors and awards John Baillieul • Fellow of IFAC • Awarded IEEE Hendrik W. Bode Prize

Calin Belta • CISE Award, First Prize, BU Engineering and Science Day, Boston, April 12, 2012 (student poster by Yushan Chen) • Plenary Speaker, 15th International Conference on Hybrid Systems: Computation and Control (HSCC) Beijing, April 17, 2012

Azer Bestavros • 2011 Google Faculty Research Award (with Evimaria Terzi)

Christos G. Cassandras • 2011 IEEE Control Systems Technology Award • President, IEEE Control Systems Society, 2012 • 2011 IBM/IEEE Smarter Planet Challenge competition, 2nd prize (student team led by Yanfeng Geng) • Kern Fellowship, College of Engineering, Boston University 2012 • Plenary Speaker, 24th Chinese Control and Decision Conference, May 2012 • Boston University Office of Technology Development Ignition Award, 2012

James Collins • Elected to American Academy of Arts and Sciences • 2011 World Technology Award for Biotechnology • The Gates Foundation’s Grand Challenges Exploration Grant

Mark Crovella • Elected Fellow of the IEEE

Pierre Dupont • Finalist for Best Paper Award at the IEEE/RSJ Intelligent Robots and Systems (IROS) Conference • Summa Cum Laude Merit Award (student authored abstract scoring in the top 3% of all submitted abstracts) at 2012 20th Annual International Society for Magnetic Resonance in Medicine (ISMRM) Meeting • Best Medical Robotics Paper Award at the 2012 IEEE International Conference on Robotics and Automation (ICRA)

Clement Karl • Appointed Member of the Steering Committee for the IEEE Transactions on Medical Imaging • Appointed Member of IEEE SPS Conference Board

Eric Kolaczyk • Elected Fellow, American Statistical Association • Elected Member, International Statistical Institute

Abraham Matta • Leadership Award from the 20th IEEE Conference on Computer Communication Networks (ICCCN), August 2011

Ioannis Paschalidis • Distinguished Faculty Fellow, College of Engineering, Boston University, 2011–2016

DAVID STAROBINSKI • Appointed Associate Editor, IEEE/ACM Transactions on Networking

Hua Wang • 2012 College of Engineering Faculty Service Award, Boston University

4

James Collins Elected to American Academy of Arts and Sciences Adapted from an article by Mark Dwortzan

Professor James J. Collins (BME, MSE, SE) was elected to the American Academy of Arts and Sciences, an honor that places him among the world’s most accomplished leaders in academia, business, public affairs, the humanities and the arts. Collins was recognized for his contributions to engineering sciences and technologies, and was invited to attend an induction ceremony on October 6 at the Academy’s Cambridge headquarters.

A pioneer in both synthetic and systems biology, Collins is developing innovative ways to design and reprogram gene networks within bacteria and other organisms to perform desired tasks that could bring about cheaper drugs, more effective treatments of antibiotic-resistant infections, and clean energy solutions. Also a trailblazer in efforts to improve function of physiological and biological systems, he has spearheaded several new medical devices such as vibrating insoles to improve balance in elderly people and a device to treat stroke-induced brain failure.

Mark Crovella Named IEEE Fellow Reported in Bostonia

Cited for his contributions to the measurement and analysis of networks and distributed systems, Mark Crovella, a College of Arts & Sciences computer science professor and affiliated Division of Systems Engineering Professor, has been elevated to fellow at the Institute of Electrical and Electronics Engineers (IEEE). The grade of fellow recognizes unusual distinction in the profession.

Crovella’s research interests are rooted in performance evaluation, focusing on parallel and networked computer systems. He is the coauthor of Internet Measurement: Infrastructure, Traffic, and Applications (Wiley Press, 2006) and is the author of more than 100 papers on networking and computer systems. Crovella, who has been teaching at BU since 1994, holds five patents deriving from his research.

Crovella is one of the lead researchers on a $3 million, five-year smartphone security project funded by the National Science Foundation.

The project, which got underway last fall, aims to understand how security problems associated with softphones and their networks are different from those of traditional computers and networks, and how to harness the unique capabilities of softphones for improved security.

5

James Collins Wins 2011 World Technology Award for Biotechnology Adapted from an article by Mark Dwortzan

Christos Cassandras (ECE, SE) and Francesco Bullo (IEEE Control Systems Society Vice-President for Technical Activities) Photo by Lara Hart

Professor James Collins (BME, MSE, SE) was announced as the winner of the World Technology Award for Biotechnology during a gala ceremony at the United Nations on October 26. Presented at the culmination of the World Technology Network’s (WTN) two-day 2011 World Technology Summit & Awards conference in New York, the Awards recognized Collins and 30 other individuals and organizations from more than 60 countries around the world for doing the most innovative and impactful work in science and technology.

Christos Cassandras Receives IEEE Control Systems Technology Award On December 14, 2011, Christos Cassandras (ECE, SE) received the IEEE Control Systems Technology Award at the Conference on Decision and Control (CDC) in Orlando, Florida. The IEEE Control Systems Technology Award recognizes outstanding contributions to control systems technology.

Cassandras was honored for his design and commercial development of the discrete event and hybrid system simulator, SimEvents.

Cassandras and research partner, Michael Clune of The MathWorks, collaborated between 2003 and 2008 on SimEvents, which allows users to simulate event-driven processes along with time-driven ones – for example, the stages of a manufacturing process – so that bottlenecks can be identified and resource requirements can be determined. The program also facilitates the design of hardware architectures, distributed control systems, and sensor and communication networks for aerospace, automotive, and electronics applications among many others.

6

Hua Wang Receives 2012 College of Engineering Faculty Service Award Professor Hua Wang (ME, SE) was named the recipient of the 2012 College of Engineering Faculty Service Award. Each year, the College of Engineering Executive Committee chooses a faculty member who has made outstanding contributions to the College through their involvement in programs, committees, and organizations within the College and University.

Paschalidis Named 2011 Distinguished Faculty Fellow Since joining the College of Engineering faculty in 1996, Professor Ioannis Paschalidis (ECE, SE) has developed sophisticated algorithms for everything from a homeland security early warning sensor network to a next-generation electronic healthcare management system. Based on his impressive body of work, Paschalidis was named the College’s 2011 Distinguished Faculty Fellow, an award that recognizes mid-career faculty members for significant contributions to their field. Paschalidis will receive $20,000 per year for the next five years to support his research.

Co-director of the Center for Information and Systems Engineering (CISE), academic director of the College of Engineering’s Sensor Network Consortium and affiliate of the Biomolecular Engineering Research Center, Paschalidis has a diverse research portfolio that spans the fields of systems and control, networking, applied probability, optimization, operations research, computational biology and bioinformatics. His work could lead to new applications in communication and sensor networks, protein docking, logistics, cybersecurity, robotics, the smart grid and finance.

New Positions and promotions Sean andersson

DAVID CASTAÑÓN

Erol Peköz

• Awarded tenure and

• Appointed Chair of

• Promoted to Full

promoted to Associate Professor, 2012

Calin Belta • Awarded tenure and

promoted to Associate Professor, 2011

the Electrical and Computer Engineering Department, 2011

Abraham Matta • Promoted to Full

Professor, 2012

Venkatesh Saligrama • Promoted to Full

Professor, 2012

DAVID STAROBINSKI • Promoted to Full

Professor, 2012

Professor, 2012

7

Highlighted New Grants Professor Collins Nets Gates Foundation Grant for Cholera Prevention Research Adapted from an article by Mark Dwortzan The Bill and Melinda Gates Foundation has awarded Professor James J. Collins (BME, MSE, SE) a Grand Challenges Explorations grant to encourage his lab’s pursuit of a novel approach to cholera prevention.

In their proposed project, Collins and two postdoctoral fellows in his lab, Ewen Cameron and Peter Belenky, seek to use synthetic biology techniques to engineer a probiotic yogurt bacterium, Lactobacillus gasseri, to detect and kill the cholera bacterium, Vibrio cholerae, in the human intestine. The probiotic could be supplied as an inexpensive, freeze-dried powder to endemic populations to prevent cholera, an acute, food or water-borne diarrheal infection leading to more than 100,000 deaths each year.

8

Professor Cassandras Receives OTD Ignition Award for Smart Parking The Office of Technology Development’s Ignition Award is designed to help new technologies bridge the gap between discovery-oriented research and subsequent development. By providing funding that helps these fledgling technologies reach specific goals or milestones (to show proof of applicability), the Ignition Award helps further them on the path toward commercialization. Christos Cassandras (ECE, SE), one of three very qualified winners, received the award for his work on “Smart Parking” systems. The goal is to ameliorate the stress of finding a parking spot while simultaneously reducing fuel consumption and pollution. Using GPS technology, the Smart Parking system helps a driver locate the best parking space in any given urban environment based on the individual’s predetermined selection criteria. By accounting for proximity of the space to the driver’s destination as well as the cost of parking there, this system helps to maximize the efficiency of any location’s parking capacity. According to Cassandras’ team, their system helps to increase parking space utilization by 10–20% over existing guidance-assisted systems, which helps to increase revenues for parking operators.

Professor Starobinski Awarded NSF Grant

U.S. Army Funds ENG-Based Cyber Security Research

The National Science Foundation awarded Professor David Starobinski (ECE, SE) $250,000 for his research on Boosting Inter-Domain Scheduled Dynamic Circuit Services (SDCS). A variety of applications in the nascent field of cloud computing and in other fields requires stable, low-delay network connectivity together with capabilities of co-scheduling network and server resources. As a result, several network providers have recently started to deploy scheduled dynamic circuit services (SDCS).

Under such services, a network provider allows its customers to place scheduling requests for a fixed-rate circuit lasting for a fixed duration, for either earliest possible usage or scheduled usage at a desired point of time in the future.

Adapted from an article by Rachel Harrington

While carrying significant potential impact, SDCS currently provide little support for dynamic routing and scheduling of circuits across different administrative domains. This lack of adequate support for inter-domain routing represents a major hurdle to the full-scale deployment of SDCS. The main objective of this project is to tackle this challenge by devising distributed solutions supporting scheduled dynamic circuit services across domains. The project consists of two interrelated thrusts: (i) theory, which focuses on the problem of devising distributed routing algorithms for SDCS that provably converge and provide performance guarantees on user-performance metrics; and (ii) protocol design and implementation, which focuses on the design, development, and real network prototyping of a new inter-domain routing protocol for SDCS, referred to as the scheduled circuit routing protocol (SCRP).

As people grow more dependent on computers for everything from accessing their bank accounts to storing sensitive information, cyber security has become an increasingly important research area. At Boston University, Professor Ioannis Paschalidis (ECE, SE) is hoping to improve upon computer data protection by developing an effective way to detect intrusions into private networks and any exfiltration of sensitive or classified information. “Cyber attacks not only can compromise classified information – whether military, government or corporate – but also cripple the nation’s key infrastructure, including financial institutions, telecommunications, air-traffic control and the electricity grid,” said Paschalidis. “Being able to detect such attacks is an important first step to effective countermeasures.”

The U.S. Army Research Office seemed to agree with his sentiments recently when they awarded $600,000 to his project, “A Coordinated Approach to Cyber-Situation Awareness Based on Traffic Anomaly Detection.” Paschalidis, the principal investigator (PI) on the project, will work closely with co-PIs, BU Professors Christos Cassandras (ECE, SE) and Mark Crovella (CS, SE), and Paul Barford from the University of Wisconsin. The team aims to build upon its previous research in order to develop a series of anomaly detection algorithms and tools that will monitor network traffic and operate at both local and global levels. To improve counteraction, input will be processed by a clustering/pattern recognition approach that will identify and classify specific cyber attack scenarios.

9

10

FACULTY & STAFF

Participating Faculty SEAN ANDERSSON

MICHAEL CARAMANIS

Associate Professor, ME Robotics, control theory, scanning probe microscopy, symbolic-based control • PhD, University of Maryland, 2003 • Awarded tenure and promoted to Associate Professor, 2012 • Associate Editor, Conference Editorial Board, IEEE Control Systems Society and Robotics and Automation Society • 2009 NSF CAREER Award

Professor, ME Mathematical programming, control and stochastic systems • PhD, Harvard University, 1976 • 2004 BU College of Engineering Service Award • Editor, IIE Transactions in Design and Manufacturing, 1997–2000 • Member, IIE Transactions in Design and Manufacturing Editorial Board

JOHN BAILLIEUL

CHRISTOS CASSANDRAS

Professor, ME, ECE Robotics, control of mechanical systems, mathematical system theory, informationbased control theory • PhD, Harvard University, 1975 • Fellow of IFAC. • IEEE Hendrik W. Bode Lecture Prize, 2011 • Fellow of IEEE, Inaugural Fellow of SIAM 2009 • Inaugural Distinguished Lecturer Series Award, College of Engineering, Boston University, 2008 • IEEE Third Millennium Medal, 2000 • Past President, IEEE Control Systems Society

CALIN BELTA Associate Professor, ME Verification and control of dynamical systems, hybrid systems, symbolic control, robot motion planning and control, gene and metabolic networks • PhD, University of Pennsylvania, 2003 • Awarded tenure and promoted to Associate Professor, 2011 • CISE First Prize, BU Engineering and Science Day, Boston, April 12, 2012 (student poster by Yushan Chen) • Plenary Speaker, 15th International Conference on Hybrid Systems: Computation and Control (HSCC), Beijing, April 17, 2012 • Associate Editor, SIAM Journal on Control and Optimization • 2008 AFOSR Young Investigator Award • 2005 NSF CAREER Award • 1997 Fulbright Scholar Award

Professor, ECE; Division Head, SE Discrete event and hybrid systems, stochastic optimization, simulation, manufacturing systems, communication and sensor networks, and command control systems • PhD, Harvard University, 1982 • President, IEEE Control Systems Society, 2012 • Kern Fellowship, College of Engineering, Boston University, 2012 • Plenary Speaker, 24th Chinese Control and Decision Conference, May 2012 • Boston University Office of Technology Development Ignition Award, 2012 • 2011 IEEE Control Systems Technology Award • 2011 IBM/IEEE Smarter Planet Challenge competition, 2nd prize (student team led

by Yanfeng Geng) • Fellow of IEEE • Fellow of IFAC • IEEE Distinguished Lecturer, 2001–2004 • Editor-in-Chief, IEEE Transactions on Automatic Control, 1998–2009 • IEEE Control Systems Society Board of Governors • 1991 Lilly Fellow • IEEE Control Systems Society Distinguished Member Award • 1999 Harold Chestnut Prize

11

CHRISTOS CASSANDRAS (cont.)

IOANNIS PASCHALIDIS

• Department Editor, Journal of Discrete Event Dynamic Systems • Associate Editor, International Journal of Intelligent Computing and Cybernetics and International Journal of BioSciences and Technology • Past Associate Editor, Automatica and IEEE Transactions on Automatic Control • Past Editor, Technical Notes and Correspondence, IEEE Transactions on Automatic Control • Honorary Professor, Huazhong University of Science and Technology and Wuhan University of Science and Technology

Professor, ECE; Co-Director, CISE Systems and control, networking, applied probability, optimization, operations research, computational biology, and bioinformatics with applications in communication and sensor networks, protein docking, logistics, cyber-security, robotics, the smart-grid, finance • PhD, Massachusetts Institute of Technology, 1996 • Distinguished Faculty Fellow, College of Engineering, Boston University, 2011–2016 • IEEE Control Systems Society, Board of Governors, 2010 • Guest Editor, IEEE Transactions on Automatic Control, Special Issue on Wireless Sensor and Actuator Networks • Associate Editor, SIAM Journal on Control and Optimization, January 2010– present • Liaison position between the IEEE Control Systems Society and the Institute for Operations Research and the Management Sciences (INFORMS), November 2007–present • Chair, Technical Committee of Networks and Communication Systems, IEEE Control Systems Society, (January 2006–present)

DAVID CASTAÑÓN Professor and Chair, ECE; Co-Director, CISE; Associate Director, CenSSIS Stochastic control, estimation optimization, image understanding and parallel computation • PhD, Massachusetts Institute of Technology, 1976 • Past President, IEEE Control Systems Society (CSS) • IEEE Control Systems Society Distinguished Member Award • Past Air Force Scientific Advisory Board member • 2007 ECE Teaching Award • Associate Editor, Computational Optimization and Applications • Past Associate Editor, IEEE Transactions on Automatic Control • ECE Department Chair, 2007–2008

PRAKASH ISHWAR Associate Professor, ECE Statistical signal processing and machine learning, network information theory coding and computation, secure multiparty computation, visual information processing and analysis • PhD, University of Illinois Urbana— Champaign, 2002 • Elected Member, IEEE IVMSP Technical Committee • Best Paper Prize, with Kai Guo and Janusz Konrad, at the 7th IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS) in September 2010.

• 2007 Dean’s Catalyst Award • 2005 NSF CAREER Award

12

JAMES PERKINS Associate Professor, ME Real-time scheduling and control of manufacturing systems, supply chain management, resource pricing and congestion control in communications networks • PhD, University of Illinois, Urbana-Champaign, 1993 • 2002–2004 Department of Manufacturing Engineering Excellence in Teaching Award

VENKATESH SALIGRAMA Professor, ECE Systems theory, information and control, statistical signal processing • PhD, Massachusetts Institute of Technology, 1997 • Promoted to Full Professorship, 2012 • 2005 NSF CAREER Award • 2003 Presidential Early Career Award • 2002 ONR Young Investigator Award • 1997 Outstanding Achievement Award from United Technologies

Mac Schwager

PIROOZ VAKILI

Assistant Professor, ME Distributed controllers for the deployment of mobile sensor networks, inferring dynamical models of biological group phenomena from data, aggressive multi-robot control over multi-hop networks with time delays, persistent monitoring and persistent environmental sampling with robots • PhD, Massachusetts Institute of Technology, 2009

Associate Professor, ME Monte Carlo simulation and optimization, computational finance, computational biology, product development management • PhD, Harvard University, 1989

DAVID STAROBINSKI Professor, ECE Wireless networks; QOS and traffic engineering; network economics; cyber security • PhD, Technion, Israel Institute of Technology, Israel, 1999 • Promoted to Full Professorship, 2012 • Associate Editor, IEEE/ACM Transactions on Networking • Appointed Associate Editor, IEEE/ACM Transactions on Networking • 2010 ECE Faculty Teaching Award • 2004 Department of Energy Early Career Award • 2002 NSF CAREER Award

HUA WANG Associate Professor, ME; Associate Division Head, SE Control of nonlinear phenomena, intelligent systems and control, complex networks, cooperative control, robotics, and applications in biological, energy and aerospace systems • PhD, University of Maryland at College Park, 1993 • 2012 College of Engineering Faculty Service Award, Boston University • 2000 Cheung Kong Scholar, Ministry of Education, China and Li Ka Shing Foundation, Hong Kong, China • 2000 IEEE Transactions on Fuzzy Systems Outstanding Paper Award • 1999 IFAC Congress Best Poster Paper Prize of the Fourteenth Triennial World Congress of International Federation of Automatic Control (IFAC) • 1994 O. Hugo Schuck Best Paper Award of the American Automatic Control Council

13

Affiliated Faculty MURAT ALANYALI

JAMES COLLINS

Associate Professor, ECE Communication networks, performance analysis and optimization, stochastic systems • PhD, University of Illinois, UrbanaChampaign, 1996 • Associate Editor, IEEE Control Systems Society Conference Editorial Board • 2004 Legacy Gift Award, College of Engineering • 2003 NSF CAREER Award

Professor, BME, MSE Synthetic biology, systems biology, noise enhanced sensorimotor function • DPhil, University of Oxford, England, 1990 • Elected to American Academy of Arts and Sciences • 2011 World Technology Award for Biotechnology • The Gates Foundation’s Grand Challenges Exploration Grant • Elected to National Academy of Engineering • Named a Howard Hughes Medical Institute investigator • Named an inaugural William Fairfield Warren Distinguished Professor • Received Drexel University’s inaugural Anthony J. Drexel Exceptional Achievement Award.

• 2010 Lagrange—CRT Foundation Prize • 2003 MacArthur Fellowship • 2000 BU Metcalf Cup and Prize

AZER BESTAVROS Professor, Computer Science Scalable Internet protocols and systems, application of game theory to the design of systems and networks, resource colocation and management for cloud computing, virtualization and programming support for cyber-physical systems, compositional analysis and verification of complex systems • PhD, Harvard University, 1992 • Distinguished Service Award, IEEE and the ACM • United Methodist Scholar/Teacher Award for 2010/2011 • 2011 Google Faculty Research Award (with Evimaria Terzi) • Chair, IEEE Technical Committee on the Internet, 2007–present • Selected as Distinguished Speaker of the IEEE Computer Society for 2010

14

MARK CROVELLA Professor, Computer Science Performance evaluation, focused on parallel and networked computer systems, detecting and understanding anomalies in IP networks, efficient network monitoring, network security • PhD, University of Rochester 1994 • Elected Fellow of the IEEE • 2007–2009 Chair of ACM SIGCOMM • Past editor for Computer Communication Review, IEEE/ACM Transactions on Networking, Computer Networks and IEEE Transactions on Computers • Fellow of the ACM and IEEE • ACM SIGMETRICS Test of Time Award

PIERRE DUPONT

ERIC KOLACZYK

Adjunct Professor, ME, BME Robotic and imaging technology for minimally invasive surgery • PhD, Rensselaer Polytechnic Institute, 1988 • Finalist for Best Paper Award at the IEEE/RSJ Intelligent Robots and Systems (IROS) Conference • Summa Cum Laude Merit Award (student authored abstract scoring in the top 3% of all submitted abstracts) at 2012 20th Annual International Society for Magnetic Resonance in Medicine (ISMRM) Meeting • Best Medical Robotics Paper Award at the 2012 IEEE International Conference on Robotics and Automation (ICRA)

Professor, Mathematics and Statistics Statistical modeling of instrumental data in temporal, spatial, and networkindexed contexts • PhD, Stanford University, 1994 • Elected Fellow, American Statistical Association • Elected Member, International Statistical Institute • Fellow of the American Statistical Association

MICHAEL GEVELBER Associate Professor, ME, MSE Improving materials process capabilities using controls based approach: modelling, sensor development, system and control design, experimental verification; plasma spray, bulk crystal growth, CVD, ebeam deposition of optical coatings; electrospinning of nanofibers • PhD, Massachusetts Institute of Technology, 1988

W. CLEM KARL Professor, ECE, BME Multidimensional and multi-scale signal and image processing, detection and estimation, inverse problems, biomedical signal and image processing • PhD, Massachusetts Institute of Technology, 1991 • Appointed Member of the Steering Committee for the IEEE Transactions on Medical Imaging • Appointed Member of IEEE SPS Conference Board • Vice-chair IEEE Biomedical Image and Signal Processing Technical Committee • Steering Committee for the IEEE Intl.

Symposium on Biomedical Imaging • Past Associate Editor for Tomography & MRI, IEEE Transactions on Image Processing • 2000 ECE Award for Excellence in Teaching • Editor-in-Chief, IEEE Transactions on Image Processing (2013–2016) • Member, Board of Governors IEEE Signal Processing Society (2011–2013) • Member, Steering Committee, IEEE Transactions on Medical Imaging (2011–2012) • Member, IEEE Bio Signal and Image Processing Technical Committee (2007–2014)

LEV LEVITIN Professor, ECE Information theory, physics of communication and computing, complex and organized systems, quantum theory of measurement, reliable communication and computing, bioinformatics • PhD, USSR Academy of Sciences, Gorky University, 1969 • Life Fellow, IEEE • Member, International Academy of Informatization

THOMAS LITTLE Professor and Associate Chair, ECE; Director, NSF Smart Lighting ERC Computer networking (wireless, vehicular, opportunistic, delay tolerant), mobile computing, distributed systems, multimedia streaming and storage, video on demand, visible light communications • PhD, Syracuse University, 1991 • Editorial Board Member, Journal of Multimedia Tools and Applications • Kern Faculty Fellow, Boston University, College of Engineering • 2009 BU College of Engineering Faculty Service Award • 2007 Dean’s Catalyst Award, BU College of Engineering • 2001 Mass eComm 10 Award • 1995 NSF CAREER Award • 1991 NSF Research Initiation Award

15

ABRAHAM MATTA

ARI TRACHTENBERG

Professor, Computer Science Transport and routing protocols for the Internet and wireless networks, feedbackbased control design and analysis, architectures for protocol design and large-scale traffic management, modeling and performance evaluation • PhD, University of Maryland at College Park, 1995 • Promoted to Full Professorship, 2012 • Leadership Award from the 20th IEEE Conference on Computer Communication Networks (ICCCN), August 2011

Associate Professor, ECE Error correcting codes; data synchronization (especially for PDAs and mobile networks); sensor-based location detection; algorithms • PhD, University of Illinois, Urbana— Champaign, 2000 • 2003 ECE Award for Excellence in Teaching • 2002 NSF CAREER Award

BOBAK NAZER Assistant Professor, ECE Information theory and communications, reliable computation over networks, distributed signal processing • PhD, University of California, Berkeley, 2009 • 2011 Dean’s Catalyst Award, College of Engineering, Boston University • 2009 Eli Jury Award, EECS Department, UC Berkeley

EROL PEKÖZ Professor, Operations & Technology Management Control over health care resource allocation is best achieved through the demand side or through regulatory controls on the supply side • PhD, University of California Berkeley 1995 • Promoted to Full Professorship, 2012 • 2001 Broderick Prize for Teaching at Boston University • Outstanding Instructor Award, UC Berkeley

16

SANDOR VAJDA Professor, BME Scientific computing, primarily optimization; computational chemistry and biology, including protein and peptide structure determination, protein engineering, and drug design • PhD, Hungarian Academy of Science (Hungary), 1983 • Editorial Manager, Proteins: Structure, Function and Bioinformatic

Division Administration

Christos G. Cassandras

Hua Wang

Ruth Mason

Associate Head

Division Director

Division Head

CISE Affiliated Staff

Elizabeth Flagg, Ed.M.

Cheryl Stewart

Graduate Programs Manager

Program Administrator

Division Committees GRADUATE Committee Hua Wang-Chair Sean Andersson Venkatesh Saligrama David Starobinski Pirooz Vakili Christos Cassandras

Linda Grosser

Denise Joseph

Associate Director, Center for Information and Systems Engineering (CISE)

Administrator

Administrative Director, BU Clean Energy & Environmental Sustainability Initiative (CEESI)

Elizabeth Flagg

Scheduling Committee Hua Wang-Chair James R. Perkins Ruth Mason Elizabeth Flagg

Director of Corporate Relations, SE

17

18

GRADUATE PROGRAMS

The Division of Systems Engineering (SE) offers a unique interdisciplinary graduate program with select faculty from the College of Engineering Biomedical Engineering, Electrical and Computer Engineering, and Mechanical Engineering departments; the College of Arts and Sciences Computer Science and Mathematics & Statistics departments; and the School of Management. SE offers PhD, MS and MEng degrees to graduate students with interests in information, decision, and control sciences, and in all application areas encompassing the modeling, analysis, simulation, control, optimization, and management of complex systems.

The Division offers research opportunities through the Center for Information and Systems Engineering (CISE). Please see the Research section for more on CISE . Research activities focus on: automation, robotics and control; communications and networking; computational biology; information sciences; and production, service and energy systems.

Systems Engineering cuts across the traditional engineering departments as a discipline that enables building, analyzing, or managing a system be it electrical, mechanical, chemical, biological or one involving business processes and logistics. Our graduates are equipped with the unique skills to adapt their knowledge and expertise to different application domains with this flexibility placing them in high demand.

GRADUATE STUDENT BREAKDOWN US Female

INTERNATIONAL

TOTAL

Male

Female

Male

PhD

4

7

17

28

MS

8

1

2

11

MEng

3

4

7

BS/MS

1

TOTAL

0

16

1 8

23

47

47

Graduate Students 19

ACADEMIC YEAR

MEng

MS

Ph.D.

BS/MS

LEAP

Graduate Program Population TABLE 1 50

1

45

1

40

8

7

11 3

30

4

6

3

25 20 15 25

29

27

25

29

28

11 20 – 0

12 20 – 1

26

20

10 13

5 0

01

03

02

20 0–

0

20

6

4

3

20 1– 0 0

2

0 –2 2 00

2

05

04

0 –2 3 00

2

20 4–

0

20

07

06

20

0

20 5–

0

20

09

08

20 6–

0 –2 7 00

0

20 8–

20

2

10 20 – 9

0

20

1 20

1 20

Graduate STUDENT FUNDING TABLE 2: GRAD STUDENT FUNDING SOURCES FOR AY 2011–2012 BS/MS

MEng

MS

PhD

TOTAL

Research Assistants

1.5

17

18.5

Graduate Teaching Fellows

.5

4

4.5

2

2

Dean's Fellows Independent

1

Internal Funding

6

6

1

14

1

3

2

6

2

2

28

47

Other Fellow TOTALS

20

1

7

11

MENG MS PHD

35 1

BS/MS

Degrees Awarded TABLE 3

PHD

9 8

MS

8

MENG

7 6

6 5

5

5 4

4

4

4 3

3

3

3 2

2

2

2

2 1

1 0

01

0

20

400 350 300 250 200 150 100 50 0

03

02

20 0–

0 –2 1 00

2

2

0 –2 2 00

05

04

0 –2 3 00

2

20

0

20 4–

07

06

20 5–

0

20

37

Number of PhD degrees awarded since 2001 in Systems Engineering 800

20

700 Number of PhD degrees awarded since Division established in 2008

4 14 5 MEng

0

20

09

08

20 6–

0 –2 7 00

2

20 8–

0

20

1 20

3.0 2.5 2.0

400

Number of MS degrees awarded 300 since Division established in 2008

1.5 1.0

200

Number of MS degrees awarded 100 this year (Table 5)

0.5

MEng

Ph.D.

MEng degrees awarded since program offered in Fall 2011 (TableQualatative 6) Score Verbal Score

2

1 20

12 20 – 1

3.5

PhD degrees awarded this500 year (Table 4)

0

11 20 – 0

4.0

600

Ph.D.

20

0

0 01 2 9–

0.0

MEng

Ph.D.

Analytical Writing

21

TABLE 4: 2011–2012 PHD DEGREES AWARDED

Justin Foster

Ali Kebarighotbi

May 2012

January 2012

Title: Control Systems in Future

Title: Perturbation Analysis in Fluid Scheduling and Optimization of Stochastic Hybrid Systems

Power Markets: Market Based Demand Response, Transmission Topology Control, and Synergies with Renewable Integration

Committee: Advisor: Michael Caramanis, SE, ME; Ioannis Paschalidis, SE, ECE; Pirooz Vakili, SE, ME; Pablo Ruiz, SE Visiting Scholar; Chair: John Baillieul, SE, ME, ECE Abstract: National directives emphasizing improved power grid sustainability, reliability, and economic performance motivate innovative research directions in demand response and renewable generation integration. In addition, advances in computing capabilities render feasible new techniques for long standing power market problems. This dissertation proposes and evaluates several novel decision support policies, balanced between improving existing power market operation and preparing for forthcoming technologies and capabilities.

In particular, this dissertation considers (i) demand-side decision support and (ii) tractable transmission topology control.

The first part of this dissertation uses dynamic programming and duality theory to develop a decision support framework for a load aggregator (LA) managing flexible loads sharing the same short-term capacity constraints - and in particular plug-in electric vehicles (PEVs). The LA submits inflexible and flexible bids to a liberalized hour-ahead power market, while monitoring localized network constraints. Flexible bids are associated with a reservation price and the market clears these bids as a combination of energy demand and capacity reserve, as energy only, or rejects the bid entirely. By allowing the market operator to dispatch PEVs, this strategy provides an effective means for coordination with centralized renewable generation.

In addition, the provision of voltage support in the presence of distributed solar arrays is considered.

The second part of this dissertation develops sensitivity- or gradient-based algorithms aimed at reducing congestion costs by tractably including topology control in the economic dispatch. Currently, the economic dispatch minimizes generation costs subject to transmission constraints, where the status of each line, i.e., open or closed, is fixed. Recent research shows that by optimally dispatching the network topology along with generation resources, significant congestion costs may be avoided. Optimal transmission topology control requires the solution of a mixed integer program which is computationally intractable for real-sized power networks; however, it appears that much of the cost savings may be attained by changing the status of just a few appropriately selected lines. Therefore, this dissertation proposes tractable transmission topology control policies, which employ sensitivity information readily available from the economic dispatch to select candidate lines to change status.

22

Committee: Advisor: Christos Cassandras, SE, ECE; Pirooz Vakili, SE, ME; Ioannis Paschalidis, SE, ECE; David Castañón, SE, ECE; Chair: Hua Wang, SE, ME Abstract: This dissertation is dedicated to optimization of

Stochastic Hybrid Systems (SHS). The concentration is on both online optimization of these systems and extending the known optimal policies in Discrete-Event Systems (DES) to a broader context of SHS. A SHS involves both continuous and discrete dynamics and is suitable for modeling almost any physical system of interest. In the first part of this text, the focus is on application of SHS and particularly, a subclass of it, known as Stochastic Flow Models (SFM), in scheduling of fluid models. To this end, a classic scheduling problem for optimally allocating a resource to multiple competing user queues is considered in the DES context and placed in the framework of SFMs. Infinitesimal Perturbation Analysis (IPA) is used to calculate the gradient estimates for the average holding cost of this system with respect to resource allocation parameters. These estimates are characterized by a monotonicity property that allows us to prove the optimality of the well-known cμ-rule not only for the twoqueue case, but also for an arbitrary finite number of queues and stochastic processes under non-idling policies. Furthermore, the nonlinear cost functions are considered, yielding simple distribution-free cost sensitivity estimates. We also analyze why the cμ-rule may fail in this case.

In the second part, we try to take the first step in using IPA for optimally calculating timeouts in SHS’s. In the beginning, a TCP=IP communication link is used to examine the effectiveness of SHS and IPA in calculating derivative estimate of relevant objectives with respect to timeout parameters. These derivative estimates can be used in online gradient descent optimization methods to find the optimal value for the timeout parameters in queuing systems. Furthermore, they are easily obtained from a sample path of the system without any knowledge of the underlying stochastic processes. We also extend the analysis to the case of multi-node communications.

The estimates obtained then can be used in optimizing a goodput performance objective. Preliminary results reveal a great potential in using IPA to control delay thresholds such as timeout and motivate more investigations in future research.

In the third part of the thesis, we propose a general framework suitable for analysis and on-line optimization of SHS that facilitates the use of IPA. In doing so, we modify the previous structure of a Stochastic Hybrid Automaton (SHA) and show that every transition is associated with an explicit event which is defined through a “guard function”. This also enables us to uniformly treat all events observed on the sample path of the SHS. As a result, a unifying matrix notation for IPA equations is developed which eliminates the need for the case-by-case analysis of event classes as usually done in prior works involving IPA for SHS. This matrix notation helps us create a framework suitable for analysis and optimization of systems where traditional approaches become prohibitively complex.

Ronald Taylor Locke May 2012

Title: Anomaly Detection with Applications in Environmental and Cyber Security Committee: Advisor: Yannis Paschalidis, SE, ECE; Christos Cassandras, SE, ECE; David Castañón, SE, ECE; Bobak Nazer, SE, ECE; Chair: Sean Andersson, SE, ME

Abstract: Two approaches to detecting anomalous behavior within a sequence of random observations are presented.

One approach is stochastic in nature, using large deviations techniques to form a Hoeffding decision test. Scenarios in which sequential observations can be considered independent and identically distributed (iid) or adhere to a first-order Markov chain are both considered. The Markovian case is explored further and asymptotic performance results are developed for using the generalized likelihood ratio test (GLRT) to identify a Markov source. After a presentation of binary and multi-class Support Vector Machines (SVM), a deterministic anomaly detection method based on the so-called one-class SVM is also presented.

The presented methodologies are then applied to detection and localization of Chemical, Biological, Radiological, or Nuclear (CBRN) events in an urban area using a network of sensors.

In contrast to earlier work, these approaches do not solve an inverse dispersion problem but rely on data obtained from a simulation of the CBRN dispersion to obtain descriptors of sensor measurements under a variety of CBRN release scenarios. To assess the problem of environmental monitoring, CBRN eventfree conditions are assumed to be iid and a corresponding stochastic anomaly detector is relied on to detect a CBRN event.

Conditional on such an event, subsequent sensor observations are assumed to follow a Markov process. Accordingly, the presented Markov source identification methodology is used to map sensor observations to a source location chosen out of a discrete set of possible locations. A multiclass SVM approach to CBRN localization is also developed, and the two techniques are compared using three-dimensional CBRN release simulations.

Also addressed is the problem of optimally placing sensors to minimize the localization probability of error.

Yiduo Zhou May 2012

Title: Probabilistic Policies in Re-Entrant Queueing Systems with a Product-Form Steady-State Distribution Committee: Advisor: James R. Perkins, SE, ME; Pirooz Vakili, SE, ME; Michael Caramanis,SE, ME; Erol Peköz, OTM, SE; Chair: Dan Cole, ME Abstract: This dissertation presents several new scheduling policies based on real-time information and probabilistic controls for re-entrant (non-acyclic) Markovian queueing systems. One interpretation of the results contained in this dissertation is that they provide a generalization of the results for Jackson networks to re-entrant systems with bufferdependent routing and non-identical service-time distributions at the machines. This introduces a machine scheduling component that is analogous to going from a 2–D to a 3–D point-of-view.

These policies require minimal computational effort, often achieve solid performance, and are scalable to systems with an arbitrary number of machines and buffers. Most importantly, under these scheduling policies, the steady-state buffer-level probability distribution may be determined analytically for a wide variety of Markovian queueing system architectures, including open, closed, or mixed re-entrant systems, systems with deterministic or probabilistic routing, multi-class systems, and systems with parallel servers.

Using the product-form buffer-level probability distribution, and modifying standard algorithms for Jackson networks, it is straightforward to evaluate the steady-state performance of these policies, for arbitrarily large re-entrant systems. Thus, the results contained in this dissertation provide the first scalable benchmark for such systems. It is anticipated that the methods and results used in this dissertation will provide a foundation for considerable further research in this area.

The anomaly detection approaches are then applied to detection of data exfiltration-style attempts on a network server. Two one-class SVM approaches are presented. In both, data packet transmissions are captured and compiled into network flows.

In a flow-by-flow network anomaly detector, features are extracted from individual flows and their novelty is tested. If a flow’s features differ too greatly from nominal flow features, as determined by the SVM, that flow is declared an anomaly. In a network-wide anomaly detector, the novelty of a time sequence of flows is tested. The stochastic anomaly detectors are applied to sequences of flows as well, under the contexts of subsequent network flows either being iid or following a Markov process.

These techniques are evaluated on simulated network traffic.

23

Recruitment Recruiting efforts include updating and continual development of the website and the March 2012 Graduate Open House visits.

This year the recruitment Open House was held on Friday, March 2, hosting 8 applicants, and one other applicant visited on March 5, for a total of nine visiting applicants.

In academic year 2011/2012 the SE program received 160 applications, of which 41 were admitted, and 13 matriculated (Table 7). For Fall 2012 we received 190 applications, 49 were admitted and we expect 20 to matriculate in Fall 2012 (Table 8).

During our recruiting efforts this year, offers of financial aid were made to 15 students, including fellowships and half tuition scholarships; 20 students accepted our offer of admission (7 PhD, 3MS, 10 MEng) to form the entering class for Fall 2012.

TABLE 5: AY 2011–2012 MS DEGREES AWARDED STUDENT

Of the 20 students expected in Fall 2012, 7 are fully funded (all PhDs) and two have tuition scholarships (2 MS). The new students come from several strong programs, including the Massachusetts Institute of Technology, Franklin W. Olin College of Engineering, Technion Israel Institute of Technology, the Ohio State University, Wake Forest University, Zhejiang University, Politechnica University of Bucharest, and Shanghai Jiaotong University and others. The entering PhD class has a mean undergraduate GPA of 3.6 (US students only).

Recruitment of underrepresented minorities remained a challenge and a priority in AY 2011–2012. Despite efforts in advertising and recruiting, only a small number of applications from underrepresented minorities were received.

TABLE 6: AY 2011–2012 MENG DEGREES AWARDED

ADVISOR

Aaron Berliner, May 2012

Colburn Cassandras

Justin Foster, September 2011

Caramanis

Xioajin Tang, September 2011

Vakili

Total

MEng

3

10

8

18

32

MS

2

8

9

13

39

PhD

1

6

26

56

89

Total

6

24

43

87

160

5

2

8

15

4

2

1

10

4

6

6

16

13

10

15

41

2

4

PhD 3

MEng

2

MS

2

1

PhD

2

3

1

6

6

4

3

13

Total

0

3

Female

Applicants

Male

Admissions

Female

US

MEng

INTERNATIONAL

TOTAL

Male

Female

Male

Total

9

11

16

65

MS

5

9

18

33

36

PhD

1

13

11

64

89

Total

6

31

40

113

190

5

3

9

17

5

3

6

19

4

3

6

13

14

9

21

49

2

2

6

10

1

3

2

5

7

4

12

20

MEng MS

5

PhD Total

Matriculations

Applicants Admissions Matriculations

TOTAL

Male

Total

24

INTERNATIONAL

TABLE 8: ADMISSION Projections for Fall 2012

Female

3

Caramanis

Cassandras

US

MS

Perkins

Yerzat Marat, January 2012

TABLE 7: ADMISSION RESULTS FOR 2011–2012

MEng

ADVISOR

Ludovico Fontana, January 2012

Egill Tomasson, September 2011

Yanfeng Geng, May 2012

STUDENT

5

MEng MS

1

1

PhD Total

1

3

GRADUATE STUDENT ACCOMPLISHMENTS (Also please see Student Publications & Activity on page 60.)

STUDENT

INFORMATION

EBRU AYDIN GOL Advisor: Belta

• Presented two papers. Please see Student Publications and Activities section • Poster Presentation, SE Visiting Committee Poster Session, May 11, Boston, “Language-Guided Controller Synthesis for Discrete-Time Linear Systems” • Poster Presentation, BU Science and Engineering Day -Wed 3/21, Boston, “Language-Guided Controller Synthesis for Discrete-Time Linear Systems”

IGOR CIZELJ Advisor: Belta

• Co-Authored a conference paper. Please see the Student Publications and Activity section

YANFENG GENG Advisor: Cassandras

• Boston University Division of Systems Engineering Student Travel Award • 2011 IBM/IEEE Smarter Planet Challenge competition, 2nd prize

FUZHUO HUANG Advisor: Paschalidis

• Poster Presentation, “An effective Algorithm to solve the Maximum Weighted Independent Set Problem,” BU Science and Engineering Day 2012, CISE 10th Anniversary Symposium

EMIR KAVURMACIOGLU Advisor: Starobinski

• Poster Presentation, BU Science and Engineering Day 2012, “Price Wars in Secondary Markets: Competition or Collusion?”

• Poster Presentation, SE Visiting Committee Poster Session, “Price Wars in Secondary Markets: Competition or Collusion?”

• Poster Presentation, CISE Symposium, “Price Wars in Secondary Markets: Competition or Collusion?”

ALI KEBARIGHOTBI Advisor: Cassandras

• 2012 SE Outstanding PhD Dissertation Award for “Perturbation Analysis in Fluid Scheduling and Optimization of Stochastic Hybrid Systems” • Boston University Division of Systems Engineering Student Travel Award

HANIEH MIRZAEI Advisor: Vakili

• Awarded CISE Honorable Mention for Poster Presentation, BU Science And Engineering Day, April 2012, I. C. Paschalidis, H. Mirzaei, D. Kozakov, S. Vajda, And P. Vakili, “A New Approach To Rigid-Body Minimization With Applications To Molecular Docking”

ALPHAN ULUSOY Advisor: Belta

• IROS 2011 Student Travel Grant • ICRA 2012 Travel Award • Boston University Science and Engineering Day Honorable Mention for “Optimality and Robustness in Multi-Robot Path Planning” • First Prize, Boston University Division of Systems Engineering Photo Contest • Presented two conference papers. Please see the Student Publications and Activity section.

• NSF Workshop on Formal Composition of Motion Primitives, Cambridge, MA, USA • Poster Presentation, BU Science and Engineering Day 2012, “Optimality and Robustness in Multi-Robot Path Planning” • Poster Presentation, SE Visiting Committee Poster Session, “Optimality and Robustness in Multi-Robot Path Planning” • Poster Presentation, Innovation and Invention: BIO2012 Alumni and Friends, “Optimality and Robustness in Multi-Robot Path Planning” • Oral Presentation. SMARTS Review Meeting at MIT. Smart Adaptive Reliable Teams for Persistent Surveillance (SMARTS), a MURI Project

TAO “RENO” WANG Advisor: Cassandras

• Boston University Division of Systems Engineering Student Travel Award

25

Ongoing And Future Initiatives Oral Qualifying Examination

The graduate curriculum

The Graduate Committee reviewed the Qualifying Examination process and modified the oral exam portion to include a 20– minute research presentation related to one of the student’s Fall 2011 or Spring 2012 research rotations.

The Graduate Committee reviewed the MS and MEng graduate curricula for course alignment, reviewed the MS thesis requirement, and revised the SE minor. Courses not appearing in the bulletin were removed; BE 362, BE 747, BE 767, SE/EC/ ME 501, SE/EC/ME 701, SE/ME 704, SE/ME/EC 710, ME 560, GSM MF793, and GSM 794 were added in the concentration lists. The minor was revised by removing ME 403, which is no longer offered.

Current Graduate Students MS, MENG, BS/MS STUDENTS Name

26

Program

Advisor

Previous Institution

Agirman, Ahmet

MEng

Wang, H.

Anadolu University

Bell Walker, Benjamin

LEAP

Perkins, J. R.

University of Tulsa; Houghton College

Berliner, Aaron

BS/MS

Colburn, H. S.

Boston University

Bodiya, Brian

MEng

Andersson, S. B.

Michigan State University

Cannon, Benjamin

LEAP

Perkins, J. R.

University of Georgia

Chapman, Jonathan

LEAP

Vakili, P.

Massachusetts Institute of Technology

Fontana Pelgron, Ludovico

MEng

Perkins, J. R.

Universidad Simon Bolivar

Guzelsu, Berke

LEAP

Perkins, J. R.

Franklin & Marshall

Kuchinsky, David

MEng

Castañón, D. A.

University of Massachusetts at Amherst

Liu, Dan

MS

Densmore, D. M.

Wuhan University

Marat, Yerzat

MEng

Caramanis, M. C.

Boston University

McManus, Michael

MS

Andersson, S. B.

Boston University

Ridley, Louis

MEng

Andersson, S. B.

University of Hawaii at Manoa

Rossell, Daniel

LEAP

Perkins, J. R.

Texas A & M University

Sarkisian, Alan

LEAP

Perkins, J. R.

California State University, Fresno; University of Dallas

Shang, Jizong

MS

Cassandras, C. G.

Beijing Institute of Technology

Shenvi, Sagar

MS

Ishwar, P.

Indian Inst of Tech

Yang, Yuzhang

MEng

Andersson, S. B.

Southeast University, Nanjing

Yee, Steven

MS

Andersson, S. B.

Boston University

PhD Students NAME

ADVISOR

PREVIOUS INSTITUTION

Aydin Gol, Ebru

Belta

Ecole Polytechnique Federale De Lausanne; Middle East Tech University

I work in the HyNeSs Lab on controller synthesis for a given discrete time linear system which will satisfy the given specifications. The specifications are represented using co-safe linear temporal logic (LTL) formulas defined over a set of linear predicates that support finite time semantics. For example a simple specification would be “ stay safe for all times and eventually reach the destination.” The goal is to construct a controller strategy and to find the maximal set of states such that any trajectory starting from this set will satisfy the formula. A language guided construction method is developed. The construction process starts from the given formula and guarantees that the controlled system will satisfy the formula.

Bilgin, Enes

Caramanis

Bilkent University

I am working with Michael Caramanis on regulating electricity markets and integration of smart grids into these markets.

Particularly, we are trying to develop alternative pricing methods for wholesale power markets and mechanisms to control the demand in smart grids. Hence, we aim to increase efficiency in energy consumption and create more room for green energy resources while maintaining the security for power systems.

Cameron, Kellas

Cassandras

University of Texas at Austin, MIT

Chen, Yuting

Saligrama

Xi'an Jiaotong University

I work with Professor Venkatesh Saligrama in the Information Systems and Sciences Lab. My research includes computer vision and statistical learning. More specifically, we focus on video surveillance problems such as anomalous activity detection, video event retrieval and activity modeling. We are currently developing algorithms for tasks such as counter-flow detection in airport surveillance videos, multiple people tagging and tracking and event search in airborne surveillance videos. We are trying to solve large-scale problems with simple features, efficient data indexing structure and robust post-processing methods in real time.

Cizelj, Igor

Belta

University of Zagrebe

I work in the Hybrid and Networked Systems (HyNeSs) Lab. My research interests include robotics, probability theory, motion planning and control. More specifically, my interests lie in the modeling and optimization of planning and control algorithms for safety-critical systems, with a large emphasis on robotic applications. Currently I am focused on probabilistically safe vehicle control in threat rich environment. In the near future I wish to address the following problem: what probabilistic guarantees can we have, if any, when the vehicle motion is modeled as a stochastic system and the properties of the environment can be detected only locally.

Foster, Justin

Caramanis

Bowdoin College

Dissertation: Control Systems in Future Power Markets: Market Based Demand Response, Transmission Topology Control, and Synergies with Renewable Integration

Placement: Edison Mission Marketing and Trading

27

Geng, Yanfeng

Cassandras

University of Science and Technology of China

We propose a “smart parking” system for an urban environment based on a dynamic resource allocation (DRA) approach.

The system assigns and reserves an optimal resource (parking space) for a user (driver) based on the user’s objective function that combines proximity to destination with parking cost, while also ensuring that the overall parking capacity is efficiently utilized. Our first approach is to solve a Mixed Integer Linear Program (MILP) problem at each decision point in a time-driven sequence. The solution of each MILP is an optimal allocation based on current state information and subject to random events such as new user requests or parking spaces becoming available. Simulation results show that using this “smart parking” idea can achieve significant improvement over state-of-the-art guidance-based systems. Then we generalized the DRA problem and solved it with Approximate Dynamic Programming (ADP) method. Simulations show that we can obtain near-optimal allocation results. We are now implementing this idea in a BU garage.

Goldis, Evgeniy

Caramanis

Harvey Mudd College

I work with Professor Caramanis to develop a revised day-ahead energy market design that includes flexible, demand-side resources as well as variable generation. Under the current market structure, both variable generation and demand-side resources do not have incentives to bid their true costs and this biases the market clearing away from the social optimum.

Our proposed design creates appropriate incentives for both participants to bid their respective costs, leading to a socially optimal equilibrium. I am also working with Professor Caramanis and external team members on a project investigating the benefits of transmission switching in wholesale energy markets. Initial investigations show that disconnecting certain transmission lines can lead to large savings in production costs. To that end, we are developing algorithms to identify a set of candidate lines for disconnecting and to quickly select the "best" subset of lines to switch off, while maintaining feasibility of the transmission system.

Huang, Fuzhuo

Paschalidis

Tsinghua University

We propose a novel, low-complexity and fully distributed algorithm that yields high-quality feasible solutions to Maximum Weighted Independent Set (MWIS) problem. More specifically, our proposed algorithm consists of two phases, each of which requires only local information and is based on message passing. We show that our algorithm always outputs an optimal solution to the MWIS problem for bipartite graphs using the deterministic estimation method, and provides a probabilistic performance guarantee for general graphs with heavy weights using the randomized estimation algorithm. We apply our algorithm on two different applications in wireless sensor network. One application is the problem of efficiently “emptying” a wireless sensor network that has accumulated a large amount of data at its nodes and seeks to relay them to designated gateways so as to maximize a concave function of achievable transmission rates. The other application is the problem of scheduling wireless networks with stochastic packet arrivals on the links and constant transmission rates.

Jones, Austin

Belta

Washington University in St. Louis

I work in the Hybrid Networks Systems (HyNeSs) lab with Calin Belta and Mac Schwager on formal synthesis algorithms that involve information that is a priori unknown. I am integrating techniques in information theory and machine learning with formal methodology to enrich control policies synthesized from specification languages to be able to handle tasks that involve "uncertain" specifications such as exploration or communication. Ultimately, I plan to use this approach to establish a framework for autonomous, decentralized coordination of teams of mobile robots.

Kavurmacioglu, Emir

Starobinski

Purdue University at West Lafayette

My research interests are Network Economics and Wireless Spectrum Management, particularly areas of Dynamic Spectrum Access and Secondary Spectrum Markets, both of which introduce a new way of regulating the telecommunications radio spectrum more efficiently. My current work focuses on analyzing pricing strategies and predicting possible market equilibria when multiple Wireless Spectrum Providers compete and consequently force each other to suboptimal outcomes. This involves the use of statistical tools such as Continuous Time Markov Processes, Dynamic Programming and Linear Optimization as well as the economics field of Game Theory.

Kebarighotbi, Ali

Cassandras

University of Windsor; Tehran Polytechnic

Dissertation: Perturbation Analysis in Fluid Scheduling and Optimization of Stochastic Hybrid Systems Placement: Affinnova, Inc.

28

Khazaeni, Yasaman

Cassandras

West Virginia University; Sharif University of Technology

I work in the CODES lab with Professor Cassandras. I work in the area of cooperative control. I use the receding horizon method for solving the data harvesting and reward collection problem in sensor networks. My work focuses on optimizing a multiple agent mission in collecting data from many static data generator points. In the optimization problem I try to minimize the total traveling time by the agents while collecting and delivering the data. I use Matlab simulation and will implement the final algorithm on actual robots in our lab.

Lima Fleck, Julia

Cassandras

Federal University of Rio De Janeiro

I work in the CODES Lab where our research interests encompass the design and control of discrete event and hybrid systems. Given that estimating the performance of Stochastic Hybrid Systems (SHS) is a difficult task, we seek to approximate the relationship between performance metrics and control/design parameters of such systems through the use of Infinitesimal Perturbation Analysis (IPA). We are currently evaluating the many issues involved in applying IPA to Stochastic Flow Models (SFM), which constitute a class of SHS where the time-driven dynamics are captured by flow dynamics and the event-driven dynamics are represented by switches that alter the system’s flow dynamics. In particular, we are working on the problem of threshold-based buffer control, for which IPA can be used to optimally determine the threshold value.

Lin, Xuchao

Cassandras

Zhejiang University

We design an optimal control framework for persistent monitoring problems where the objective is to control the movement of mobile nodes to minimize an uncertainty metric in a given mission space. For a single agent in a onedimensional space, we show that the optimal solution is obtained in terms of a sequence of switching locations, thus reducing it to a parametric optimization problem. Using Infinitesimal Perturbation Analysis (IPA) we obtain a complete solution through a gradient-based algorithm. We also propose two receding horizon controllers that are capable of obtaining a near-optimal solution on-the-fly.

Locke, Ronald "Taylor"

Paschalidis

Rennselaer Polytechnic Institute

Dissertation: Anomaly Detection with Applications in Environmental and Cyber Security Placement: MIT Lincoln Laboratory

Mirzaei, Hanieh

Vakili

Sharif University of Technology

I work in the Structural Bioinformatics Lab, headed by Sandor Vajda, where our research focuses on the recognition of proteins and small molecules by protein receptors. Studying protein-protein interactions is crucial for a better understanding of processes such as metabolic control, signal transduction, and gene regulation, whereas the ability to dock small ligands to proteins is the key to rational drug and vaccine design strategies.

Moghadasi, Mohammad

Paschalidis

Sharif University of Technology

My research interests lie in the field of Computational Biology and Bioinformatics with emphasis on Proteomics, and my current research focuses particularly on Protein-protein docking and Prediction of protein structure. My job involves different fields of science such as Molecular Biology, Statistical Physics, Molecular Dynamics, and various mathematical tools such as Nonlinear Optimization. I am working on the development of new, efficient methods to predict and analyze the proteinprotein interactions that play a crucial role in various aspects of the structural and functional organization of the cell.

29

Qian, Jing

Paschalidis

Tsinghua University

I work with the Information Sciences and Systems (ISS) research group (ECE) at Boston University. Our group’s mission is research, education, and technology transfer in all areas related to the sensing, communication, and processing of information, encompassing an extensive range of natural and man-made phenomena, as well as the design and synthesis of secure networked systems for optimum decision-making and control.

Si, Wei

Starobinski

Shanghai Jiao Tong University

I work with the Laboratory of Networking and Information Systems (NISLAB). We are involved in providing novel perspectives to modern networking with emphasis on scalability, heterogeneity, and performance. Our research roots into the mathematical fields of graph theory and algorithms, probability and stochastic processes, and coding theory with applications to security, content synchronization, network monitoring, wireless spectrum management, and advanced networking for scientific applications.

Sun, Na

Vakili

Tsinghua University

Our research develops variance reduction techniques that can be generically applied in the context of parametric estimation problems. It focuses on the method of Control Variates (CV) and proposes two broad strategies for systematic control variate selection. In the first part, by considering an alternative parameterization, it expands the range of application of a recent control variate selection approach to a wider class of problems. It is particularly relevant to sensitivity estimation problems with respect to decision parameters. In the second part, the strategy of systematic control variate selection based on approximate dynamics is considered. The general strategy is to define various approximations to the original stochastic process and use parametric quantities defined on the approximate processes as controls for the original estimation problem.

Our research aims to develop a broad framework for the analysis of the two approaches and their performances.

Tang, Xiaojin

Vakili

Peking University

My current research interests include efficient Monte Carlo simulation in the areas of finance, advised by Prof. Vakili. We consider a class of parametric estimation problems where the goal is efficient estimation of a quantity of interest for many instances that differ in some model or decision parameters. We have proposed an approach, called DataBase Monte Carlo (DBMC), which uses variance reduction techniques in a “constructive” way in this setting: Information is gathered through sampling at a set of parameter values and is used to construct effective variance reducing algorithms when estimating at other parameters. We investigate in application of DBMC along with the variance reduction techniques of importance sampling. We use the optimal sampling measure at a nominal parameter as a sampling measure at neighboring parameters and analyze the variance of the resulting important sampling estimator.

Ulusoy, Alphan

Belta

Sabanci University

My current research interests include robotics and distributed/networked control systems. As a member of the Hybrid and Networked Systems Lab (HyNeSs), I am primarily working on efficient methods for automatic planning of the optimal paths for a team of robots that satisfy a common high-level mission specification. Another ongoing project that I am also involved in aims to observe and learn about the environment using image processing, e.g. states of barriers on a road, from an automated drone that hovers over the Robotic Urban Like Environment (RULE) platform. My future research will focus on mission-oriented event-driven robotic control in a dynamic environment where robots are also required to obey a given set of rules at all times.

Wang, Jing

Paschalidis

Huazhong University of Science and Technology

I work with Professor Yannis Paschalidis in the Network Optimization and Control Lab. I have two research topics.

The main topic is cyber security, particularly Internet anomaly detection. The goal of the project is to develop algorithms to detect malicious behavior by analyzing traffic originating from particular computer servers. We have proposed four algorithms (two stochastic methods and two deterministic methods) and have validated them with labeled data generated by open source tools we have developed. The second topic is approximate dynamic programming. We apply approximate dynamic algorithms to the robot motion control problem and propose scalable algorithms with good performance guarantees.

30

Wang, Tao

Cassandras

Shanghai Jiao Tong University, Georgia Institute of Technology

We study the energy-aware battery-powered systems based on a non-ideal battery model. First, modeling a battery as a dynamic system, we adopt a Kinetic Battery Model (KBM) and formulate an optimal control problem to find out how to optimally control the discharge and recharge processes of the battery so as to maximize the work it can perform when recharging is always feasible under the constraint that discharging and recharging cannot occur at the same time. Verified by a different battery model, the effectiveness of the solution further motivates us to extend the application of KBM to more complicated battery-powered systems. For instance, we then extend the problem to settings where recharging is only occasionally feasible. Moreover, we also further our research to multi-battery systems, including battery-powered network systems. The promising results just amount to the merits of our research and motivate more investigation in future research on various energy-aware systems based on non-ideal battery models.

Zhang, Bowen

Baillieul

Zhejiang University

My research lies in the area of smart grid. I explore the possibility to schedule electricity consumption for both residential and commercial buildings where smart appliances have been adopted. Thermostatic appliances is open to demand response since the thermostatic points could be adjusted to electricity prices and temperature could be controlled within comfortable zone with predetermined policies. The smart grid research is correlated with multi-disciplinary knowledge such as dynamic programming, optimization, queuing system, and control theory. Our research also deals with the system identification of electric consumption pattern in actual buildings. We are going to deploy some current transformers to monitor the electric consumption pattern of 15 St. Mary’s, both steady state electric power flow and transient performance would be studied once the data from current transducers are collected. Aside from the issues discussed above, we are also interested in the planning of reserve selling, peak demand consumption shifting, etc.

Zheng, Jiefu

Castañón

Nanjing University

My research focuses on Max-flow Network Interdiction Problem (MNIP), which has a wide range of applications in the areas of anti-smuggle, military defense, virus control, and network security. The MNIP model can be viewed as a Stackberg game, in which the interdictor is the leader, who tries to damage the network while the evader is the follower, who will use the network later to transfer drugs between a given pair of source and terminal. The goal is to find an optimal strategy for the interdictor, which can minimize the evader’s expected max-flow. We formulate this problem as a stochastic integer programming problem and solve it with an algorithm which is modified from the canonical Branch and Bound (B\&B) method. Numerical results show that our method is much faster than any previous algorithms designed for this problem.

Zhou, Yiduo

Perkins

Tsinghua University

Dissertation: Probabilistic Policies in Re-Entrant Queueing Systems with a Product-Form Steady-State Distribution Placement: Systems Engineer, Sichuan Jidao Electrical Equipment Industrial Co., Ltd.

31

32

RESEARCH

The Division brings together faculty from across the University to pursue collaborative research in Systems Engineering. Division faculty hold primary appointments in the College of Engineering (COE) Department of Biomedical Engineering, Department of Electrical and Computer Engineering, and Department of Mechanical Engineering; the College of Arts and Sciences (CAS) Bioinformatics Program, Department of Computer Science and Department of Mathematics and Statistics; and the School of Management (SMG) Department of Operations and Technology Management.

>

There are five primary areas of research:

1 2 3 4 5

Automation, Robotics and Control, which includes teams of autonomous agents, networked control systems, image-guided surgery, control of material processes, and nanoscale systems Communications and Networking, which includes performance analysis, pricing and resource allocation, communication protocols, cyber-security, visual light communication, and optical, wireless, and sensor networks Computational Biology, which includes metabolic and gene networks, systems biology, and protein docking

Information Sciences, including signal and image processing, multi-resolution signal modeling, multidimensional detection and estimation, geometric-based modeling and estimation, image encoding/decoding, and the integration of digital signal processing with signal understanding Production, Service and Energy Systems, which includes energy economics and management, smart grids, production scheduling and planning, logistics, inventory control, supply chain management, and financial engineering

33

Research Highlights Smarter Parking, Smarter City

By Mark Dwortzan Imagine, just before your morning commute, you enter your office location and a price range into a GPS or mobile device, and it returns directions to the vacant, appropriately priced parking spot that’s closest to your office, reserved just for you.

This “smart parking” scenario may be a click away, thanks to technology that PROFESSOR CHRISTOS CASSANDRAS (ECE, SE) and systems engineering graduate student Yanfeng Geng are developing. In early August, the research team completed their first live test of a preliminary version of a smart parking system in the lower level of the 730 Commonwealth Avenue garage beneath 15 Saint Mary’s Street. In the test, a ceiling-mounted, computer-linked sensor network continuously monitored parking spot activity and incoming reservation requests. Before entering the garage, a smartphone-equipped driver submitted an ID number and reservation request through a website. After validating the ID, the system updated a light indicator on the spot (and on a map displayed on the website) from green (unoccupied) to yellow (reserved), and, when the driver parked, to red (occupied). Once the driver departed, the system switched the light back to green and charged a parking fee to the driver’s account. From the moment he entered the garage, the driver navigated his way to his designated spot in only about five seconds.

“In any major city center, about 30 percent of cars are cruising around looking for parking, wasting time—an average of 7.8 minutes, according to one estimate—and gas, and increasing air pollution and traffic congestion,” said Cassandras. “Our system could reduce all those problems and give cities a powerful traffic management tool.”

The project is funded as part of a National Science Foundation grant aimed at developing systems that reconfigure themselves in response to unexpected events and fast-changing conditions.

The BU team is one of five pursuing ways to create “smart cities” that exploit ubiquitous wireless networking; collect information about the environment from distributed sensors; make optimal decisions about transportation, communication, power use and other complexities of urban life; and invoke actuators to execute those decisions. Cassandras and Geng’s first paper on their project, slated to appear in Proceedings of the 2011 IEEE Multi-Conference on Systems and Control, was selected as one of four finalists for the September conference’s Best Student Paper Award.

By empowering drivers to reserve parking spots remotely, the research team’s technology improves upon current “parking guidance” electronic display technology, which typically

34

provides only parking information, such as the number of available parking spots at a nearby lot.

“The reservation component is critical as it overcomes the dilemma of whether or not to try to find a better spot, and eliminates chasing of the same spot by multiple drivers, which would create additional congestion and waste,” said Jonathan J. Jensen, director of business development at BU’s Technology Development office. “This type of system, once implemented, could also create a marketplace for parking spaces not feasible today including dynamic pricing and the ability to sell or reserve individual private parking spaces.”

While parking spots in the live test relied on ultrasound to determine their status, future garage parking spots may be equipped with technology that mechanically prevents access to vehicles without the proper ID. The researchers ultimately envision an intelligent, citywide GPS system that reserves the nearest available parking spot within a specified price range.

Managing hundreds of simultaneous requests for vacant parking spots throughout a city, it would direct subscribers from their present location to the closest (and if desired, cheapest) parking spot to their destination.

Having filed a provisional patent application—the first step in the patenting process—for their smart parking technology, the research team is exploring commercialization opportunities with BU’s Technology Development Office and participating in BU’s Sustainable Neighborhood Living Laboratory (SNLL), an effort to improve the sustainability and quality of life of Boston neighborhoods such as the Back Bay. “The SNLL will provide us with a test bed to demonstrate and test the technology in a real-world setting,” said Jensen. “A realistic test bed will accelerate development of the technology and help us to attract partners that can eventually bring the technology to market.”

“Batcopter” helps engineers to develop smarter unmanned flight control systems Written by Sharon Reich, Reuters Professor John Baillieul’s research group has designed an aerial vehicle to study how bats fly together without ever colliding. The “Batcopter” is helping the team study swarming bat trajectories, the data from which will allow engineers to develop smarter unmanned flight control systems. The video is featured at: www.reuters.com/video/2011/12/29/batcopterflies-to-reveal-secrets-of-swa?videoId=227644739. The video transcript is below.

It’s called a batcopter, invented by scientists at Boston University. It’s designed to fly alongside swarms of bats and record their every move. In the desert of southern Texas, thousands of Brazilian free tailed bats swarm from their caves to feed each night. They dart and dive at great speeds to catch insects—but remarkably the scientists say, they never collide.

By using the batcopter to closely observe the bats’ random yet apparently coordinated flight patterns, the team, led by Dr. John Baillieul, believe they can design mechanical unmanned flight systems that mimic the bat.

“Getting some understanding of how they’re positioned relative to one another and how they may change within the formation as they fly is an open question in biology and it’s also very interesting for people who are trying to engineer flight systems for swarms of unmanned vehicles,” reported Prof. Baillieul.

Building a quadcopter that could get off the ground while carrying a payload wasn’t easy, but the final version—made of simple materials, like carbon-fiber rods, packing foam and zip ties—has proven successful.

The vehicle is equipped with a remote-controlled, 3–D camera to record the bats in flight. A protective netting on the outside keeps the flying mammals away from the propellers. Biology student Nate Fuller helped launch the batcopter during trials in Texas. He says there are many flying creatures from which researchers can learn, but the bat, with its precise maneuvering capabilities, is unique. “You see them flutter around and kind of dive as they are going after insects. It’s not that they are poor flyers, it’s that they have a lot of control over what they’re doing, so they are making a lot of adjustments and chasing down prey in 3–dimensional space, “ said Nate Fuller. And that’s what is most intriguing to the engineers. They want to develop unmanned aerial vehicles that can fly as a group and mirror the bat’s ability to anticipate and avoid collisions with each other. Such machines could be used to monitor air quality after nuclear accidents.

“What we’re hoping to understand is how you can go from a situation where you’ve got many people assigned to flying one vehicle to a situation where one person can fly multiple vehicles.

The challenge with doing that is that the vehicles have to have a lot of autonomy themselves and they have to be able to position themselves without moment to moment input from operators,” said Prof. Baillieul. For now, the team are still examining bat trajectories and collecting other data, but with the batcopter, they say they’re getting closer to unraveling the science behind the bats’ aerial aptitude.

Data-Driven: Algorithms for Better, Cheaper Healthcare Professor Ioannis Paschalidis (ECE, SE) We’re applying data mining and optimization techniques to electronic health records and wearable sensor data to produce algorithms that assess patients’ health risks and predict future healthcare needs. The automated, dynamic system that we’re developing could enable more effective preventative care and reduce overall healthcare costs. Despite spending about $2 trillion annually on healthcare, the U.S. recently ranked lowest among 19 industrialized countries in its rate of “preventable” deaths. But medical experts believe that a more proactive, datadriven healthcare management strategy could yield dramatic improvements in health outcomes and significantly lower costs.

To that end, Professor Ioannis Paschalidis (ECE, SE), Daniel Newman, Boston Medical Center (BMC) Chief Medical Information Officer Daniel Newman, and Shiby Thomas, BMC director of enterprise analytics, are pursuing

a comprehensive and systematic approach to intelligently processing electronic health records (EHRs) and wireless body sensor data, and directing physician attention to preventing serious medical conditions. Paschalidis plans to apply data mining and optimization techniques to electronic, clinical practice data from the Boston Medical Center, associated insurance claims and information from wireless, wearable sensors to produce algorithms that place patients in different risk-based clusters (reclassifying them when indicated by new data), provide a predictive model and physician-recommended actions specific to each cluster, and indicate optimum healthcare management approaches for specific chronic conditions like diabetes and heart disease.

(From Saving Lives, Cutting Costs – Healthcare Technology Research Booklet)

35

High-Res Checkup: Tracking Single Molecules in Cells Associate Professor Sean Andersson (ME, SE) Our research centers on developing and applying new instrumentation for studying dynamics in systems with nanoscale features, especially proteins and other biomolecules.

These tools could help improve our understanding of biological processes at the molecular level and lead to new insights and even new treatments for a variety of cardiac, brain, neuroinflammatory and other disorders related to changes in the dynamics at this scale. Two well-known biological imaging techniques—atomic force microscopy (AFM) and confocal fluorescence microscopy (CFM)—use a point-like sensor which moves back and forth in a raster scan, sampling point-by-point to build an image, pixel-by-pixel. The techniques perform well in capturing static phenomena, but are far too slow to image dynamic biological processes.

Custom-built tracking confocal microscope. By actuating the relative position of the focal point of the microscope and the sample (achieved here by moving the sample with a nanopositioning stage), a single fluorescing molecule is followed over seconds to minutes. This approach allows for existing single molecule techniques to be applied over a much broader time range, thereby providing significantly more information, as well as a direct approach to understand the motion of that molecule. (From Saving Lives, Cutting Costs – Healthcare Technology Research Booklet)

Now Associate Professor Sean Andersson (ME, SE) is reconfiguring AFM and CFM with new software algorithms to perform high-speed, high-resolution dynamic imaging in order to track the behavior of single molecules in solution, and, eventually, living cells. To accelerate AFM, Andersson focuses only on dynamic processes occurring along string-like biopolymers. Using AFM measurements of biomolecules to direct the instrument’s sharp tip close to the string, he’s minimizing data collection and time needed to build an image. To accelerate CFM and effectively obtain a wide field of view of a dynamic process, Andersson moves the instrument’s detection volume through a feedback process. Based on the measurements he gets from the fluorescence of what’s moving, he advances the detection volume to follow the action.

Making the Medicine Work: Targeting Recurring Bacterial Infections with Sugar Coated Antibiotics Professor James Collins (BME, MSE, SE) Adding certain sugars to first-line antibiotics can dramatically boost their effectiveness, and may lead to better treatments for recurring bacterial infections and TB. A discovery by Professor James Collins (BME, MSE, SE) and PhD student Kyle Allison (BME’11) may deliver a new weapon in the daunting battle against recurring, potentially lethal bacterial infections such as staphylococcus and streptococcus. And the weapon—a modified form of sugar—is as widely available and cheap as it is effective, says Collins. “A spoonful of sugar makes the medicine work,” says the MacArthur genius award recipient. It does that, he says, by “waking up” stealthy, dormant bacteria that can lie in a state of metabolic hibernation for weeks or months.

36

The researchers found that sugar dramatically boosts the effectiveness of first-line antibiotics such as gentamicin. A sugar-antibiotics combination could be used to obliterate recurring, often debilitating infections such as those of the ear, throat, lungs and urinary tract, all of which can spread to the kidneys and other vital organs if left unchecked. Collins and Allison are now investigating the impact of sugar additives on the efficacy of drugs for tuberculosis, which kills approximately two million people worldwide each year.

(From Saving Lives, Cutting Costs – Healthcare Technology Research Booklet)

Managing Obesity: Boosting Immune Response, Reducing Complications Associate Professor Calin Belta (ME, SE)

Macrophages from lean and obese mice are exposed to P. gingivalis infection. The corresponding gene expression data is fed into the researchers’ computational tools to predict genes that are essential to this response.

(From Saving Lives, Cutting Costs – Healthcare Technology Research Booklet)

Our goal is to determine how obesity affects the response to infection—knowledge that could be used to develop targeted diagnostics and drugs for infections in obese patients. Experiments by Boston University Goldman School of Dental Medicine Professor Salomon Amar indicate that obese organisms have a deficient immune response to infection, leading to significantly longer-lasting illnesses.

To better understand how body mass index impacts the immune response—and to try to reverse the process, Amar is collaborating with an expert in computational modeling of gene and other networks, Associate Professor Calin Belta (ME, SE). Amar and Belta are developing a genomescale mathematical model of metabolism, signaling and gene networks in the immune system cells of lean and fat strains of mice infected with the microorganism P. gingivalis. The researchers obtain gene expression data, computationally predict which genes are restricting the immune response, and knock out or over-express those genes to see if they provoke sharp differences in immune response in the two strains.

The effort could lead to a medication rendering obese individuals less prone to infectious diseases and better equipped to mount an effective immune response, thereby reducing the complications and costs—about $150 billion annually in the U.S.—of obesity.

Missed Signals: Finding New Cancer Drug Targets Where Proteins Combine Professor Sandor Vajda (BME, SE) We have developed algorithms to predict the structure of complexes formed by protein-protein interactions involved in metabolic control, signal transduction, gene regulation and other critical processes. These algorithms could uncover new targets for drugs that combat cancer and inflammatory diseases. An interdisciplinary team of College of Engineering faculty members—Professor Sandor Vajda (BME, SE), Research Assistant Professor Dima Kozakov (BME), Professor Ioannis Paschalidis (ECE, SE) and Associate Professor Pirooz Vakili (ME, SE)—are developing powerful optimization algorithms for predicting the structures of complexes that form when two cell proteins bond together—structures that, in some cases, generate erroneous cell signaling pathways that can trigger cancer and inflammatory diseases.

prediction of interactions between biologics such as engineered antibodies and their cellular receptors offers the basis for rational design.” Many biologically important protein-protein interactions produce fragile complexes that do not remain intact long enough to permit direct experimental analysis, but optimization algorithms such as those developed by the College of Engineering team can determine the structure of these complexes with great accuracy based on the structures of the component proteins.

“Protein-protein interactions represent an increasingly important class of targets for the development of drugs,” says Vajda. “Understanding the atomic details of the complex frequently provides a good starting point for finding small molecules capable of modulating biological function. Another important application is to biotechnology, where the accurate

An interdisciplinary College of Engineering team has developed computational methods to predict the structures that form when two cellular proteins interact.

(From Saving Lives, Cutting Costs – Healthcare Technology Research Booklet)

37

Sharper Image: A Blur-Free Scanning Method for Improved Heart Monitoring Professor W. Clem Karl (ECE, SE)

We’re working to enable high-resolution, high signal-to-noise imaging of coronary artery inflammation through PET-CT scans.

The technology could be used to monitor plaque development in high-risk patients and to validate the effectiveness of potential drugs designed to reduce arterial inflammation.

The leading cause of mortality in industrialized nations, coronary artery disease is characterized by chronic inflammation and plaque formation in the arterial walls, which, if not properly diagnosed and treated, can lead to a heart attack.

Accurate detection of the degree of inflammation could help prevent heart attacks, but current diagnostic techniques, some quite invasive, fall short. Even positron emission tomography (PET), which can noninvasively image arterial inflammation, is compromised by severe blurring, which is induced by cardiac and respiratory motion during lengthy PET acquisitions.

In a study evaluating the feasibility of high resolution PET imaging to enhance coronary artery inflammation detection, College of Engineering researchers showed that their method corrects for both cardiac and respiratory motion in a dual step algorithm.

Now Professor W. Clem Karl (ECE, SE), graduate student Sonal Ambwani (ECE, PhD’11) and physicians from Massachusetts General Hospital have joined forces to develop an advanced technique that combines PET and CT scanning to eliminate that blurring and, for the first time, provides noninvasive, direct, sharp in vivo images of developing coronary plaques. Combining image processing and motion estimation techniques to allow direct visualization of inflamed arteries, the new PET-CT coronary artery inflammation detection method compensates for cardiac and respiratory motion and boosts image resolution in computer simulations. Next step: clinical studies.

(From Saving Lives, Cutting Costs – Healthcare Technology Research Booklet)

Using Overhead Lights for Wireless Communications Promises to Substantially Increase the Capacity of Existing Wireless Networks

By Mike Rahaim and Thomas Little (ECE, SE)

Outcome/Accomplishment Researchers from the NSF Smart Lighting Center have demonstrated the capacity for novel energy-efficient LED lighting to provide data access networks that are complementary to existing wireless systems. By modeling the line-of-sight characteristics of light and the capacity for light to be used to communicate data bits, LED lighting has been shown to have very high capacity for supporting wireless communications that have now become ubiquitous. Moreover, light-based wireless communications can ‘reuse’ the available lighting spectrum in very small spaces – small lighting cells that are placed at approximately 1m apart can serve independent wireless channels

38

whereas existing wireless (WiFi) transmitters compete for available spectrum. Center researchers demonstrated how the combination of the LED light-based cells and existing WiFi can complement each other in providing wireless access that can scale — expand to meet increasing data demand, by the addition of lighting cells and/or WiFi access points.

Impacts and benefits With the evolution of mobile telephony and personal computing to modern smartphones and tablets has come a dramatic increase demand for wireless data delivery. These mobile devices are readily available to render rich media delivery

Using Overhead Lights for Wireless Communications Promises to Substantially Increase the Capacity of Existing Wireless Networks (continued) including video and their users are actively generating this data traffic demand, sometimes beyond the limits of the network service providers. Cisco forecasts that fixed position wireless traffic will see a 39% annual growth rate between 2010 and 2015; however the capacity of RF communication techniques has not seen comparable gains in recent years. While user demand is increasing much faster than RF capacity, we have begun to see a wireless traffic jam in the RF spectrum. Without mitigation, we are on a path of ‘data starvation’ as mobile platforms are increasingly adopted in existing applications and in emerging applications including heath care, transportation, and commerce.

The NSF Smart Lighting ERC team approached this challenge from a systems perspective – by understanding the multiple interacting demands imposed on indoor environments related to health, safety, productivity, and energy efficiency and by leveraging the skills of a diverse team of scientists and engineers in the context of lighting systems. The result is a technical solution that intersects critical societal outcomes with diverse specialized knowledge for constructing energy efficient LED-based communications. The critical discovery reported here establishes the motivation for the implementation of a cooperative system that uses WiFi and LED lighting devices in development to provide scalable performance and operating characteristics relating to wireless communication.

in aggregate throughput within the environment. We have shown through simulation that these gains are scalable with the number of VLC channels and that a cooperative system performs better than either system acting alone under static conditions.

Current research within the Smart Lighting ERC is focusing on optimal protocols for traffic distribution with considerations for mobile users and dynamic signal conditions. As a user traverses through an environment, they should dynamically connect to the network via the optimal channel. The concept of handover determines when the traffic flow from AP to user should be routed to a different channel. This can include transfer from one cell to another or between the RF and VLC channels. Simple protocols observe received signal from multiple channels and select the optimal; however the research in the ERC focuses on predictive methods that account for estimated future conditions in the handover decision. Since there is innate overhead involved in handover, predictive methods allow a system to weigh the benefit of a handover versus the overhead necessary to actually reroute traffic. When considering a mobile user, predictive handover decisions estimate a user’s motion path in order to determine when a handover is unnecessary—as in the case when a user is passing through the outer edge of a cell.

Additionally, they can observe VLC signal conditions to predict whether a signal loss is due to a blocking condition or a user moving out of range of the signal. In the former it is optimal to delay the handover with the assumption that the signal will return while the latter benefits from an immediate handover, as it is unlikely that the user will come back in range before the handover is complete.

Explanation and Background The work stems from the need for additional wireless capacity due to growing demand for wireless services and applications.

Two trends that come from CISCO’s Visual Network Index report show that consumer traffic will be dominated by internet video and that the majority of wireless traffic is expected to come from “fixed-position” wireless devices. Considering both of these trends, cooperative systems as proposed in this work provide enormous benefits for wireless communication. First, the asymmetric nature of the proposed system is a great fit for internet video systems that are predominantly downstream traffic. This alludes to the idea that a large percentage of wireless traffic caused by video streaming can be offloaded from the RF medium to the Visible Light Communication (VLC) channels. Additionally, the indication that most wireless traffic comes from fixed-position devices would allow a mobile user to move to a VLC hotspot and remain in place during use – hence removing much of the overhead associated with handover as a user traverses the environment.

Figure 1: A conceptual heterogeneous wireless communication system where traditional WiFi is supplemented with asymmetric VLC channels.

In a cooperative system, VLC capable users benefit from higher data rates and channel reuse provided by VLC cells while the removal of congestive traffic from the RF medium provides benefits to non-VLC users. As users contend for the RF medium, the probability of a packet collision is reduced as high data rate video streams are offloaded to the VLC channels. This improves the throughput of the RF channel while adding the capacity provided by VLC channels – leading to drastic gains

39

External Research Funding Research funding is pursued in affiliation with the Center for Information and Systems Engineering.

The following table delineates the new, continuing, and supplemental grants awarded to Division faculty.

The total lifetime award funding level of all participating and affiliated faculty is approximately $49.1 M.

Dept

40

PI

Title of Project

Granting Agency

Type

Combined Source Total

ECE, COE

Alanyali, Murat

Nets: Small: Periodic Schedules for Energy-Efficient Wireless Coexistence

National Science Foundation

Continuing

$345,317

ECE, COE

Alanyali, Murat; Starobinski, David

Netse: Medium: Collaborative Research: Promoting Secondary Spectrum Markets via Profitability-Driven Methods and Algorithms

National Science Foundation

Continuing

$714,501

ME, COE

Andersson, Sean

Career: Nonlinear Control for Single Molecule Tracking (in conjunction with CNN)

National Science Foundation

Continuing

$400,000

ME, COE

Andersson, Sean

Career: Nonlinear Control for Single Molecule Tracking (REU Supplement) (in conjunction with CNN)

National Science Foundation

Supplement

$30,000

ME, COE

Andersson, Sean

A Novel SFM-Based Method for Studying Single Molecule Dynamics

Department of Health and Human Services

Continuing

$295,924

ME, COE

Andersson, Sean

IDBR: Simultaneous Tracking of Multiple Particles in Confocal Microscopy (REU Supplement)

National Science Foundation

Supplement

$20,000

ME, COE

Andersson, Sean

IDBR: Simultaneous Tracking of Multiple Particles in Confocal Microscopy

National Science Foundation

Continuing

$273,166

ME, COE

Andersson, Sean; Belta, Calin

A formal approach to the control of stochastic dynamical systems

National Science Foundation

Continuing

$240,000

ME, COE

Andersson, Sean; Belta, Calin

A formal approach to the control of stochastic dynamical systems (REU Supplement)

National Science Foundation

Supplement

$5,000

ME, COE

Andersson, Sean; Broude, Natalia

RNA Localization and Movement in Bacteria

National Science Foundation

New

$253,669

ME, COE

Airfoils: Animal Inspired Robust Flight Baillieul, John; with Outer and Inner Loop Strategies Belta, Calin; Paschalidis, Ioannis (MURI)

Department of Defense

Continuing

$3,127,730

ME, COE

Baillieul, John; Casta帽贸n, David

Behavioral Dynamics in the Cooperative Control of Mixed Human/Robotic Teams (MURI-07)

Department of Defense

Continuing

$1,511,222

ME, COE

Belta, Calin

Department of Defense Specification Languages and Distributed Control Schemes for Teams of Unmanned Vehicles

Continuing

$229,101

ME, COE

Belta, Calin

Formal Verification and Synthesis of Control and Communication Strategies for Teams of Unmanned Vehicles

Department of Defense

Continuing

$299,997

ME, COE

Belta, Calin; Cassandras, Christos

Smart Adaptive Reliable Teams for Persistent Surveillance

Office of Naval Research

Continuing

$4,500,000

Dept

PI

Title of Project

Granting Agency

Type

Combined Source Total

ME, COE

Belta, Calin

Career: Hierarchical Abstractions for Planning and Control of Robotic Swarms

National Science Foundation

Continuing

$400,000

ME, COE

Belta, Calin

CSR-EHCS(EHS), SM: A Formal Approach to Control of Hybrid Systems with Applications to Mobile Robotics

National Science Foundation

Continuing

$300,000

ME, COE

Belta, Calin

CPS: Medium: Collaborative Research: Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems

National Science Foundation

Continuing

$400,000

ME, COE

Belta, Calin

Collaborative Research: The Dynamics of the Innate Immune Systems: A Study Of The Toll-Like Receptors (TLR)

National Science Foundation

New

$142,512

ME, COE

Belta, Calin

Instrumentation to Support Research on Provably Safe and Animal-Inspired Flight

Department of Defense

New

$235,918

CS, CAS

Bestavros, Azer

Tc: Large: Collaborative Research: Towards Trustworthy Interactions In The Cloud

National Science Foundation

Continuing

$3,000,000

ME, COE

Caramanis, Michael; Baillieul, John

EFRI-SEED Framework for Advanced Sustainable Building Design

National Science Foundation

Continuing

$1,986,606

ME, COE

Caramanis, Michael

Transmission Topology Control (subcontract from Charles River Associates)

Department of Energy/ ARPA-E

New

$188,000

ECE, COE

EFRI-ARESCI: Event-Driven Sensing Cassandras, for Enterprise Reconfigurability and Christos; Paschalidis, Ioannis; Optimization Bestavros, Aver; Gao, R.; Gong, W.

NSF Emerging Frontiers of Research and Innovation Initiative

Continuing

$1,999,573

ECE, COE

Cassandras, Christos

Real-Time Optimization in Complex Stochastic Environment

Air Force Office of Scientific Research

New

$389,647

ECE, COE

Castañón, David; Karl, W. Clem

ALERT: Awareness and Location of Explosives-Related Threats

Department of Homeland Security

Continuing

$1,125,000

ECE, COE

Castañón, David

ALERT: Core Grant Supplement- Video Analytics Transition Task

Northeastern University

New

$97,164

ECE, COE

Castañón, David

MURI: Fusion and Sensor Management for Automatic Target Exploitation

Department of Defense

Continuing

$265,000

ECE, COE

Castañón, David

Games, Information, and Deception Exploitation for Adversarial Network Systems

Department of Defense

Continuing

$114,483

BME, COE

Collins, James

A Network Biology Approach to Antibiotic Action and Bacterial Defense Mechanisms (Director’s Pioneer Award)

Department of Health and Human Services

Continuing

$812,500

BME, COE

Collins, James

A Network Biology Approach to Aging: Integrating Synthetic Biology and Systems Biology

Ellison Medical Foundation

Continuing

$243,750

41

Dept

42

PI

Title of Project

Granting Agency

Type

Combined Source Total

BME, COE

Collins, James

Comparative Phenotypic, Functional, and Molecular Analysis of ESC and IPSC

Department of Health and Human Services

Continuing

$151,519

BME, COE

Collins, James

ImmGen: A Gene Expression Compendium for Immune Cells

Department of Health and Human Services

Continuing

$190,850

BME, COE

Collins, James

Boston OAIC: A Translational Approach to Function Promoting Anabolic Therapies

Department of Health and Human Services

Continuing

$65,366

BME, COE

Collins, James

SysCODE: Tooth Germ Design and Engineering

Department of Health and Human Services

Continuing

$72,407

BME, COE

Collins, James

Synthetic Mammalian Gene Regulatory Circuits For In Vivo Biomedical Applications

Department of Defense/ARO

New

$790,426

BME, COE

Collins, James

Customized Stem Cells For Clinical Application In Blood Disorders

NIH/ National Institute of Diabetes and Digestive and Kidney Diseases

New

$175,000

BME, COE

Collins, James; Belta, Calin

Utilizing Synthetic Biology To Create Programmable Micro-Bio-Robots

Department of Defense/ONR

New

$500,000

BME, COE

Collins, James

Synthetic Probiotic That Will Identify and Prevent Cholera

Bill and Melinda Gates Foundation

New

$100,000

CS, CAS

Crovella, Mark

Passive Methods for Internet Topology Discovery

Department of Defence/National Geospatial Intelligence Agency

Continuing

$230,000

CS, CAS

Crovella, Mark

Computing Innovations Fellows Project

NSF Computing Research Association

Continuing

$127,500

CS, CAS

Crovella, Mark

Instrumentation and Measurement for GENI

National Science Foundation/University of Wisconsin

Continuing

$27,913

CS, CAS

Crovella, Mark

Nets: Small: Understanding Communication Strategies For Ad Hoc Networks

National Science Foundation

New

$390,853

CS, CAS

Crovella, Mark

National Science NeTS: Small: New Directions in Network Dimensionality Reduction for Routing and Foundation Beyond

Continuing

$150,000

CS, CAS

Crovella, Mark; Homer, Steven; Reyzin, Leonid; Trachtenberg, Ari; Goldberg, Sharon; Karpovsky, Mark; Starobinski, David; Triandopoulos, Nikolaos; Zlateva, Tanya

TC: Large: Securing the Open Softphone

National Science Foundation

Continuing

$2,992,896

ME, COE

Dupont, Pierre

Steerable MEMS Instruments for Precise Intracardiac Surgery (Subcontract via Children's Hospital Boston)

Department of Health and Human Services

Continuing

$41,101

ME, COE

Gevelber, Michael

Real-Time Control for Engineering Electrospun Nanofiber Diameter Distributions for Advanced Applications

National Science Foundation

Continuing

$224,100

Dept

PI

Title of Project

Granting Agency

Type

Combined Source Total

ME, COE

Gevelber, Michael

Development of Software System Prototype for Optimized Commissioning and Adaptive Control of Building HVAC

Comm.

Of Mass./ Massachusetts Technology

New

$40,000

ME, COE

Gevelber, Michael

Analysis Of Process Dynamics And Sensing For Development Of Robust Electrospinning Process Control

Department of Defense/Army

New

$85,793

ECE, COE

Ishwar, Prakash

Dynamic Information Collection and Fusion

Department of Defense

Continuing

$140,000

ECE, COE

Ishwar, Prakash

Career: Information-Scaling Lawes, Bit-Conservation Principles, And Robust Coding Architectures in Sensor Networks

National Science Foundation

Continuing

$400,000

ECE, COE

Ishwar, Prakash

CIF: Small: Collaborative Research: Towards a Paradigm-Shift in Distributed Information Processing - Harnessing Group Structure and Interaction

National Science Foundation

Continuing

$249,999

ECE, COE

Karl, W. Clem

A Biomedical Imaging Acceleration Testbed

Northeastern University

Continuing

$35,966

ECE, COE

Karl, W. Clem

IEEE International Symposium on Biomedical Imaging 2012

National Science Foundation

New

$15,000

ECE, COE

Karl, W. Clem

IEEE International Symposium on Biomedical Imaging 2012

NIH/National Institute of Biomedical Imaging & Bioengineering

New

$15,000

Mathematics, CAS

Kolaczyk, Eric

Statistical Propagation of Low-Level Uncertainty to High-Level Knowledge Tasks in Network Information Environments

Office of Naval Research

Continuing

$586,046

Mathematics, CAS

Kolaczyk, Eric; Schaus, Scott

Predicting Drug Mechanism Via Chemogenomic Profiling

National Institute of General Medical Sciences

Continuing

$1,097,694

Mathematics, CAS

Kolaczyk, Eric; Crovella, Mark

Wide-Aperture Traffic for Internet Security

National Science Foundation

Continuing

$723,053

Mathematics, CAS

Kolaczyk, Eric; Dupuis, Josee

Multi-cohort, Network-guided Regression NIH/National Institute for GE/GG Interactions in Disease Traits of Diabetes and Digestive and Kidney Diseases

New

$449,987

ECE, COE

Little, Thomas; Wagenaar, R.

Claude D. Pepper Continuous Monitoring of Activities in the Home and Community-Based Setting: Older Americans Independence Centers Activity Risk Factors for Falls Pilot/Exploratory Project

Continuing

$200,000

ECE, COE

Little, Thomas; Konrad, Janusz; Ishwar, Prakash

Nets-Noss: REU Supplement, Localized Computation and Network Path Formation to Enable Prevasive Video Sensing

Supplement

$16,000

National Science Foundation

43

Dept

44

PI

Title of Project

Granting Agency

Type

Combined Source Total

ECE, COE

Little, Thomas

Consortium for Ocean Sensing in the Nearshore Environment

Department of Commerce

Continuing

$102,274

ECE, COE

Little, Thomas; Altug, Hatice; Unlu, M.

NSF Engineering Research Center for Smart Lighting - Administration

National Science Foundation

Continuing

$718,596

CS, CAS

Matta, Abraham

CNS-Nets: Medium: A Recursive Internet Architecture

National Science Foundation

Continuing

$560,000

CS, CAS

Matta, Abraham

Graduate Assistance in Areas of National Need in Computer Science

Department of Education

Continuing

$393,795

CS, CAS

Matta, Abraham

TREND: Towards Real Energy-efficient Network Design

European Union

Continuing

$3,686,070

CS, CAS

Matta, Abraham; Kfoury, Assaf; Bestavros, Azer

Genericity in Network Software: Using Type Systems and Formal Methods to Harness Diverse Theories and Calculi for Scalable and Safe Compositions of Network Services.

National Science Foundation

Continuing

$400,000

ECE, COE

Nazer, Bobak

Computation Codes - A New Tool For Multi-User Communication (subcontract from University of California, Berkeley)

National Science Foundation

New

$102,863

ECE, COE

Paschalidis, Ioannis; Kozakov, Dmytro.; Vakili, Pirooz

Refinement Methods for Protein Docking based on Exploring Multi-Dimensional Energy Funnels

National Institute of General Medical Sciences

Continuing

$1,580,473

ECE, COE

Paschalidis, Ioannis; Cassandras, Christos

Distributed Wireless Sensor Networks for Long-Term Deployments

Department of Energy

Continuing

$1,152,117

ECE, COE

Paschalidis, Ioannis; Cassandras, Christos; Crovella, Mark; Barford, P.

A Coordinated Approach to CyberSituation Awareness Based on Traffic Anomaly Detection

Army Research Office

Continuing

$600,000

ECE, COE

Paschalidis, Ioannis; Cassandras, Christos

Intelligent Systems and Networks

CISE Collaboration with the University of Cyprus/KIOS Center

Continuing

$21,645

ECE, COE

Saligrama, Venkatesh

Career: A Systems Approach to Networked Decision Making in Uncertain Environments

National Science Foundation

Continuing

$160,000

ECE, COE

Saligrama, Venkatesh

CPS: Medium: Collaborative Research: The Foundations of Implicit and Explicit Communication in Cyberphysical Systems

National Science Foundation

Continuing

$433,000

ECE, COE

Saligrama, Venkatesh

NURI Grant: Video Analytics: An Event Based Statistical Approach

National Geospatial Intelligence Agency

Continuing

$750,000

Title of Project

Granting Agency

PI

ECE, COE

Saligrama, Venkatesh

Smart Distributed Sensor Fields

Department of Defense/Navy

Continuing

$100,649

ECE, COE

Saligrama, Venkatesh; Konrad, Janusz

From Frames to Events: A Statistical Approach to Activity Analysis in MultiCamera Systems

National Science Foundation

Continuing

$507,000

ECE, COE

Saligrama, Venkatesh

A Pixel-Level Statistical Approach for Image/Video Event Detection

MIT/Lincoln Laboratory

Continuing

$80,000

ECE, COE

Starobinski, David; Trachtenberg, Ari

CIF: Small: Large-Scale Software Dissemination In Stochastic Wireless Networks

U.S. National Science Foundation

Continuing

$468,731

ECE, COE

Starobinski, David

NeTS: Small: Collaborative Research: Boosting Inter Domain Scheduled Dynamic Circuit Services (SDCS)

National Science Foundation

New

$250,000

ECE, COE

Starobinski, David; Trachtenberg, Ari

FAUST: Finite-Field Algebra for Unbeatable Situational Awareness in Tactical Networks (Phase II)

Department of Defense

New

$210,000

ECE, COE

Trachtenberg, Ari; Starobinski, David

Wireless Sensor Networks In An Automotive Environment

General Motors Holdings LLC

New

$184,236

BME, COE

Vajda, Sandor

Computational Mapping of Proteins for the Binding of Ligands (in conjunction with BioMolecular Engineering Research Center)

Department of Health and Human Services

Continuing

$1,365,877

BME, COE

Vajda, Sandor

A Multistage Approach to ProteinProtein Docking

Department of Health and Human Services

Continuing

$261,196

BME, COE

Vajda, Sandor

ABI Development: Refinement Algorithms and Server for Protein Docking

National Science Foundation

New

$552,203

BME, COE

Vajda, Sandor

STTR: High-Throughput Portable Software for Fragment-Based Drug Design

Acpharis, Inc.

New

$40,968

BME, COE

Vajda, Sandor

Superfund Basic Research: Research Support Core - Bioinformatics and Molecular Modeling (in conjunction with BioMolecular Engineering Research Center)

Department of Health and Human Services

Continuing

$211,797

New Funding

Type

Combined Source Total

Dept

$5,209,239

Continuing Funding

$43,914,500

Total Funding

$49,123,739

45

Faculty Publications & ACTIVITY Books A. BESTAVROS and A. Kfoury (editors), “Practical and Lightweight Formal Methods for the Design, Modeling and Analysis of Software Systems”, (256 pages), Cambridge University Press, in press, 2012.

Interaction Dynamics: The Interface of Humans and Smart Machines, 100(3): 776–801, March, 2012, DOI: 10.1109/ JPROC.s011.2174101.

Journal Articles (refereed)

W.-S. Wong and J. BAILLIEUL, “Control Communication Complexity of Distributed Actions”, IEEE Transactions on Automatic Control, in press, October 2012.

J. Chen, K. H. Johansson, S. Olariu, I. C. PASCHALIDIS, and I. Stojmenovic, “Special Issue on Wireless Sensor and Actuator Networks”, Edited Volume, IEEE Transactions on Automatic Control, 56(10), October 2011.

A. Daoud, M. ALANYALI, and D. STAROBINSKI, “On Equilibrium Analysis of Acyclic Multiclass Loss Networks under Admission Control”, Operation Research Letters, 39(6): 406–411, November 2011.

Book Chapters

M. Dashouk and M. ALANYALI, “A Utility Based Approach to Secondary Spectrum Sharing”, EURASIP Journal on Wireless Communications and Networking 2011:32, 2011.

Y. Chen, X. C. Ding, A. Stefanescu, and C. BELTA, “A Formal Approach to Deployment of Robotic Teams in an UrbanLike Environment”, in: Springer Tracts in Advanced Robotics, Springer-Verlag, Berlin, 83: 313-327, 2012.

C. G. CASSANDRAS, and C. G. Panayiotou, “Concurrent Simulation for On-line Optimization of Discrete Event Systems”, in: Real-time Simulation Technologies: Principles, Methodologies, and Applications, K. Popovici, P. Mosterman, (editors), CRC Press, 2012.

L. B. LEVITIN, T. Toffoli, “Work Recoverable From Two-particle Information” in: Quantum Communication, Measurement and Computing, T. Ralph and P.K. Lam, (editors), American Institute of Physics, 85–88, Melville, NY, 2011.

S. Guo and T. D. C. LITTLE, “Video Delivery in Wireless Sensor Networks”, in: Streaming Media Architectures, Techniques, and Applications: Recent Advances, IGI Global, 239–260, 2011.

L. Chiaraiglio and A. MATTA. “EnergyAware Network Management and Content Distribution” in: Green Communications: Theoretical Fundamentals, Algorithms, and Applications, J. Wu, S. Rangan, H. Zhang (editors), CRC Press, 2012.

M. Brown, E. PEKÖZ, and S. M. Ross, “Finding expectations of monotone functions of binary random variables by simulation, with applications to reliability, finance, and round robin tournaments”, in: Stochastic Analysis, Stochastic Systems, and Applications to Finance, A. Tsoi, D. Nualart, G. Yin (editors), 2011.

46

D. R. Hall, D. Kozakov, and S. VAJDA, “Analysis of protein binding sites by computational solvent mapping”, in: Methods Mol. Biol., in press, 2012.

M. ALANYALI and M. Dashouk, “Occupancy distributions of homogeneous queueing systems under opportunistic scheduling”, IEEE Transactions on Information Theory, 57(1): 256–266, January 2011.

A. Daoud, M. ALANYALI, and D. STAROBINSKI, “Reservation Policies for Revenue Maximization from Secondary Spectrum Access in Cellular Networks”, Elsevier Journal of Computer Networks, 55(1): 214–224, January 2011.

J. BAILLIEUL, N Leonard, and K. Morgansen, “Interaction Dynamics: The Interface of Humans and Smart Machines”, Proceedings of the IEEE Special Issue on Interaction Dynamics: The Interface of Humans and Smart Machines, 100(3): 567–570, March 2012, DOI: 10.1109/JPROC.s011.2180055, G.Richard, C. BELTA, A. Julius, and S. Amar, “Controlling the Outcome of the Tolllike Receptor Signaling Pathways”, PLoS ONE, 7(2): e31341. DOI: 10.1371/ journal. pone.0031341, 2012.

X. C. Ding, M. Kloetzer, Y. Chen, and C. BELTA, “Automatic Deployment of Robotic Teams: An Automata Theoretic Approach”, IEEE Robotics and Automation Magazine, 18(3): 75–86, 2011.

A. LaViers, Y. Chen, C. BELTA, and M. Egerstedt, “Automatic Sequencing of Ballet Poses”, IEEE Robotics and Automation Magazine, 18(3): 87–95, 2011.

M. Lahijanian, S. B. ANDERSSON, and C. BELTA, “Temporal logic motion planning and control with probabilistic satisfaction guarantees”, IEEE Transactions on Robotics, 28(2): 396–409, 2012.

S. Smith, J. Tumova, C. BELTA, and D. Rus, “Optimal Path Planning for Surveillance with Temporal Logic Constraints”, International Journal of Robotics Research, 30(14): 1695–1708, 2011.

Z. Shen and S. B. ANDERSSON, “Optimal measurement constellation of the fluoroBancroft localization algorithm for position estimation in tracking confocal microscopy”, Mechatronics, special issue on Micro- and Nanoscale Dynamics and Control, in press, 2012.

Y. Chen, D. Ding, A. Stefanescu, and C. BELTA, “A Formal Approach to the Deployment of Distributed Robotic Teams”, IEEE Transaction on Robotics, 28(1): 158–171, 2012.

D. Baronov and J. BAILLIEUL, “A Motion Description Language for Robotic Reconnaissance of Unknown Fields”, European J. Control, (5–6): 512–525, September - December 2011, DOI: 10:3166/ EJC.17.512–525, www.bu.edu/iml/files/2011/10/ ReactivePrimsEJCSubmissionV2.pdf D. Baronov and J. BAILLIEUL, “Decision Making for Rapid Information Acquisition in the Reconnaissance of Random Fields”, Proceedings of the IEEE Special Issue on

B. Yordanov, J. Tumova, C. BELTA, I. Cerna, and J. Barnat, “Temporal Logic Control of Discrete-Time Piecewise Affine Systems”, IEEE Transactions on Automatic Control, 57(6): 1491-1504, 2012.

J. Londono, A. BESTAVROS, and N. Laoutaris, “Trade and Cap: A CustomerManaged, Market-Based System for Trading Bandwidth Allowances at a Shared Link”, The Computer Networks Journal (COMNET): The International Journal of Computer and Telecommunications Networking, 55(2011): 3959–3974, September 2011.

Journal Articles (refereed) (continued) N. Laoutaris, G. Smaragdakis, K. Oikonomou, I. Stavrakakis, and A. BESTAVROS, “Distributed Server Migration for Scalable Internet Service Deployment”, IEEE/ACM Transactions on Networking, 2011.

H. Morcos, G. Atia, A. BESTAVROS, and A. MATTA, “An Information Theoretic Framework for Field Monitoring Using Autonomously Mobile Sensors”, Ad Hoc Networks: Special Issue on Distributed Computing in Sensor Systems, 9(6): 1049–1058, August 2011.

P. A. Ruiz, J. M. FOSTER, A. Rudkevich, and M. C. CARAMANIS, “Tractable Transmission Topology Control using Sensitivity Analysis”, IEEE Transactions on Power Systems, in press, 2012.

J. M. FOSTER, G. Trevino, M. C. CARAMANIS, and M. Kuss “Plug-In Electric Vehicle Coordination with Renewable Generation: Theory and Application”, in press, IEEE Systems Journal, 2012.

C. YAO, and C. G. CASSANDRAS, “Resource Contention Games in Multiclass Stochastic Flow Models”, Nonlinear Analysis: Hybrid Systems, 5(2): 301–319, 2011.

C. YAO, and C. G. CASSANDRAS, “Perturbation Analysis and Optimization of Multiclass Multi-objective Stochastic Flow Models”, J. of Discrete Event Dynamic Systems, 21(2): 219–256, 2011.

C. G. CASSANDRAS, and I. C. PASCHALIDIS, “Optimizing the Transportation System’s Response Capabilities”, J. of Homeland Security, Special Issue on “Catastrophes and Complex Systems: Transportation”, June 23, 2011.

C. YAO, and C. G. CASSANDRAS, “Perturbation Analysis of Stochastic Hybrid Systems and Applications to Resource Contention Games”, Frontiers of Electrical and Electronic Engineering in China, 6(3): 453–467, 2011.

A. KEBARIGHOTBI, and C. G. CASSANDRAS, “Optimal Scheduling of Parallel Queues Using Stochastic Flow Models”, J. of Discrete Event Dynamic Systems, 21(4): 547–576, 2011.

M. ZHONG, and C. G. CASSANDRAS, “Distributed Coverage Control and Data Collection with Mobile Sensor Networks”, IEEE Trans. on Automatic Control, AC56(10): 2445–2455, 2011.

T. WANG, and C. G. CASSANDRAS, “Optimal Control of Batteries with Fully and Partially Available Rechargeability”, Automatica, in press, 2012.

C. YAO, and C. G. CASSANDRAS, “Using Infinitesimal Perturbation Analysis of Stochastic Flow Models to Recover Performance Sensitivity Estimates of Discrete Event Systems”, J. of Discrete Event Dynamic Systems, in press, 2012.

C. YAO, and C. G. CASSANDRAS, “A Solution to the Optimal Lot Sizing Problem as a Stochastic Resource Contention Game”, IEEE Trans. on Automation Science and Engineering, in press, 2012.

G. Genovese, A. Ergun, S. A. Shukla, B. Campos, J. Hanna, P. Ghosh, S. N. Quayle, K. Rai, S. Colla, H. Ying, C. J. Wu, S. Sarkar, Y. Xiao, J. Zhang, H. Zhang, L. Kwong, K. Dunn, W. R. Wiedemeyer, C. Brennan, H. Zheng, D. L. Rimm, J. J. Collins, and L. Chin, “MicroRNA regulatory network inference identifies miR-34a as a novel regulator of TFG-ß signaling in glioblastoma”, Cancer Discovery, 2: 736–749, 2012.

D. Marbach, J. C. Costello, R. Kuffner, N. M. Vega, R. J. Prill, D. M. Camacho, K. R. Allison, The Dream5 Consortium, M. Kellis, J. J. Collins, and Stolovitzky, “Wisdom of crowds for robust gene network inference”, Nature Methods, 9: 796–804, 2012.

R. M. Kumar and J. J. Collins, “Making a noisy gene: HDACs turn up the static”, Molecular Cell, 47: 151–153, 2012.

D. J. Dwyer, D. M. Camacho, M. A. Kohanski, J. M. Callura, and J. J. Collins, “Antibiotic-induced bacterial cell death exhibits physiological and biochemical hallmarks of apoptosis”, Molecular Cell, 46: 561–572, 2012.

J. J. Foti, B. Devadoss, J. A. Winkler, J. J. Collins, and G. C. Walker, “Oxidation of the guanine nucleotide pool underlies cell death by bactericidal antibiotics”, Science, 336: 315–319, 2012.

N. M. Vega, K. R. Allison, A. S. Khalil, and J. J. Collins, “Signaling-mediated bacterial persister formation”, Nature Chemical Biology, 8: 431–433, 2012.

R. M. Kumar and J. J. Collins, “Cellular signal processing: out of one, many”, Molecular Cell, 45: 143–144, 2012.

H. H. Lee and J. J. Collins, “Microbial environments confound antibiotic efficacy”, Nature Chemical Biology, 8: 6–9, 2012.

K. Kim, R. Zhao, A. Doi, K. Ng, J. Unternaehrer, P. Cahan, H. Hongguang, Y. H,

Loh, M. J. Aryee, M. W. Lensch, H. Li, J. J. Collins, A. P. Feinberg, and G. Q. Daley, “Donor cell type can influence the epigenome and differentiation potential of human induced pluripotent stem cells”, Nature Biotechnology, 29: 1117–1119, 2011.

P. Belenky and J. J. Collins, “Antioxidant strategies to tolerate antibiotics”, Science, 334: 915–916, 2011.

K. R. Allison, M. P. Brynildsen, and J. J. Collins, “Heterogeneous bacterial persisters and engineering approaches to eliminate them”, Current Opinion in Microbiology, 14: 593–598, 2011.

Y. H. Loh, L. Yang, C. Y. Yang, H. Li, J. J. Collins, and G. Q. Daley, “Genomic approaches to deconstruct pluripotency”, Annual Review of Genomics and Human Genetics, 12: 165–185, 2011.

K. R. Allison, M. P. Brynildsen, and J. J. Collins, “Metabolite-enabled eradication of bacterial persisters by aminoglycosides”, Nature, 473: 216–220, 2011.

G. Balázsi, A. van Oudenaarden, and J. J. Collins, “Cellular decision making and biological noise: from microbes to mammals”, Cell, 144: 910–925, 2011.

K. R. Allison and J. J. Collins, “Bacteria as control engineers”, Molecular Cell, 41: 4–5, 2011.

A. S. Khalil, T. K. Lu, C. J. Bashor, C. L. Ramirez, N. C. Pyenson, J. K. Joung, J. J. Collins, “A synthetic biology framework for programming eukaryotic transcription functions”, Cell, 150: 647–658, 2012.

J. J. Collins, “Synthetic biology: bits and pieces come to life”, Nature, 483: S8– S10, 2012.

W. C. Ruder, T. Lu, and J. J. Collins, “Synthetic biology moving into the clinic,” Science, 333: 1248–1252, 2011.

E. C. O’Shaughnessy, S. Palani, J. J. Collins, and C. A. Sarkar,”Tunable signal processing in synthetic MAP kinase cascades”, Cell, 144: 119–131, 2011.

P. Vartholomeos, L. Qin, and P. DUPONT, “MRI-powered Actuators for Robotic Interventions”, Conf Proc IEEE/RSJ Intelligent Robots and Systems (IROS), 2011:4508–4515, Best Paper Award, Finalist for IROS 2011.

H. Ren, N. Vasilyev, and P. DUPONT, “Detection of Curved Robots using 3D Ultrasound”, Conf Proc IEEE/RSJ Intelligent Robots and Systems (IROS), 2083–2089, 2011.

47 47

Journal Articles (refereed) (continued) A. Gosline, N. Vasilyev, E. Butler, C. Folk, A. Cohen, R. Chen, N. Lang, P. del Nido, and P. DUPONT, “Percutaneous Intracardiac Beating-heart Surgery Using Metal MEMS Tissue Approximation Tools”, Int. J. Robotics Research, in press, 2012.

N. Vasilyev, P. DUPONT, and P. del Nido, “Robotics and Imaging in Congenital Heart Surgery”, Future Cardiology, 8(2): 285–96, 2012.

N. Ma and P. ISHWAR, “Some results on distributed source coding for interactive function computation”, IEEE Transactions on Information Theory, 57: 6180–6195, Sep. 2011.

S. Do, Z. Liang, W. C. KARL, T. Brady, and H. Pien, “ A decomposition-based CT reconstruction formulation for reducing blooming artifacts”, Physics in Medicine and Biology, 56(22): 7109, 2011.

A. Tuysuzoglu, J. M. Kracht, M. Cetin, R. Cleveland, and W.C. KARL, “Sparsity Driven Ultrasound Imaging,” Journal of Acoustical Society of America, 131(2): 1271–1281, 2012.

L. Pham, L. Christadore, S. Schaus, and E. D. KOLACZYK, “Network-based prediction for sources of transcriptional dysregulation using latent pathway identification analysis”, Proceedings of the National Academy of Sciences, 108(32): 13347–13352, 2011.

E. M. Fast, M. E. Toomey, K. Panaram, D. Desjardins, E. D. KOLACZYK, and H. M. Frydman, “Wolbachia enhance Drosophila stem cell proliferation and target the germline stem cell niche”, Science, 334(6058): 990–992, 2011.

48

L. B. LEVITIN, T. Toffoli, “Heat-to-work conversion by exploiting full or partial correlation of quantum particles”, Intern. J. of Theor. Physics, 59: 3844–3851, 2011.

A. Mostafa, A. M. Vegni, T. Oliveria, T. D. C. LITTLE, and D. P. Agrawal, “QoSHVCP: Hybrid Vehicular Communications Protocol with QoS Prioritization for Safety Applications”, in press, ISRN Communications and Networking, 2012.

V. Ishakian, J. Akinwumi, F. Esposito, and A. MATTA, “On Supporting Mobility and Multihoming in Recursive Internet Architectures”, Computer Communications, 2012. www.dx.doi.org/10.1016/j. comcom.2012.04.027.

F. Esposito, A. MATTA, D. Bera, and P. Michiardi. “On the Impact of Seed Scheduling in Peer-to-peer Networks”, Computer Networks, 55(15): 3303–3317, October 2011.

B. NAZER, M. Gastpar, S. A. Jafar, and S. Vishwanath, “Ergodic Interference Alignment”, IEEE Transactions on Information Theory, in press, 2012.

B. NAZER and M. Gastpar, “Compute-andForward: Harnessing Interference through Structured Codes”, IEEE Transactions on Information Theory, 57(10): 6463–6486, October 2011.

B. NAZER, A. G. Dimakis, and M. Gastpar, “Local Interference can Accelerate Gossip Algorithms”, IEEE Journal of Selected Topics in Signal Processing, Special Issue on Gossiping Algorithms Design and Application, 5(5): 876–887, August 2011.

B. NAZER and M. Gastpar, “Reliable Physical Layer Network Coding”, Proceedings of the IEEE, Special Issue on Network Coding, 99(3): 438–460, March 2011.

D. Bertsimas, V. Gupta, and I. C. PASCHALIDIS, “Inverse Optimization: A New Perspective on the BlackLitterman Model”, Operations Research, in press, 2012.

R. M. ESTANJINI and I. C. PASCHALIDIS, “On Delay-minimized Data Harvesting with Mobile Elements in Wireless Sensor Networks”, Ad Hoc Networks, 10: 1191–1203, 2012.

I. C. PASCHALIDIS and R. WU, “Robust Maximum Lifetime Routing and Energy Allocation in Wireless Sensor Networks”, International Journal of Distributed Sensor Networks, in press, 2012.

R. M. ESTANJINI, K. Li, and I. C. PASCHALIDIS, “A Least Squares Temporal Difference Actor-Critic Algorithm with Applications to Warehouse Management”, Naval Research Logistics, 59(3): 197–211, 2011.

J. Chen, K. H. Johansson, S. Olariu, I. C. PASCHALIDIS, and I. Stojmenovic, “Guest Editorial, Special Issue on Wireless Sensor and Actuator Networks”, IEEE Transactions on Automatic Control, 56(10): 2244–2246, October 2011.

T. Edrich, G. Frendl, and I. C. PASCHALIDIS, “Tachyphylaxis in post-cardiac surgical patients receiving bivalirudin - a retrospective dynamic study using a PKPD model”, Critical Care Medicine, 39(12): 198, December 2011.

I. C. PASCHALIDIS and B. LI, “On Energy Optimized Averaging in Wireless Sensor Networks”, IEEE Transactions on Automatic Control, Special Issue on Wireless Sensor and Actuator Networks, 56(10): 2290– 2304, October 2011, ionia.bu.edu/Publications/papers/wirelessconsensus-TAC-2011.pdf.

M. A. Kramer, U. T. Eden, K. Q. LePage, E. D. KOLACZYK, M. T. Bianchi, and S. S. Cash, “Emergence of persistent networks in long-term intracranial EEG recordings”, Journal of Neuroscience, 31(44): 15757 – 15767, 2011.

K. Li, D. Guo, Y. Lin, and I. C. PASCHALIDIS, “Position and Movement Detection of Wireless Sensor Network Devices Relative to a Landmark Graph”, IEEE Transactions on Mobile Computing, in press, 2012.

R. M. ESTANJINI, Y. Lin, K. Li, D. Guo, and I. C. PASCHALIDIS, “Optimizing Warehouse Forklift Dispatching using a Sensor Network and Stochastic Learning”, IEEE Transactions on Industrial Informatics, 7(3): 476–486, August 2011, ionia.bu.edu/Publications/ papers/forklifts-TII-2011.pdf.peko

X. Jiang, and E. D. KOLACZYK, “A latent eigen-probit model with link uncertainty for prediction of protein-protein interactions”, Statistics in Biosciences – Special Issue on Networks, in press, 2011.

I. C. PASCHALIDIS, B. LI, and M. C. CARAMANIS “Demand-Side Management for Regulation Service Provisioning through Internal Pricing”, IEEE Transactions on Power Systems, in press, 2012.

E. PEKÖZ, A. Röllin, and N. Ross, “Degree asymptotics with rates for preferential attachment random graphs”, Annals of Applied Probability, in press, 2012.

H. C. Hahm, E. D. KOLACZYK, Y. Lee, J. Jang, and L. Ng, “Are Asian-American women who were maltreated as children at higher likelihood for HIV risk behaviors, depression, or suicidality?” Women’s Health Issues, in press, 2011.

I. C. PASCHALIDIS, B. LI, and M. C. CARAMANIS, “A Market-Based Mechanism for Providing Demand-Side Regulation Service Reserves’”, IEEE Transactions on Power Systems, in press, 2012.

E. PEKÖZ A. Röllin, and N. Ross, “Total Variation and Local Limit Error Bounds for Geometric Approximation”, Bernoulli, 2012.

M. Shwartz, E. PEKÖZ, A. Labonte, J. Heineke, and J. Restuccia, “Bringing Responsibility for Small Area Variations in

Journal Articles (refereed) (continued) Hospitalization Rates Back to the Hospital: The Propensity to Hospitalize Index - And a Test of Roemer’s Law”, Medical Care, 49(12): 1262–1267, 2011.

E. PEKÖZ, and A. Rollin, “Exponential approximation for the non-critical GaltonWatson process and for occupation times of Markov chains”, Electronic Journal of Probability, 2011(51): 1381–1393, 2011.

E. PEKÖZ, and A. Rollin, “New rates for exponential approximation and the theorems of Renyi and Yaglom”, Annals of Probability, 39(2): 587–608, 2011.

V. SALIGRAMA, “Graph Constrained Group Testing”, IEEE Transactions on Information Theory, January 2012.

V. SALIGRAMA and M. ALANYALI, “A Token Based Approach to Distributed Computation in Sensor Networks”, IEEE Journal of Selected Topics in Signal Processing, 5(4): 817–832. August 2011.

V. SALIGRAMA, “Boolean Compressed Sensing and Noisy Group Testing”, IEEE Transactions on Information Theory, March 2012.

V. SALIGRAMA, “Threshold Basis Pursuit: A Linear Programming Approach to Optimal Support Recovery of Compressed Sparse Signals”, IEEE Transactions on Information Theory, March 2011.

V. SALIGRAMA, “Aperiodic Sequences with Uniformly Decaying Correlations with Applications to Compressed Sensing and System Identification”, IEEE Transactions on Information Theory, in press, 2012.

V. SALIGRAMA, “A Token-Based Approach for Distributed Computation in Sensor Networks”, IEEE Journal of Selected Topic in Signal Processing, August 2011.

V. SALIGRAMA, “Abnormality Detection Using Low-Level Co-occurring Events”, Pattern Recognition Letters, February 2011.

V. SALIGRAMA, “Behavior Subtraction”, IEEE Transactions on Image Processing, in press, 2012.

V. SALIGRAMA, “Broadband dispersion extraction using simultaneous sparse penalization”, IEEE Transactions on Signal Processing, September 2011.

B. J. Julian, M. Angermann, M. SCHWAGER, and D. Rus, “Distributed Robotic Sensor Networks: An Information Theoretic Approach”, International Journal of Robotics Research, in press, 2012.

S. L. Smith, M. SCHWAGER, and D. Rus, “Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments”, IEEE Transactions on Robotics, 28(2): 410–426, 2012.

M. SCHWAGER, D. Rus and J. J. Slotine, “Unifying Geometric, Probabilistic, and Potential Field Approaches to Multi-Robot Deployment”, International Journal of Robotics Research, 30(3): 371–383, March 2011.

M. SCHWAGER, B. Julian, M. Angermann, and D. Rus, “Eyes in the Sky: Decentralized Control for the Deployment of Robotic Camera Networks”, Proceedings of the IEEE, 99(9): 1541–1561, September 2011.

R. N. Smith, M. SCHWAGER, S. L. Smith, B. H. Jones, D. Rus, and G. S. Sukhatme, “Persistent Ocean Monitoring with Underwater Gliders: Adapting Sampling Resolution”, Journal of Field Robotics, 28(5): 714–741, September-October 2011.

R. Cohen, N. Fazlollahi, and D. STAROBINSKI, “Throughput-Competitive Advance Reservation with Bounded Path Dispersion”, IEEE/ACM Transactions on Networking, 19(5): 1265–1275, October 2011.

A. Agarwal, D. STAROBINSKI, and T. D. C. LITTLE, “Phase Transition of Message Propagation Speed in DelayTolerant Vehicular Networks”, IEEE Trans. on Intelligent Transportation Systems, 13(1): 249–263, March 2012.

A. Aziz, D. STAROBINSKI, and P. Thiran, “Understanding and Tackling the Root Causes of Instability in Wireless Mesh Networks”, IEEE/ACM Transactions on Networking, 19(4): 1178–1193, August 2011.

D. R. Hall, L. E. Grove, C. Yueh, C. H. Ngan, D. Kozakov, and S. VAJDA, “Robust identification of binding hot spots using continuum electrostatics: Application to hen egg-white lysozyme”, J Am Chem Soc. 133(51): 20668–71, 2011.

G. Buhrman, C. O’ Connor, B. Zerbe, B. M. Kearney, R. Napoleon, E. A. Kovrigina, S. VAJDA, D. Kozakov, E. L. Kovrigin, and C. Mattos, “Analysis of Binding Site Hot Spots on the Surface of Ras GTPase” J Mol Biol., 413:773–789, 2011.

D. Kozakov, D. Hall, G. Y. Chuang, R. Cencic, R. Brenke, L. Grove, D. Beglov, J. Pelletier, A. Whitty, and S. VAJDA, “Structural conservation of druggable hot spots in protein-protein interfaces”, Proc Natl Acad Sci USA, 108: 13528–13533, 2011.

G. V. Callard, A. M. Tarrant, A. Novillo, P. Yacci, L. Ciaccia, S. VAJDA, G. Y. Chuang, D. Kozakov, S. R. Greytak, S. Sawyer, C. Hoover, and K. A. Cotter, “Evolutionary origins of the estrogen signaling system: Insights from amphioxus”, J Steroid Biochem Mol Biol., 127(3–5): 176–188, 2011.

R. Cencic, M. Desforges, D. R. Hall, D. Kozakov, Y. Du, J. Min, R. Dingledine, H. Fu, S. VAJDA, P. J. Talbot, and J. Pelletier, “Blocking interaction as a strategy to impair coronavirus replication, J Virol, 85: 6381–6389, 2011.

R. Cencic, D. R. Hall, F. Robert, Y. Du, J. Min, L. Li, M. Qui, I. Lewis, S. Kurtkaya, R. Dingledine, H. Fu, D. Kozakov, S. VAJDA, and J. Pelletier, “Reversing chemoresistance by small molecule inhibition of the translation initiation complex”, Proc Natl Acad Sci USA, 108: 1046–1051, 2011.

D. R. Hall, C. H. Ngan, B. Zerbe, D. Kozakov, and S. VAJDA, “Hot spot analysis for driving the development of hits into leads in fragment based drug discovery”, J Chem Inf Model, 52(1): 199–209, 2012.

C. H. Ngan, D. Hall, B. Zerbe, L. E. Grove, D. Kozakov, and S. VAJDA, “FTSite: High accuracy detection of ligand binding sites on unbound protein structures”, Bioinformatics, 28(2): 286–7, 2012.

D. Beglov, D. R. Hall, R. Brenke, M. V. Shapovalov, R. L Jr. Dunbrack, D. Kozakov, and S. VAJDA, “Minimal ensembles of side chain conformers for modeling proteinprotein interactions”, Proteins, 80: 591–601, 2012.

C. H. Ngan, T. Bohnuud, S. E. Mottarella, D. Beglov, E. A. Villar, D. R. Hall, D. Kozakov, and S. VAJDA, “FTMAP: Extended protein mapping with user-selected probe molecules”, Nucleic Acid Res., 40(W1): W271–W275, Jul 1, 2012.

T. Bohnuud, D. Beglov, C. H. Ngan, B. Zerbe, D. R. Hall, S. VAJDA, M. D. Frank-Kamenetskii, and D. Kozakov, “Computational mapping reveals dramatic effect of DNA Hoogsteen breathing on duplex DNA reactivity”, Nucleic Acid Res., June 16, 2012.

D. R. Hall, D. Kozakov, and S. VAJDA, “Analysis of protein binding sites by computational solvent mapping”, Methods Mol Biol., 819: 13–27. 2012.

R. Brenke, D. R. Hall, G. Y. Chuang, S. R. Comeau, D. Beglov, S. VAJDA, and D. Kozakov, “Application of asymmetric statistical potentials to antibody-antigen docking”, Bioinformatics, in press, 2012.

49

Journal Articles (refereed) (continued) E. J. Butler, H. O. WANG, and J. J. Burken, “Modeling, Control, and Failure Stabilization of a Modified F-15: A Takagi-Sugeno Fuzzy Model Based Approach”, AIAA Journal of Guidance, Control and Dynamics, DOI: 10.2514/1.52509, 34(5): 1543–1555, 2011.

F. Liu, Z. H. Guan, and H. O. WANG, “Stability and Hopf Bifurcation Analysis in a TCP Fluid Model”, Nonlinear Analysis: Real World Applications, 12(1): 353–363, 2011.

F. Liu, H. O. WANG and Z. H. Guan, “Hopf bifurcation control in the XCP for the Internet congestion control system”, Nonlinear Analysis: Real World Applications, 13(3): 1466–1479, 2012.

K. Tanaka, M. Tanaka, H. Ohtake, and H. O. WANG, “Shared Nonlinear Control in Wireless-Based Remote Stabilization: A Theoretical Approach”, IEEE/ASME Transactions on Mechatronics, 17(2): 443–453, 2012.

K. Tanaka, H. Ohtake, M. Tanaka and H. O. WANG, “Wireless Vision-Based Stabilization of Indoor Microhelicopter”, IEEE/ASME Transactions on Mechatronics, 17(3): 519–524, 2012.

Y. J. Chen, H. Ohtake, K. Tanaka, W. J. Wang, and H. O. WANG, “Relaxed Stabilization Criterion for T-S Fuzzy Systems

by Minimum-type Piecewise Lyapunov Function Based Switching Fuzzy Controller”, ET Control Theory & Applications, in press, 2012.

K. Tanaka, H. Ohtake, T. Seo, M. Tanka, and H. O. WANG, “Polynomial Fuzzy Observer Designs: A Sum of Squares Approach,” IEEE Transactions on Systems, Man, and Cybernetics: Part B, in press, 2012.

Proceedings (refereed) V. Subramanian and M. ALANYALI, “Delay performance of CSMA in networks with bounded degree conflict graphs”, ISIT 2011, St. Petersburg, August 2011.

M. ALANYALI, A. Daoud, and D. STAROBINSKI, “Profitability of Dynamic Spectrum Provision for Secondary Use”, DYSPAN 2011, Aachen, May 2011.

M. ALANYALI, A. Daoud, and D. STAROBINSKI, “Profitability of sharing spectrum with secondary users”, Information Theory and Applications Workshop, (ITA 2011) UCSD, February 2011.

50

A. Turhan, M. ALANYALI, and D. STAROBINSKI, “Optimal Admission Control of Secondary Users in Preemptive Cognitive Radio Networks”, 10th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt 2012), Paderborn, Germany, May 2012.

P. Huang and S. B. ANDERSSON, “Fast detection based on semi-transient signals in AFM”, American Control Conference, in press, 2012.

S. B. ANDERSSON and L. Pao, “Non-raster sampling in AFM: a compressed sensing approach”, American Control Conference, in press, 2012.

A. M. Ayala, S. B. ANDERSSON, A. Ivonne, and C. BELTA, “Temporal logic control in dynamic environments with probabilistic satisfaction guarantees”, IEEE/RSJ International Conference on Intelligent Robots and Systems, San Francisco, 3108–3113, September 28, 2011.

P. I. Chang and S. B. ANDERSSON, “Probabilistic bounds for complete scanning in non-raster atomic force microscopy,” IEEE Conference on Decision and Control, 6278–6283, December 14, 2011.

M. Lahijanian, S. B. ANDERSSON, and C. BELTA, “Control of Markov Decision Processes from PCTL specifications”, American Control Conference (ACC), San Francisco, CA, 2011.

S. B. ANDERSSON, “Generating images from non-raster data”, American Control Conference, June 30, 2011.

S. B. ANDERSSON, “Controlling an MDP from a PCTL specification”, American Control Conference, June 29, 2011.

Z. Shen and S. B. ANDERSSON, “3–D tracking of fluorescent nanoparticles in a confocal microscope”, IEEE Conference on Decision and Control, 5856–5861, December 14, 2011.

A. M. Ayala, S. B. ANDERSSON, A. Ivonne, and C. BELTA, “Probabilistic control from time-bounded temporal logic specifications in dynamic environments”, IEEE International Conference on Robotics and Automation, in press, Saint Paul, MN, USA, 2012.

J. BAILLIEUL, “The Control Theory of Motion-Based Communication: Problems in Teaching Robots to Dance”, in press in the 2012 American Control Conference, Montreal, June 27–29, 2012. (With K. O¨ zcimder) www.arxiv.org/abs/1109.6037

J. BAILLIEUL, “Reliable and Efficient Communication through a Controlled Dynamical System”, in Proc. of the 46th Conference on Inf. Sciences and Systems, Princeton University, March 21–23, 2012.

X. C. Ding, M. Lazar, and C. BELTA, “Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions”, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012.

E. AYDIN GOL and C. BELTA, “TimeConstrained Temporal Logic Control of Multi-Affine Systems”, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012.

X. C. Ding, M. Lazar, and C. BELTA, “Receding Horizon Temporal Logic Control for Finite Deterministic Systems”, American Control Conference, Montréal, Canada, 2012.

A. ULUSOY, S. L. Smith, X. C. Ding, and C. BELTA, “Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints”, IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA, 2012.

Y. Chen, J. Tumova, and C. BELTA, “LTL Robot Motion Control based on Automata Learning of Environmental Dynamics”, 2012 IEEE International Conference on Robotics and Automation (ICRA), Saint Paul, MN, USA 2012.

E. AYDIN GOL, M. Lazar, and C. BELTA, “Language-Guided Controller Synthesis for Discrete-Time Linear Systems”, Hybrid Systems Computation and Control (HSCC), Beijing, China, (in press) 2012.

M. Kloetzer, X. C. Ding, and C. BELTA, “Multi-robot deployment from LTL specifications with reduced communication”, CDC 2011, Orlando, FL, 2011.

I. CIZELJ, X. C. Ding, M. Lahijanian, A. Pinto, and C. BELTA, “Probabilistically Safe Vehicle Control in a Hostile Environment”, 18th IFAC World Congress. Milan, Italy, 2011.

X. C. Ding, S. L. Smith, C. BELTA, and D. Rus, “LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees”, 18th IFAC World Congress.

Milan, Italy, 2011.

R. M. ESTANJINI, X. C. Ding, M. Lahijanian, C. BELTA, and I. C. PASCHALIDIS, “Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control”, Proceedings of the 50th IEEE

Proceedings (refereed) (continued) Conference on Decision and Control and European Control Conference, Orlando, Florida, December 12–15, 2011.

N. Cooper, C. BELTA, and A. Julius, “Genetic Regulatory Network Identification Using Multivariate Monotone Functions”, CDC 2011, Orlando, FL, 2011.

X. C. Ding, S. L. Smith, C. BELTA, and D. Rus, “MDP Optimal Control under Temporal Logic Constraints”, CDC 2011, Orlando, FL, 2011.

B. Yordanov and C. BELTA, “A Formal Verification Approach to the Design of Synthetic Gene Network”, CDC 2011, Orlando, FL, 2011.

G. Richard, H. J. Chang, I. CIZELJ, C. BELTA, A. Julius, and S. Amar, “Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses”, CDC 2011, Orlando, FL, 2011.

Y. Chen, X. C. Ding, and C. BELTA, “Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications”, CDC 2011, Orlando, FL, 2011.

A. ULUSOY, S. L. Smith, X. C. Ding, C. BELTA, and D. Rus, “Optimal MultiRobot Path Planning with Temporal Logic Constraints”, IROS, San Francisco, 2011.

H. J. Chang, G. Richard, A. Julius, C. BELTA, and S. Amar, “An Application of Monotone Functions Decomposition to the Reconstruction of Gene Regulatory Networks”, 33rd Annual International IEEE EMBS Conference, Boston, MA, 2011.

A. Julius and C. BELTA, “Genetic Regulatory Network Identification Using Monotone Functions Decomposition”, 18th IFAC World Congress. Milan, Italy, 2011.

V. Ishakian and A. BESTAVROS, “MorphoSys: Efficient Colocation of QoSConstrained Workloads in the Cloud”, In Proceedings of CCGrid’12: The IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Ottawa, Canada, in press, May 2012.

V. Ishakian, D. Erdos, E. Terzi, and A. BESTAVROS, “A Framework for the Evaluation and Management of Network Centrality”, In Proceedings of SDM’12: The SIAM International Conference on Data Mining, Anaheim, CA, in press, April 2012.

D. Erdos, V. Ishakian, A. Lapets, E. Terzi, and A. BESTAVROS, “The Filter-Placement Problem and its Application to Minimizing

Information Multiplicity”, In Proceedings of VLDB’12: The International Conference on Very Large Databases, 5: 418–429, Istanbul, Turkey, August 2012.

R. Sweha, V. Ishakian, and A. BESTAVROS, “AngelCast: Cloud-based Peer-Assisted Live Streaming Using Optimized Multi-Tree Construction”, In Proceedings of MMsys, 2012: The ACM Multimedia Systems Conference, Chapel Hill, NC, USA, 2012.

A. BESTAVROS and A. Kfoury, “A domainspecific language for the incremental and modular design of large-scale verifiablysafe flow networks”, In Proceedings of DSL’2011: The IFIP Conference on DomainSpecic Languages, Bordeaux, France, 2011.

R. Sweha, V. Ishakian, and A. BESTAVROS, “Angels In The Cloud: A Peer-Assisted Bulk-Synchronous Content Distribution Service”, In Proceedings of CLOUD’2011: The IEEE International Conference on Cloud Computing, Washington DC, USA, 2011.

V. Ishakian, A. Lapets, A. BESTAVROS, and A. Kfoury, “Formal Verification of SLA Transformations”, In CloudPerf’2011: The IEEE International Workshop on Performance Aspects of Cloud and Service Virtualization, Washington DC, USA, 2011.

P. A. Ruiz, J. M. FOSTER, A. Rudkevich, and M. C. CARAMANIS, “On Fast Transmission Topology Control Heuristics”, Proceedings, of the 2011 IEEE PES General Meeting, Detroit, Michigan, USA. July 26 - July 29, 2011.

M. C. CARAMANIS and J. M. FOSTER, “Uniform and Complex Bids for Demand Response and Wind Generation Scheduling in Multi-Period Linked Transmission and Distribution Markets”, in press for publication at the Proceedings of the 50th CDC, Dec 2011.

J. M. FOSTER, P. A. Ruiz, A. Rudkevich, and M. C. CARAMANIS, “Economic and Corrective Applications of Tractable Transmission Topology Control”, Proceedings, 49th annual Allerton Conference on Communication, Control and Computing, September 27–30, 2011.

C. YAO, and C. G. CASSANDRAS, “Using Infinitesimal Perturbation Analysis of Stochastic Flow Models to Recover Performance Sensitivity Estimates of Discrete Event Systems”, Proc. of 18th IFAC World Congress, 8217–8222, August 2011.

A. KEBARIGHOTBI, and C. G. CASSANDRAS, “Optimal Scheduling of Parallel Queues with Stochastic Flow Models: The c-mu-rule Revisited”, Proc.

of 18th IFAC World Congress, 8223–8228, August 2011.

Y. GENG, and C. G. CASSANDRAS, “Dynamic Resource Allocation in Urban Settings: A “Smart Parking” Approach”, Proc. of 2011 IEEE Multi-Conference on Systems and Control, October 2011.

Y. GENG, and C. G. CASSANDRAS, “A New “Smart Parking” System Based on Optimal Resource Allocation and Reservations”, Proc. of 14th IEEE Intelligent Transportation Systems Conf., 979–984, November 2011.

C. G. CASSANDRAS, X. C. Ding, and X. LIN, “An Optimal Control Approach for the Persistent Monitoring Problem”, Proc. of 50th IEEE Conf. Decision and Control, 2907–2912, 2011.

T. WANG, and C. G. CASSANDRAS, “Optimal Control of Multi-Battery Energyaware Systems”, Proc. of 50th IEEE Conf.

Decision and Control, 1497–1502, 2011.

A. KEBARIGHOTBI, and C. G. CASSANDRAS, “Timeout Control in Distributed Systems Using Perturbation Analysis”, Proc. of 50th IEEE Conf. Decision and Control, 5437–5442, 2011.

A. KEBARIGHOTBI, and C. G. CASSANDRAS, “A General Framework for Modeling and Online Optimization of Stochastic Hybrid Systems”, 4th IFAC Conf.

Analysis and Design of Hybrid Systems, in press, 2011.

K. Chen and D. A. CASTAÑÓN, “Robust Multifrequency Inversion in Terahertz Diffraction Tomography”, Proc. IST/SPIE Electronic Imaging, San Francisco, CA, January 2011.

K. Jenkins and D. A. CASTAÑÓN, “Information-Based Adaptive Sensor Management in Sensor Networks”, 2011 American Control Conference,, San Francisco, CA, June 2011.

A. K. Bangla and D. A. CASTAÑÓN, “Pseudo-Polynomial Auction Algorithms for Nonlinear Resource Allocation”, 2011 American Control Conference, San Francisco, CA, June 2011.

R. Kumar and D. A. CASTAÑÓN, “Advanced Traveler Information Systems with Communication Constraints”, 2011 American Control Conference, San Francisco, CA, June 2011.

D. A. CASTAÑÓN and J. ZHENG, “Fast Algorithms for Stochastic Network Interdiction”, SIAM Conference on Control, Baltimore, MD, July 2011.

51

Proceedings (refereed) (continued) A. K. Bangla and D. A. CASTAÑÓN, “Asynchronous Algorithms for Distributed Nonlinear Resource Allocation”, 2011 Conf. on Decision and Control-European Control Conference, Orlando, FL, December 2011.

R. Kumar and D. A. CASTAÑÓN, “Pull Protocols for Communication Constrained Advanced Traveler Information Systems”, 2011 Conf. on Decision and ControlEuropean Control Conference, Orlando, FL, December 2011.

D. Hitchings and D. A. CASTAÑÓN, “Sensor Control for Search and Identification of Markov Objects”, 2011 Conf. on Decision and Control-European Control Conference, Orlando, FL, December 2011.

J. M. Callura, C. R. Cantor, and J. J. Collins, “Genetic switchboard for synthetic biology applications”, Proceedings of the National Academy of Sciences USA, 109: 5850–5855, 2012.

S. R. Modi, D. M. Camacho, M. A. Kohanski, G. C. Walker, and J. J. Collins, “Functional characterization of bacterial sRNAs using a network biology approach”, Proceedings of the National Academy of Sciences USA, 108: 15522–15527, 2011.

V. Manfredi, M. CROVELLA, and J. Kurose, “Understanding Stateful vs Stateless Communication Strategies for Ad hoc Networks”, in Proceedings of Mobicom 2011, Las Vegas, NV, September 2011.

G. Gursun and M. CROVELLA, “Describing and Forecasting Video Access Patterns”, in Proceedings of the Infocom 2011 Miniconference, Shanghai, China, April 2011.

A. Cvetkovski and M. CROVELLA, “LowStretch Greedy Embedding Heuristics”, in Fourth International Workshop on Network Science for Communication Networks (NetSciCom 2012), Orlando, FL, March 2012.

A. Cvetkovski and M. CROVELLA, “Multidimensional Scaling in the Poincare Disk”, arxiv: 1105.5332, May 26, 2011.

H. Ren, and P. DUPONT, “Tubular Structure Enhancement for Surgical Instrument Detection in 3D Ultrasound”, Conf Proc IEEE Engineering in Medicine and Biology Conference (EMBC), 7203–7206, 2011.

G. Laingand, P. DUPONT, “Beating-heart Mitral Valve Chordal Replacement.

Conf Proc IEEE Engineering in Medicine and Biology Conference (EMBC), 2476– 2479, 2011.

52

J. Stoll, H. Ren, and P. DUPONT, “Passive Markers for Tracking Surgical Instruments in Real-time 3D Ultrasound Imaging”, IEEE Transactions on Medical Imaging, 31(3): 563–575, 2012.

A. Gosline, N. Vasilyev, A. Veeramani, M. T. Wu, G. Schmitz, R. Chen, V. Arabagi, P. del Nido, and P. DUPONT, “Metal MEMS Tools for Beating-heart Tissue Removal”, Conf Proc IEEE International Conference on Robotics and Automation, Best Medical Robotics Paper Award, 1921–1936, 2012.

P. Vartholomeos, R. Akhavan-Sharif, and P. DUPONT, “Motion planning for Multiple Millimeter-scale Magnetic Capsules in a Fluid Environment”, Conf Proc IEEE International Conference on Robotics and Automation, 1927–1932, 2012.

H. Ren and P. DUPONT, “Tubular Enhanced Geodesic Active Contours for Continuum Robot Detection using 3D Ultrasound”, Conf Proc IEEE International Conference on Robotics and Automation, 2907–2912, 2012.

B. Orten, P. ISHWAR, W. C. KARL, and V. SALIGRAMA, “Sensing structure in learning-based binary classification of highdimensional data”, in Proc. 49th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, 28–30 Sep., 2011. [Invited paper in special session on distributed inference in sensor networks] Y. Wang and P. ISHWAR, “On unconditionally secure multi-party sampling from scratch”, in Proc. IEEE International Symposium on Information Theory, 1782–1786 Saint Petersburg, Russia, 31 Jul. – 5 August, 2011. [ISIT 2011 student paper award finalist].

K. Lai, J. Konrad, and P. ISHWAR, “GestureMouse: A Flexible Gesture-Based User Interface”, in the ChaLearn Gesture Challenge Demonstration Competition at CVPR’12, Providence, RI, 16–21 June, 2012.

J. Konrad, M. Wang, and P. ISHWAR, “2D-to-3D image conversion by learning depth from examples”, in 3D Cinematography Workshop (3DCINE’12) at CVPR’12, in press, Providence, RI, 16–21 June 2012.

N. Goyette, P. M. Jodoin, F. Porikli, J. Konrad, and P. ISHWAR, “Change detection.net: A new change detection benchmark dataset”, Proc. IEEE Workshop on Change Detection (CDW’12) at CVPR’12, in press, Providence, RI, 16–21 June 2012.

K. Lai, J. Konrad, and P. ISHWAR, “A gesture-driven computer interface using

Kinect”, in Proc. IEEE Southwest Symposium on Image Analysis and Interpretation (SSIAI), Santa Fe, New Mexico, 22–24 April, 2012.

J. Konrad, G. Brown, M. Wang, P. ISHWAR, C. Wu, and D. Mukherjee, “Automatic 2D-to-3D image conversion using 3D examples from the Internet”, in Proc.

IST/SPIE International Symposium on Electronic Imaging: Science and Technology, Conference on Stereoscopic Displays and Applications (SDA), San Francisco, CA, 23–25 January 2012.

B. Orten, W. C. KARL, P. ISHWAR, and V. SALIGRAMA, “Sensing Aware Dimensionality Reduction for Nearest Neighbor Classification of High Dimensional Signals”, IEEE Statistical Signal Processing Workshop, 2012.

I. Stojanovic, W. C. KARL, and L. Novak, “Reconstruction of interrupted SAR imagery for persistent surveillance change detection”, Algorithms for Synthetic Aperture Radar Imagery XIX, Proceedings of SPIE, 8394, Baltimore, April 2012.

A. Tuysuzoglu, I. Stojanovic, W. C. KARL, and D. A. CASTAÑÓN, “A Graph Cut Method for Linear Inverse Problems”, 2011 IEEE Conference on Image Processing, Brussels, Belgium, September 11–14, 2011.

I. Stojanovic, H. Pien, S. Do, and W. C. KARL, “Low-Dose X-Ray CT Reconstruction Based on Joint Sinogram Smoothing and Learned Dictionary-Based Representation”, IEEE Intl. Symposium on Biomedical Imaging (ISBI), Barcelona, Spain, May 2012.

Y. Zhang, W. C. KARL, G. V. Der Wilden, P. Fagenholz, J. Romero, V. Noble, and H. Pien, “Automated 3–D Untraocular Ultrasound Detection of Elevated Intracranial Pressure”, IEEE Intl. Symposium on Biomedical Imaging (ISBI), Barcelona, Spain, May 2–5, 2012.

A. M. Vegni and T. D. C. LITTLE, “Handover in VLC Systems with Cooperating Mobile Devices”, Proc. of Mobility and Communication for Cooperation and Coordination (MC3) Workshop, part of the IEEE Intl. Conference on Computing, Networking and Communications (ICNC 2012), Maui, Hawaii, USA, January 30 February 2, 2012.

T. Borogovac, M. Rahaim, M. Tuganbayeva, and T. D. C. LITTLE, “Lights-off Visible Light Communications”, Proc. IEEE Globecom 2011, 2nd IEEE Workshop on Optical Wireless Communications (OWC 2011),

Proceedings (refereed) (continued) 823–827, Houston TX, USA. December 5–9, 2011 M. Rahaim, A. M. Vegni, and T. D. C. LITTLE, “A Hybrid Radio Frequency and Broadcast Visible Light Communication System”, Proc. IEEE Globecom 2011, 2nd IEEE Workshop on Optical Wireless Communications (OWC 2011), 818–822, Houston TX, USA, December 5–9, 2011.

R. C. Wagenaar, I. Sapir, Y. Zhang, S. Markovic, L. M. Vaina, and T. D. C. LITTLE, “Continuous Monitoring of Functional Activities using Wearable, Wireless Gyroscope and Accelerometer Technology”, Proc. 33rd Annual Intl. Conf. of the IEEE Engineering in Medicine and Biology Society, Boston, MA August 30, 2011.

I. Sapir, R. Wagenaar, Y. Zhang, C. Lin, L. M. Vaina, and T. D. C. LITTLE, “Accuracy of a Functional Activity Monitor in Identifying Functional Activities, Activity Duratin and Step Frequencies”, 2011 ACRMSSNR Annual Conf., refereed poster, Atlanta GA, October 2011.

A. Mostafa, A. M. Vegni, R. Singoria, T. Oliveira, T. D. C. LITTLE, and D. P. Agrawal, “A V2X-based approach for reduction of delay propagation in Vehicular Ad-Hoc Networks”, in Proc. of Intl. Workshop on Seamless Connectivity in Vehicular Networks (SCVN 2011), part of the 11th IEEE Intl. Conf. on ITS Telecommunications (ITST 2011), Saint-Petersburg, Russia, August 23–25, 2011.

Z. Wu, J. Chau, and T. D. C. LITTLE, “Modeling and Designing of a New Indoor Free Space Visible Light Communication System”, Proc. 16th European Conference on Networks and Optical Communications (NOC 2011), part of the 16th European Conference on Networks and Optical Communications & 6th Conference on Optical Cabling and Infrastructure, July 2011.

Y. Zhang, I. Sapir, S. Markovic, R. C. Wagenaar, and T. D. C. LITTLE, “Continuous Functional Activity Montitoring Based on Wearable TriAxial Accelerometer and Gyroscope”, Proc. Workshop on Cognitive Sensor Networks for Pervasive Health (CoSNPH 2011), 5th Intl. Conf. on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2011), Dublin Ireland, May 2011.

J. Day, E. Trouva, E. Grasa, P. Phelan, M. Ponce de Leon, S. Bunch, A. Matta,

L. Chitkushev, and L. Pouzin, “Bounding the Router Table Size in an ISP Network using RINA”, Proceedings of the 2011 Second International Conference on Network of the Future, Universite Pierre et Marie Curie, Paris, November 2011.

O. Ordentlich, U. Erez, and B. NAZER, “The Approximate Sum Capacity of the Symmetric K-User Gaussian Interference Channel”, Proceedings of the IEEE International Symposium on Information Theory (ISIT 2012), Cambridge, MA, July 2012.

O. Ordentlich, U. Erez, and B. NAZER, “The Compute-and-Forward Transform”, Proceedings of the IEEE International Symposium on Information Theory (ISIT 2012), Cambridge, MA, July 2012.

A. Joshi, C. Chen, Z. Takhirov, and B. NAZER, “A Multi-Layer Approach to Green Computing: Designing EnergyEfficient Digital Circuits and Manycore Architectures”, Proceedings of the 3rd International Green Computing Conference (IGCC 2012), San Jose, CA, June 2012.

J. Zhan, B. NAZER, U. Erez, and M. Gastpar, “Integer-Forcing Architectures: An Overview”, Proceedings of the 5th International Symposium on Communications, Control, and Signal Processing (ICSCCSP 2012), Rome, Italy, May 2012.

B. NAZER, “Successive Compute-andForward”, Proceedings of the 22nd Biennial International Zurich Seminar on Communication (IZS 2012), Zurich, Switzerland, March 2012.

Z. Takhirov, B. NAZER, and A. Joshi, “Error Mitigation in Digital Logic using a Feedback Equalization with Schmitt Trigger (FEST) Circuit”, Proceedings of the International Symposium on Quality Electronic Design (ISQED 2012), Santa Clara, CA, March 2012.

U. Niesen, B. NAZER, and P. Whiting, “Computation Alignment: Capacity Approximation without Noise Accumulation”, Proceedings of the 49th Annual Allerton Conference on Communication, Control and Computation, Monticello, IL, September 2011.

Y. Shkel, S. C. Draper, and B. NAZER, “On the Cooperative Red Alert Exponent for the AWGN-MAC with Feedback”, Proceedings of the 49th Annual Allerton Conference on Communication, Control and Computation, Monticello, IL, September 2011.

Z. Takhirov, B. NAZER, and A. Joshi, “A Preliminary Look at Error Avoidance in

Digital Logic via Feedback Equalization”, Proceedings of the 49th Annual Allerton Conference on Communication, Control and Computation, Monticello, IL, September 2011.

O. Ordentlich, J. Zhan, U. Erez, M. Gastpar, and B. NAZER, “Practical Code Design for Compute-and-Forward”, Proceedings of the IEEE International Symposium on Information Theory (ISIT 2011), St. Petersburg, Russia, August 2011.

J. Zhan, U. Erez, M. Gastpar, and B. NAZER, “Mitigating Interference with Integer-Forcing Architectures”, Proceedings of the IEEE International Symposium on Information Theory (ISIT 2011), St. Petersburg, Russia, August 2011.

Y. Song, N. Devroye, and B. NAZER, “Inverse Compute-and-Forward: Extracting Messages from Simultaneously Transmitted Equations”, Proceedings of the IEEE International Symposium on Information Theory (ISIT 2011), St. Petersburg, Russia, August 2011.

I. C. PASCHALIDIS, B. LI, and M. C. CARAMANIS “Market-Based Mechanism for Providing Demand-Side Regulation Service Reserves”, Proceedings of the 50th Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, Florida, December 12–15, 2011.

A. Savvides, I. C. PASCHALIDIS, and M. C. CARAMANIS, “Cyber-Physical Systems for Next Generation Intelligent Buildings”, Proceedings of 2nd International Conference on Cyber-Physical Systems, Chicago, IL, April 12–16, 2011, 8(2): 35–38, June 2011.

I. C. PASCHALIDIS and Y. Lin, “AnimalInspired Optimal Foraging via a Distributed Actor-Critic Algorithm”, Proceedings of the 20th Mediterranean Conference on Control and Automation (MED 12), Barcelona, Spain, July 3–6, 2012.

R. T. LOCKE and I. C. PASCHALIDIS, “Stochastic Localization of CBRN Releases”, Proceedings of the 37th International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Kyoto, Japan, March 25–30, 2012.

X. C. Ding, J. WANG, M. Lahijanian, I. C. PASCHALIDIS, and C. BELTA, “Temporal Logic Motion Control using Actor-Critic Methods”, 2012 IEEE International Conference on Robotics and Automation (ICRA), Saint Paul, MN, USA, May 14–18, 2012.

53

Proceedings (refereed) (continued) I. C. PASCHALIDIS, W. Dai, D. Guo, Y. Lin, K. Li, and B. LI, “Posture Detection with Body Area Networks”, Proceedings of the Body Area Networks (BodyNets), Conference, Beijing, China, November 7–8, 2011.

T. Edrich, G. Frendl, J. Rawn, and I. C. PASCHALIDIS, “Modeling the Effects of Bivalirudin in Cardiac Surgical Patients”, Proceedings of the 33rd Annual International IEEE Conference of the Engineering in Medicine and Biology Society (EMBS), Boston, Massachusetts, August 30–September 3, 2011.

I. C. PASCHALIDIS and B. LI, “On Energy Optimized Network Construction for Distributed Averaging in a Dynamic Environment”, Proceedings of the 18th IFAC World Congress, Milan, Italy, August 28 September 2, 2011.

I. C. PASCHALIDIS and Y. Lin, “Mobile Agent Coordination via a Distributed ActorCritic Algorithm”, Proceedings of the 19th Mediterranean Conference on Control and Automation (MED 11), Corfu, Greece, June 20–23, 2011.

C. L. Chan, S. Jaggi, V. SALIGRAMA, and S. Agnihotri, “Non-Adaptive Group Testing: Explicit Bounds and Algorithms”, ISIT 2012.

K. Trapeznikov, V. SALIGRAMA, and D. A. CASTAÑÓN, “Active Boosted Learning”, Fourteenth International Conference on Artificial Intelligence and Statistics, Ft. Lauderdale, FL, April 2011.

J. WANG, V. SALIGRAMA, and D. A. CASTAÑÓN, “Structural Similarity and Distance in Learning”, 2011 Allerton Conference, Urbana, IL, October 2011.

V. SALIGRAMA and Z. Chen, “Video Anomaly Detection Based on Local Statistical Aggregates”, CVPR 2012.

D. Motamed-Vaziri, V. SALIGRAMA, and D. A. CASTAÑÓN, “A Combined Approach to Multi-label Multi-task Learning”, IEEE Statistical Signal Processing Workshop, 2012.

V. SALIGRAMA and M. Zhao, “Local Anomaly Detection”, AISTATS 2012.

C. Aksoylar, G. Atia, and V. SALIGRAMA, “Sample Complexity of Salient Feature Identification for Sparse Signal Processing”, IEEE Statistical Signal Processing Workshop, 2012.

G. Atia, and V. SALIGRAMA, “A Mutual

54

Information Characterization of Sparse Signal Processing”, Allerton UIUC 2011.

V. SALIGRAMA and B. Orten et. al., “Sensing-aware classification with highdimensional data”, ICASSP 2011.

V. SALIGRAMA and C. L. Park et. al., “Nonadaptive probabilistic group testing with noisy measurements: Near-optimal bounds with efficient algorithms”, Allerton 2011.

G. Atia, and V. SALIGRAMA, “A mutual information characterization of sparse signal processing”, ICALPGT 2011.

B. J. Julian, M. Angermann, M. SCHWAGER, and D. Rus, “A Scalable Information Theoretic Approach to Distributed Robot Coordination”, Proceedings of the IEEE/ RSJ Conference on Intelligent Robots and Systems (IROS 11), 5187–5194, September 2011.

M. SCHWAGER, N. Michael, V. Kumar, and D. Rus, “Time Scales and Stability in Networked Multi-Robot Systems”, Proc. of the International Conference on Robotics and Automation (ICRA 11), 3855–3862, Best Conference Paper Finalist, May 2011.

M. SCHWAGER, P. Dames, D. Rus, and V. Kumar, “A Multi-Robot Control Policy for Information Gathering in the Presence of Unknown Hazards”, Proceedings of the International Symposium on Robotics Research (ISRR 11), August 2011.

M. SCHWAGER, M. P. Vitus, D. Rus, and C. J. Tomlin, “Robust Adaptive Coverage for Robotic Sensor Networks”, Proceedings of the International Symposium on Robotics Research (ISRR 11), August 2011.

S. L. Smith, M. SCHWAGER, and D. Rus, “Persistent Monitoring of Changing Environments Using a Robot with Limited Range Sensing”, Proc. of the International Conference on Robotics and Automation (ICRA 11), 5448–5455, May 2011.

R. N. Smith, M. SCHWAGER, S. L. Smith, D. Rus, and G. Sukhatme, “Persistent Ocean Monitoring with Underwater Gliders: Towards Accurate Reconstruction of Dynamic Ocean Processes”, Proc. of the International Conference on Robotics and Automation (ICRA 11), 1517–1524, May 2011.

C. Orakcal and D. STAROBINSKI, “Rate Adaptation in Unlicensed Bands under Smart Jamming Attacks”, CrownCom ‘12 (NSF WiFiUS meeting), Stockholm, Sweden, June 2012.

K. Lin, D. STAROBINSKI, A. TRACHTENBERG, and S. Agarwal, “Scheduling Algorithms and Bounds for

Rateless Data Dissemination in Dense Wireless Mesh Networks”, CISS 2012, Princeton, NJ, March 2012.

A. Klausner, A. TRACHTENBERG, and D. STAROBINSKI, “Poster Abstract: Phones and Robots: Brains and Brawn”, Proc. ACM SenSys 2011, Seattle, WA, November 2011.

F. Liu, Z. H. Guan, H. O. WANG, and G. Zhu, “Stability and control of bifurcation in XCP networks”, Proceedings of the 30th Chinese Control Conference, 5991–5994, July 22–24, 2011.

T. Seo, H. Ohtake, K. Tanaka, Y. J. Chen, and H. O. WANG, “A Polynomial Observer Design for a Wider Class of Polynomial Fuzzy Systems”, Proceedings of the 2011 IEEE International Conference on Fuzzy Systems, 1305–1311, Taipei, June, 2011.

Y. Cai, H. O. WANG, K. Tanaka, and X. Xu, “Robust Filtering for Networked Systems with Random Transmission Delays and Packet Dropouts”, Proceedings of the 2011 American Control Conference, 1813–1818, San Francisco, California, USA, June 29 July 1, 2011.

K. Tanaka, H. Ohtake, T. Seo, and H. O. WANG, “An SOS-based Observer Design for Polynomial Fuzzy Systems”, Proceedings of the 2011 American Control Conference, 4953–4958, San Francisco, California, USA, June 29 - July 1, 2011.

H. Ohtake, K. Tanaka, and H. O. WANG, “An Improved Approach to Fuzzy Model Construction and Servo Control with Constraints based on Error Dynamics”, Proceedings of the 2011 American Control Conference, 4959–4963, San Francisco, California, USA, June 29 - July 1, 2011.

H. Ohtake, K. Tanaka, and H. O. WANG, “Fuzzy Model-based Servo Control for Discrete-Time Nonlinear Systems with Constraints”, Proceedings of the 18th World Congress of International Federation of Automatic Control (IFAC), 9029–9034, Milano, August, 2011.

Y. Cai, H. O. WANG, and X. Xu, “The Kalman Filtering for a class of Local Strongly Coupled Systems”, Proceedings of the 2011 Chinese Control and Decision Conference (CCDC), 1962–1966, Mianyang, China, May 23–25, 2011.

H. Jung, Y. G. Kim, D. H. Kim, and H. O. WANG, “Remote Robot Control Learning Powered by Bluetooth Communication”, Proceedings of the IASTED International Conference Technology for Education and Learning (TEL 2011), Beijing, China, October 24–25, 2011.

Proceedings (refereed) (continued)

Arlington, VA, June 14, 2011.

November 17, 2011.

F. Pan, J. Yao, W. Xu, and H. O. WANG, “Switching Topology Estimation of Complex Dynamical Networks in Finite Time”, Proceedings of the 2012 International Conference on System Simulation, Shanghai, China, April 6–9, 2012.

J. BAILLIEUL, “Information Gradients and Topology in Random Fields”, delivered at the Conference” Applied Algebraic Topology”, ETH Zurich, July 6, 2011. See www.fim.math.ethz.ch/conferences/2011/ applied algebraic topology/Talks.

C. BELTA, “Verification and Control of Piecewise Affine Systems with Applications to Synthetic Biological Networks”, TU Eindhoven, Department of Electrical Engineering, Eindhoven, Netherlands, November 16, 2011.

Y. Cai, H. O. WANG, and X. Xu, “Distributed Filtering Basing Consensus for the Local Strongly Coupled Systems”, Proceedings of the 10th World Congress on Intelligent Control and Automation (WCICA 2012), in press, Beijing, China, July 6–8, 2012.

J. BAILLIEUL, “Brockett-Heisenberg Systems and Geometric Aspects of Control Communication Complexity”, Lecture at the Mathematisches Forschungsinstitut Oberwolfach, Oberwolfach, Germany.

Workshop on Applied Dynamics and Geometric Mechanics, August 14–20, 2011.

C. BELTA, “Verification and Control of Piecewise Affine Systems with Applications to Synthetic Biological Networks”, ETH, Automatic Control Laboratory, Zurich, Switzerland, November 9, 2011.

F. Liu, H. O. WANG, and Z. H. Guan, Stability Analysis and Control of Bifurcation in a TCP Fluid Flow Model of Wireless Networks, Proceedings of the 10th World Congress on Intelligent Control and Automation (WCICA 2012), in press, Beijing, China, July 6–8, 2012.

Invited Lectures S. B. ANDERSSON, “Motion control in an uncertain world”, Invited Lecture at Cornell University Department of Mechanical and Aerospace Engineering, August 29, 2011.

S. B. ANDERSSON, “Studying dynamics in nanometer-scale systems through tracking”, Invited Lecture at Cornell University Applied and Engineering Physics, August 30, 2011.

S. B. ANDERSSON, “Studying dynamics in nanometer-scale systems through tracking,” Invited Lecture at Agilent Technologies, September 26, 2011.

J. BAILLIEUL, “IEEE PUBLISHING from its dawn to the present”, IEEE Region 1 Student Conference held at Boston University, Photonics Center, March 26, 2011.

J. BAILLIEUL, Plenary Lecture: “Information Based Control and Control Communication Complexity”, at the Asian Control Conference, Kaohsiung, Taiwan.1, May 17, 2011.

J. BAILLIEUL, “Brockett-Heisenberg Systems and Geometric Aspects of Control Communication Complexity”, One hour talk at the Santa Barbara workshop on ”Decision, Dynamics and Control in MultiAgent Systems,” University of California at Santa Barbara, June 24, 2011.

J. BAILLIEUL, “Behavioral Dynamics in the Cooperative Control of Mixed Human/ Robot Teams”, delivered at the AFOSR Dynamics and Control Program Review,

J. BAILLIEUL, “Information Based Control and Control Communication Complexity”, Kolloquium Technische Kybernetik, Institut fuer Systemtheorie und Regelungstechnik, University of Stuttgart, August 22, 2011.

J. BAILLIEUL, “Teaching Robots to Dance: Information Based Control and Control Communication Complexity”, Colloquium at Havard University Electrical Engineering Seminar, October 14, 2011.

J. BAILLIEUL, “The Standard Parts Optimal Control Problem”, delivered at the IEEE Conf. on Decision and Control Workshop entitled: ”The Work of Peter Crouch,” Sunday, December 11, 2011.

J. BAILLIEUL, The 23rd Hendrik W. Bode Lecture: “Fifty Years of Information Based Control Theory”, delivered at the 50th IEEE Conference on Decision and Control, Orlando Fl., December 15, 2011.

J. BAILLIEUL, “Information Gradients and the Acquisition of Knowledge from Data”, Center of Control Science and Technology Seminar Series, U.T. Dallas, April 2, 2012.

J. BAILLIEUL, “Information gradients and information-based domain partitions of Morse fields”, Fifty-ninth seminar in the ACCESS Distinguished Lecture Series, KTH, Stockholm, Sweden, Thursday May 3, 2012.

C. BELTA, “Formal Methods for DiscreteTime Linear Systems”, University of California, San Diego, Mechanical and Aerospace Engineering, April 13, 2012.

C. BELTA, “Formal Verification and Control of Piecewise Affine Systems with Applications to Biological Networks”, Universite Joseph Fourier and Laboratoire Jean Kuntzmann, Grenoble, France, October 18, 2011.

C. BELTA, “Formal Approaches to Motion Planning and Control”, Groupe de Recherche Modelisation, Analyse et Conduite des Systemes Dynamiques, Paris, France, October 13, 2011.

C. BELTA, “Formal Verification and Control of Piecewise Affine Systems with Applications to Biological Networks”, INRIA, Rocquencourt, France, October 10, 2011.

C. BELTA, “Formal Verification and Synthesis of Discrete-Time Piecewise Affine Systems”, Carnegie Mellon University, School of Computer Science, June 3, 2011.

C. BELTA, “Formal Synthesis Approaches to Robot Motion Planning and Control”, Georgia Institute of Technology, Decision and Control Laboratory, February 28, 2011.

A. BESTAVROS, “Towards a Trustworthy Marketplace for Cloud Resources”, Presented at The DIMACS Workshop on Systems and Networking Advances in Cloud Computing, Rutgers University, Piscataway, NJ., December 2011.

A. BESTAVROS, “An Economics Approach to Secure and Trustworthy Clouds”, Presented at The NIST Cloud Assumption Buster Workshop, NIST, Gaithersburg, MD., October 2011.

C. BELTA, “Formal Methods for Dynamical Systems”, University of Illinois, Urbana Champaign, Coordinated Science Laboratory, February 22, 2012.

A. BESTAVROS, “Mobility Coordination for Improved Ad-Hoc Routing and Field Coverage”, Plenary Talk at the INFORMS Northeastern Regional Conference, May 2011.

C. BELTA, “Verification and Control of Piecewise Affine Systems with Applications to Synthetic Biological Networks”, TU Delft, Department of Mechanical, Maritime, and Materials Engineering, Delft, Netherlands,

A. BESTAVROS, “Mechanism Design for Trustworthy Clouds”, Colloquium presentation in the Computer Science Department, Worcester Polytechnic Institute, Worcester, MA, December 2011.

55

INVITED LECTURES (continued) A. BESTAVROS, “Time in Computer Science: Gauge, Currency, and Illusion”, Nina Zolt Lecture and Discussion Series at Boston University, April 2011.

A. BESTAVROS, “Tussles in Cyberspace”, Guest Lecture in BU/CAS-SOC277: Technology, Society, and Public Policy, February 2011.

A. BESTAVROS, “In Clouds We Trust”, Plenary presentation at the Financial Services Roundtable Technology Group, Washington D.C., June 2011.

A. BESTAVROS, “Trustworthy Interaction in the Cloud”, Presentation at the InfraGard Professional Development Lecture Series, Boston, MA., November 2011.

A. BESTAVROS, “Green Computing: Challenges and Opportunities”, Plenary presentation and panel discussion at the MTTC 6th Conference on Clean Energy, Boston, MA., November 2011.

A. BESTAVROS, “On-Line and Against Authorities: The Role of Social Media in Political Uprisings”, A Lecture and Discussion at the BU/CAS Discoveries Lecture.

M. C. CARAMANIS, “Intermittent Renewable Generation, Distributed Resources and Demand Response: Are Smart Grid Enabled Market Solutions Viable?”, Invited lecture at Northeastern University, ECE Department, Feb 11, 2011.

M. C. CARAMANIS, “Intermittent Renewable Generation, Distributed Resources and Demand Response: Are Smart Grid Enabled Market Solutions Viable?”, Invited lecture at Yale University, E&CS Department, Feb 18, 2011.

M. C. CARAMANIS, “Market Based Demand Response in Smart Grid Supported Power Markets: Power System Requirements and Computational Method Implications”, Invited Lecture at MIT Seminar on Computational Methods for Sustainability, September 29, 2011.

M. C. CARAMANIS, “Flexible Demand Response in Smart Grid Supported Power Markets”, Invited Lecture at the 25th Annual CCW, Smart Grid Session, Hyannis MA, October 10, 2011.

M. C. CARAMANIS, “Market Based Demand Response and efficiency gain opportunities in Smart Grid Supported

56

Electric Power Systems”, Invited Lecture and panel presentation at United Kingdom Consulate General in Boston, UK/US Innovations in Smart Grids Workshop October 31, 2011.

C. G. CASSANDRAS, “Building a CyberPhysical Infrastructure for the Smart City: the Case of “Smart Parking””, Boston University CISE Anniversary Symposium, Boston, MA, May 2012.

C. G. CASSANDRAS, plenary lecture: “Discrete-Event Control in Distributed Systems”, 4th HYCON2 School on Control of Networked and Large-Scale Systems, Trento, Italy, June 2011.

C. G. CASSANDRAS, “Control and Optimization in Cyberphysical Systems: From Sensor Networks to “Smart Parking” Apps”, Tsinghua University, Beijing, China, May 2012.

C. G. CASSANDRAS, “Optimizing the Transportation System’s Response Capabilities”, 5th Annual DHS University Network Summit, Washington, DC., March 2011.

C. G. CASSANDRAS, “Control and Optimization in Cyberphysical Systems: From Sensor Networks to “Smart Parking” Apps”, Beijing Jiaotong University, Beijing, China, May 2012.

C. G. CASSANDRAS, “Cooperative Control of Distributed, Wireless, Networked Systems”, IEEE CSS-UC Irvine Workshop, Irvine, CA, May 2011.

C. G. CASSANDRAS, “Event-Driven Control and Optimization: Where less is often more…”, Keynote Address, 24th Chinese Control and Decision Conference, Taiyuan, China, May 2012.

C. G. CASSANDRAS, “A “Smart Parking” Approach for Urban Settings”, INFORMS 2011 Northeastern Conference, Amherst, MA, May 2011.

C. G. CASSANDRAS, “Control and Optimization of Discrete Event and Hybrid Systems Using “Rapid Learning” Methods”, Xerox Research Center, Webster, NY, August 2011.

C. G. CASSANDRAS, “Preparing Tomorrow’s Scientists and Engineers for the Challenges of the 21st Century”, Panel Session on Education, 18th IFAC World Congress, Milan, Italy, August 2011.

C. G. CASSANDRAS, “Optimization and Dynamic Resource Allocation: From MultiAgent Systems to “Smart Parking” apps”, IEEE CSS-UC Santa Barbara Workshop, Santa Barbara, CA, November 2011.

C. G. CASSANDRAS, “Joys and Perils of Automation: “Smart Parking” for all”, NSF Workshop on “Ideas and Technology of Control Systems”, Orlando, FL, December 2011.

C. G. CASSANDRAS, “An Infinitesimal Perturbation Analysis (IPA) Calculus for Stochastic Hybrid Systems and Games”, Chinese Academy of Sciences, Beijing, China, May 2012.

C. G. CASSANDRAS, “An Infinitesimal Perturbation Analysis (IPA) Calculus for Stochastic Hybrid Systems and Games”, National Taiwan University, Taipei, Taiwan, May 2012.

C. G. CASSANDRAS, “Control and Optimization in Cyberphysical Systems: From Sensor Networks to “Smart Parking” Apps”, National Chiao Tung University, Hsinchu, Taiwan, June 2012.

D. A. CASTAÑÓN, “Algorithms for Cooperative Autonomous Vehicles”, AFOSR Workshop on Mixed Autonomy, Washington, DC, April 2011.

D. A. CASTAÑÓN, “A Random Set Framework for Object Recognition, Data Fusion and Control of Active Sensing”, Pacific Northwest Laboratory, Richland, WA, June 2011.

C. G. CASSANDRAS, “Stochastic Gradient Estimation and Optimization for Discrete Event and Hybrid Systems”, University of Athens, Athens, Greece, April 2012.

D. A. CASTAÑÓN, “Active Sensing: Theories and Algorithms”, Purdue University, December 2011.

C. G. CASSANDRAS, “An Optimal Control Approach for Cooperative Persistent Search Problems”, University of Cyprus, Nicosia, Cyprus, April 2012.

D. A. CASTAÑÓN, “Games, Information and Deception Exploitation for Adversarial Network Systems”, AFOSR Workshop on Dynamics and Control, June 2011.

C. G. CASSANDRAS, “”Smart Parking”: An Optimal Parking Assignment and Reservation System”, University of Cyprus, Nicosia, Cyprus, April 2012.

M. CROVELLA, “Inferring Invisible Traffic”, presented at University of Miami, Dept. of Computer Science, Miami, FL, March 2, 2011.

INVITED LECTURES (continued)

Banff, Canada, 14–19 August, 2011.

M. GEVELBER, M. Cannamela, S. DeLeo, D. Wroblewski, S. Basu, M. Tuttle*, and D. Radgowski, “Plasma spray control design for achieving TBC production and coating quality objectives”, Presented at International Thermal Spray Conference 2011, Hamburg, Germany September 27 29, 2011.

P. ISHWAR, “Action Recognition in Covariance Manifolds”, Worcester Polytechnic Institute (WPI) invited talk in the ECE Department Graduate Seminar Series 17 February 2011.

M. GEVELBER and X. Yan, “Process Dynamics and Control Analysis for Electrospinning Nanofibers”, Proceedings of the 2011 ESA Annual Meeting on Electrostatics, Case Western Reserve University, Cleveland OH, June 14–16, 2011.

M. GEVELBER, “Opportunities for Achieving Significant Energy Reduction in Existing University Buildings: developing efficient HVAC operations”, presented at Association for the Advancement of Sustainability in Higher Education, 2011 Annual Conference: Creating Sustainable Campuses and Communities, in Pittsburgh, PA, October 9–12, 2011.

M. GEVELBER, “When Do Variable Flow Fume Hoods Save Energy? Implications for lab design and behavior modification”, presented at Association for the Advancement of Sustainability in Higher Education, 2011 Annual Conference: Creating Sustainable Campuses and Communities, in Pittsburgh, PA, October 9–12, 2011.

M. GEVELBER, M. Cannamela*, M. Tuttle, D. Radgowski, S. DeLeo, and D. Wroblewski, Poster: “Assessment of particle sensor performance in the plasma spray process”, Presented at International Thermal Spray Conference 2011, Hamburg, Germany September 27 - 29, 2011.

P. ISHWAR, Banff International Research Station for Mathematical Innovation and Discovery: “The Infinite Message Limit of Interactive Source Coding,” International Workshop on Interactive Information Theory, Banff, Canada, 15–20 January 2012.

P. ISHWAR, “Recognizing Human Actions using Feature Covariance Matrices”, University of Massachusetts, Amherst, invited talk in the ECE Department Seminar Series, 17 October 2011.

P. ISHWAR, “Exploring Function and Distribution Structure in Interactive Computing Through Examples”, Banff International Research Station for Mathematical Innovation and Discovery International Workshop on Algebraic Structure in Network Information Theory,

P. ISHWAR, “Action Recognition on Covariance Manifolds”, Tufts University, invited talk in the ECE Department Colloquium, 25 January 2011.

W. C. KARL, “Impact of Sensing Structure in Classification of High-Dimensional Medical Informatics Data”, Invited lecture, Workshop on Large Data Sets in Medical Informatics, part of the IMA Thematic year on the Mathematics of Information, Minneapolis, MN., November 14–18, 2011.

E. KOLACZYK, “Analysis of Time-Indexed Networks in Epilepsy”, SAMSI Program on Complex Networks, Dynamic Networks Workshop, RTP, North Carolina, January 2011.

E. KOLACZYK, “Statistical Analysis of Network Data”, Centre for Complexity Science, University of Warwick, England, two-day short-course, May 2011.

E. KOLACZYK, “Statistical Analysis of Network Data”, Center for Disease Control Symposium on Statistical Methods, one-day short course, May 2011.

E. KOLACZYK, “Some Progress on Asymptotics for ERGMs”, SAMSI Program on Complex Networks, Transitions Workshop, RTP, North Carolina, June 2011.

E. KOLACZYK, “What is `n’ in Network Modeling”, ICSA Applied Statistics Symposium, New York, New York, June 2011.

E. KOLACZYK, “Statistics and Complex Networks: The Next Frontier”, Annual Joint Statistical Meetings, Miami, Florida, August 2011.

E. KOLACZYK, “Some Results on Asymptotics for Inference in Networks”, Seminaire SSB, l’Universited’Evry, France, September 2011.

E. KOLACZYK, “Some Results on Asymptotics for Inference in Networks”, Seminaire de Statistique, Ecole Nationale de la Statistique et de l’Adminstration Economique (ENSAE), Paris, France, October 2011.

E. KOLACZYK, “A Compressed PCAsubspace Method for Anomaly Detection in High-Dimensional Data”, Séminaire Parisien

de Statistique, l’Universite de Paris VII, Paris, France, November 2011.

E. KOLACZYK, “Multi-Attribute Networks and the Impact of Partial Information on Inference and Characterization”, AgroParisTech Paris, France, November 2011.

E. KOLACZYK, “Multi-Attribute Networks and the Impact of Partial Information on Inference and Characterization”, Machine Learning Seminar, l’Universite Catholique Louvain, Louvain-la-Neuve, Belgium, November 2011.

L. B. LEVITIN, “Fundamental physical capabilities and limitations in communication and computing Foundations of Probability and Physics 6”, FPP6, Vaxjo, Sweden, June 2011.

L. B. LEVITIN, “Equivalence relation between information and work”, Freie Universitaet zu Berlin, Berlin, Germany, June 2011.

T. D. C. LITTLE, “Exploding Interest in Visible Light Communications: An Applications Viewpoint”, Smart Lighting ERC Industry--Academia Day, Troy, NY., February 14, 2012.

T. D. C. LITTLE, “The Great Point Web Cam”, Invited presentation, Great Point Circle Board of Directors, Trustees of Reservations, Nantucket, MA, September 1, 2011.

T. D. C. LITTLE, “Web Cameras”, Presentation, Consortium for Ocean Sensing In the Nearshore Environment, COSINE Advisory Board Meeting, MIT Sea Grant College Program, Cambridge MA, May 20, 2011.

T. D. C. LITTLE, “Smart Lighting and Sustainability”, Invited presentation, Sparking the Sustainable Neighborhood — Global Challenges Create local Opportunities, June 17, 2011.

T. D. C. LITTLE, “Enabling Technology (to Support Earth Observation)”, Invited Presentation, Boston University Earth Systems Forum, Boston University, February 4, 2011.

A. M. Vegni and T. D. C. LITTLE, “Handover in VLC Systems with Cooperating Mobile Devices”, Proc. of Mobility and Communication for Cooperation and Coordination (MC3) Workshop, part of the IEEE Intl. Conference on Computing, Networking and Communications (ICNC 2012), Maui, Hawaii, USA, January 30 February 2, 2012.

57

INVITED LECTURES (continued) T. D. C. LITTLE, “Ubiqutous Networking for Human Containers”, Invited Presentation, NSF Workshop on Pervasive Computing at Scale (PeCS), Seattle, WA, January 2011.

A. Matta, “RINA: Internet Security as a Consequence of Good Architecture”, BU RISCS–InfraGard Boston Meeting, Boston, MA, April 2012.

A. Matta, “Recursive InterNetwork Architecture (RINA)”, Panel on NextGeneration Computer Networks at the 20th IEEE Conference on Computer Communication Networks (ICCCN), Maui, Hawaii, August 2011.

I. C. PASCHALIDIS, H. MIRZAEI, D. Kozakov, S. VAJDA, and P. VAKILI, “A New Approach to Rigid-Body Minimization with Applications to Molecular Docking”, Poster presentation, Boston University Science and Engineering Day, April 2012. (awarded a CISE Honorable Mention) I. C. PASCHALIDIS, “On the Maximum Weighted Independent Set with Applications in Wireless Networks and Protein Docking”, Invited Lecture, Department of Electrical and Computer Engineering, The Ohio State University, March 6, 2012.

I. C. PASCHALIDIS, “A Coordinated Approach to Cyber-Situation Awareness based on Traffic Anomaly Detection”, Invited Talk, Army Research Laboratory, Adelphi, Maryland, November 2011.

E. PEKÖZ, “Asymptotics for preferential attachment random graphs via Stein’s method”, Stochastics and Applications Seminar, Massachusetts Institute of Technology, Cambridge, MA, October 2011.

E. PEKÖZ, “Teaching the intuitive understanding of mathematical concepts with examples”, Center for Excellence and Innovation in Teaching workshop series, Boston University, Boston, Massachusetts, October 15, 2011.

E. PEKÖZ, “Asymptotics for preferential attachment random graphs via Stein’s method”, Probability and Statistics Seminar, Department of Mathematics, Boston University, Boston, MA, Boston Massachusetts, October 1, 2011.

E. PEKÖZ, “Improving Approximations Using Stein’s Method”, Applied Stochastic Models and Data Analysis Conference (ASMDA2011), Rome, Italy, June 1, 2011.

58

E. PEKÖZ, “The Manager’s Guide to Statistics: a new approach for teaching business statistics concepts without formulas”, Northeast Decision Science Institute conference, Montréal, April 1, 2011.

V. SALIGRAMA, “Anomaly Detection Algorithms with Applications in Video Analytics”, LISC Imaging Workshop, MIT Lincoln Labs, May 2011.

V. SALIGRAMA, “A Pixel Level Approach to Video Analytics”, NGA Symposium, August 2011.

V. SALIGRAMA, “A Pixel Level Approach to Video Analytics, LISC DHS S&T Workshop”, MIT Lincoln Labs, November 2011.

V. SALIGRAMA, “A Mutual Information Characterization of Sparse Signal Processing”, Information Theory and Applications Workshop, UCSD, 2011.

V. SALIGRAMA, “A Mutual Information Characterization of Sparse Signal Processing”, Allerton, UIUC, 2011.

V. SALIGRAMA, “Shannon Theory, Sparse Signal Processing and the Value of Information”, ARO Workshop, Univ. of Michigan, 2012.

V. SALIGRAMA, “Local Anomaly Detection, Information Theory and Applications Workshop”, UCSD, 2012.

D. STAROBINSKI, “Jamming-Resistant Rate Control in Wi-Fi Networks”, Northeastern University, May 2012.

A. TRACHTENBERG, “The elegant random linear code”, Ben Gurion University, June 2012.

S. VAJDA, “Multistage protein docking and the prediction of transition states”, Protein and RNA Structure Prediction Conference 2011, Xcaret, Mexico, December 3, 2010.

S. VAJDA, “Fragment-based computational tools for the analysis of receptor-ligand interactions”, Indiana University School of Medicine, Indianapolis IN., November 28, 2011.

S. VAJDA, “Analysis and design of receptor-ligand interactions by computational mapping of macromolecules”, FORMA Therapeutics, Cambridge, MA., November 4, 2011.

S. VAJDA, “Analysis and design of receptor-ligand interactions by computational mapping of macromolecules”, Department of Molecular and Cell Biology, Boston University Henry

M. Goldman School of Dental Medicine, Boston MA., October 24, 2011.

S. VAJDA, “Fragment-Based Computational Tools for the Analysis of Receptor-Ligand Interactions”, Department of Structural and Chemical Biology, Mount Sinai School of Medicine, New York, NY., October 20, 2011.

S. VAJDA, “Studying Druggability of Protein-Protein Interaction Sites by Computational Solvent Mapping Method FTMap”, 242nd National Meeting of the American-Chemical-Society (ACS), Denver, CO., August 29, 2011.

S. VAJDA, “Identification of Druggable Sites for Protein-Protein Interaction Targets by Computational Fragment Mapping”, CHI Drug Discovery Chemistry, San Diego, CA., April 14, 2011.

S. VAJDA, “Protein–protein docking: is the glass half-full or half-empty?”, Schrodinger Inc. User Conference, San Diego, CA., April 15, 2011.

P. VAKILI, “Variance Reduction for Monte Carlo via Information Storage and Reuse”, Mathematics Department, Boston University, November 2011.

Abstracts M. ALANYALI A. Daoud, and D. STAROBINSKI, “Profitability of sharing spectrum with secondary users”, Information Theory and Applications Workshop, (ITA 2011) UCSD, February 2011.

R. Sweha, V. Ishakian, and A. BESTAVROS, “Angel Cast: Cloud-based Peer-Assisted Live Streaming Using Optimized Multi-Tree Construction”, Technical Report BUCSTR-2011–026, CS Department, Boston University, December 14, 2011.

V. Ishakian, R. Sweha, A. BESTAVROS, and J. Appavoo, “Dynamic Pricing For Efficient Workload Colocation”, Technical Report BUCS-TR-2011–024, CS Dept., Boston University, November 15, 2011.

V. Ishakian, D. Erdos, E. Terzi, and A. BESTAVROS, “A Framework for the Evaluation and Management of Network Centrality”, Technical Report BUCSTR-2011–022, CS Department, Boston University, October 13, 2011.

N. Soule, A. BESTAVROS, V. Ishakian, A. Kfoury, and A. Lapets, “Use Cases for Compositional Modeling and Analysis

Abstracts (continued) of Equation-based Constrained Flow Networks”, Technical Report BUCSTR-2011–019, CS Department, Boston University, July 15, 2011.

A. BESTAVROS and A. Kfoury, “A Domain Specific Language for Incremental and Modular Design of Large-Scale VerifiablySafe Flow Networks (Preliminary Report)”, Technical Report BUCS-TR-2011–016, CS Department, Boston University, July 11, 2011.

R. Skowyra, A. BESTAVROS, and S. Goldberg, “The Zenith Attack: Vulnerabilities and Countermeasures”, Technical Report BUCS-TR-2011–015, CS Department, Boston University, May 15, 2011.

A. BESTAVROS, D. Erdos, V. Ishakian, A. Lapets, and E. Terzi, “The Filter-Placement Problem and its Application to Content De-Duplication”, Technical Report BUCSTR-2011–005, CS Department, Boston University, February 21, 2011.

N. Soule, A. BESTAVROS, A. Kfoury, and A. Lapets, “Safe Compositional Network Sketches: NetSketch Tool Implementation”, Technical Report BUCS-TR-2011–004, CS Department, Boston University, February 8, 2011.

V. Ishakian and A. BESTAVROS, “MorphoSys: Efficient Colocation of QoS-Constrained Workloads in the Cloud”, Technical Report BUCS-TR-2011–002, CS Department, Boston University, January 25, 2011.

Meeting of the American-Chemical-Society (ACS), Denver, CO., August 28, 2011.

American-Chemical-Society (ACS), Denver, CO., August 31, 2011.

S. VAJDA, “In silico modeling of the capbinding protein eIF4E: From binding site identification to ligand selection”, Beglov Dmitri; Hall David; Ngan Chi Ho; et al.; 242nd National Meeting of the AmericanChemical-Society (ACS), Denver, CO., August 28, 2011.

S. VAJDA, W. Adrian, “Protein-macrocycle interactions: Elucidating key features with fragment based mapping”, Villar Elizabeth A.; 242nd National Meeting of the American-Chemical-Society (ACS), Denver, CO., September 1, 2011.

S. VAJDA, “FTFlex: Introducing flexibility to computational solvent mapping method FTMap”, Grove Laurie; Hall David; Beglov Dmitri; et al.; 242nd National Meeting of the American-Chemical-Society (ACS), Denver, CO., August 29, 2011.

S. VAJDA, “Fragment-based druggability measures in drug targets”, Hall David R.; Ngan Chi Ho; Zerbe Brandon; et al.; 242nd National Meeting of the AmericanChemical-Society (ACS), Denver, CO., August 30, 2011.

S. VAJDA, “Multi stage approach to protein-protein docking”, Kozakov Dima; Hall David; Beglov Dmitri; et al.; 242nd National Meeting of the AmericanChemical-Society (ACS), Denver, CO., August 30, 2011.

S. VAJDA, “Finding druggable sites on transmembrane proteins using computational solvent mapping FTMap”, Kozakov Dima; Hall David; Beglov Dmitri; et al.; 242nd National Meeting of the American-Chemical-Society (ACS), Denver, CO., August 31, 2011.

R. T. LOCKE and I. C. PASCHALIDIS, “Composite Hypothesis Testing Error Exponents with Applications to CBRN Release Localization”, Stochastic Networks Conference, Cambridge, Massachusetts, June 18–22, 2012.

S. VAJDA, “Determination of the location of the allosteric effector binding site in phenylalanine hydroxylase”, Napoleon Raeanne L.; Soltau Sarah R.; Hall David R.; et al.; 242nd National Meeting of the American-Chemical-Society (ACS), Denver, CO., August 31, 2011.

D. Bertsimas, V. Gupta, and I. C. PASCHALIDIS, “Inverse Optimization: A New Perspective on the Black-Litterman Model”, INFORMS Annual Meeting, Charlotte, North Carolina, November 13–16, 2011.

S. VAJDA, “Increasing the accuracy of protein binding site prediction”, Ngan Chi Ho; Hall David; Zerbe Brandon; et al.; 242nd National Meeting of the AmericanChemical-Society (ACS), Denver, CO., August 31, 2011.

S. VAJDA, “Minimal ensembles of side chain conformers for modeling proteinprotein interactions”, Beglov Dmitri; Hall David; Kozakov Dima; et al.; 242nd National

S. VAJDA, “Towards manipulating proteinprotein interactions in Ras”, O’Connor Casey; Zerbe Brandon; Napoleon Raeanne; et al.; 242nd National Meeting of the

S. VAJDA, “Relationship between energetic hot spots and druggable hot spots of proteins”, Zerbe Brandon; Hall David; Kozakov Dima; et al.; 242nd National Meeting of the American-Chemical-Society (ACS), Denver, CO., September 1, 2011.

S. VAJDA, “Computational mapping of nucleic acids”, Tang Jisi; Beglov Dimitri; Kozakov Dima; et al.; 242nd National Meeting of the American-Chemical-Society (ACS), Denver, CO., September 1, 2011.

Editorials

A. BESTAVROS, A. Kfoury, and A. Lapets, “Seamless Composition and Integration: A Perspective on Formal Methods Research”, An editorial postlude of the special issue of Mathematical Structures in Computer Science on Practical and Lightweight Formal Methods for the Design, Modeling and Analysis of Software Systems, in press, 2012.

C. G. Cassandras, “A Healthy Identity Crisis”, IEEE Control Systems Magazine, 32(1): 10–14, 2012.

C. G. Cassandras, “It’s Just So Darn Hard…”, IEEE Control Systems Magazine, 32(2): 10–11, 2012.

C. G. Cassandras, “Fifty Years of CDCs: Rises, Falls, and Trends in Systems and Control”, IEEE Control Systems Magazine, 32(3): 10–13, 2012.

Patents

C. G. CASSANDRAS, “Method and System for Dynamic Parking Allocation in Urban Settings”, Provisional Patent 61/521,424.

W. C. KARL, Z. Liang, H. Pien, T. Brady, “Decomposition based medical image processing,’’ United States Patent Number 8,031,927. October 4, 2011.

59

Student Publications & activity Journal Articles R. M. ESTANJINI, Y. Lin, K. Li, D. Guo, and I. C. PASCHALIDIS, “Optimizing Warehouse Forklift Dispatching using a Sensor Network and Stochastic Learning”, IEEE Transactions on Industrial Informatics, 7(3): 476–486, August 2011, www.ionia.bu.edu/Publications/ papers/forklifts-TII-2011.pdf.

R. M. ESTANJINI and I. C. PASCHALIDIS, “On Delay-minimized Data Harvesting with Mobile Elements in Wireless Sensor Networks”, Ad Hoc Networks, 10: 1191–1203, 2012.

R. M. ESTANJINI, K. Li, and I. C. PASCHALIDIS, “A Least Squares Temporal Difference Actor-Critic Algorithm with Applications to Warehouse Management”, Naval Research Logistics, 59(3): 197–211, 2011.

P. A. Ruiz, J. M. FOSTER, A. Rudkevich, and M. C. CARAMANIS, “Tractable Transmission Topology Control using Sensitivity Analysis”, IEEE Transactions on Power Systems, in press, 2012.

J. M. FOSTER, G. Trevino, M. C. CARAMANIS, and M. Kuss, “PlugIn Electric Vehicle Coordination with Renewable Generation: Theory and Application”, in press, IEEE Systems Journal, 2012.

I. C. PASCHALIDIS, B. LI, and M. C. CARAMANIS “Demand-Side Management for Regulation Service Provisioning through Internal Pricing”, IEEE Transactions on Power Systems, in press, 2012.

I. C. PASCHALIDIS and B. LI, “On Energy Optimized Averaging in Wireless Sensor Networks”, IEEE Transactions on Automatic Control, Special Issue on Wireless Sensor and Actuator Networks, 56(10): 2290– 2304, October 2011, http://ionia.bu.edu/ Publications/papers/wireless-consensusTAC-2011.pdf.

60

I. C. PASCHALIDIS, B. LI, and M. C. CARAMANIS, “A Market-Based Mechanism for Providing DemandSide Regulation Service Reserves’”, IEEE Transactions on Power Systems, in press, 2012.

A. KEBARIGHOTBI and C. G. CASSANDRAS, “Optimal Scheduling of Parallel Queues Using Stochastic Flow Models”, J. of Discrete Event Dynamic Systems, 21(4): 547–576, 2011.

Y. Sarikaya, I. C. Atalay, O. Gurbuz, O. Ercetin, A. ULUSOY, “Estimating the channel capacity of multi-hop IEEE 802.11 wireless networks,” Ad Hoc Networks, 10(6): 1058–1075, 2012.

T. WANG and C. G. CASSANDRAS, “Optimal Control of Batteries with Fully and Partially Available Rechargeability”, Automatica, in press, 2012.

I. C. PASCHALIDIS and R. WU, “Robust Maximum Lifetime Routing and Energy Allocation in Wireless Sensor Networks”, International Journal of Distributed Sensor Networks, in press, 2012 C. YAO and C. G. CASSANDRAS, “Resource Contention Games in Multiclass Stochastic Flow Models”, Nonlinear Analysis: Hybrid Systems, 5(2): 301–319, 2011.

C. YAO and C. G. CASSANDRAS, “Perturbation Analysis and Optimization of Multiclass Multi-objective Stochastic Flow Models”, J. of Discrete Event Dynamic Systems, 21(2): 219–256, 2011.

C. YAO and C. G. CASSANDRAS, “Perturbation Analysis of Stochastic Hybrid Systems and Applications to Resource Contention Games”, Frontiers of Electrical and Electronic Engineering in China, 6(3): 453–467, 2011.

C. YAO and C. G. CASSANDRAS, “Using Infinitesimal Perturbation Analysis of Stochastic Flow Models to Recover

Performance Sensitivity Estimates of Discrete Event Systems”, J. of Discrete Event Dynamic Systems, in press, 2012.

C. YAO and C. G. CASSANDRAS, “A Solution to the Optimal Lot Sizing Problem as a Stochastic Resource Contention Game”, IEEE Trans. on Automation Science and Engineering, in press, 2012.

M. ZHONG, and C. G. CASSANDRAS, “Distributed Coverage Control and Data Collection with Mobile Sensor Networks”, IEEE Trans. on Automatic Control, AC5:(10); 2445–2455, 2011.

Proceedings E. AYDIN GOL and C. BELTA, “TimeConstrained Temporal Logic Control of Multi-Affine Systems”, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012.

E. AYDIN GOL, Mircea Lazar, and C. BELTA, “Language-Guided Controller Synthesis for Discrete-Time Linear Systems”, Hybrid Systems Computation and Control (HSCC), Beijing, China, in press, 2012.

G. Richard, H. J. Chang, I. CIZELJ, C. BELTA, A. Julius, and S. Amar, “Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses”, CDC 2011, Orlando, FL, 2011.

I. CIZELJ, X. C. Ding, M. Lahijanian, A. Pinto, and C. BELTA, “Probabilistically Safe Vehicle Control in a Hostile Environment”, 18th IFAC World Congress. Milan, Italy, 2011.

R. M. ESTANJINI, X. C. Ding, M. Lahijanian, C. BELTA, and I. C. PASCHALIDIS, “Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control”, Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, Florida, December 12–15, 2011.

P. A. Ruiz, J. M. FOSTER, A. Rudkevich, and M. C. CARAMANIS, “On Fast Transmission Topology Control Heuristics”, Proceedings, of the 2011 IEEE PES General Meeting, Detroit, Michigan, USA. July 26 - July 29, 2011.

A. KEBARIGHOTBI, and C. G. CASSANDRAS, “Optimal Scheduling of Parallel Queues with Stochastic Flow Models: The c-mu-rule Revisited”, Proc. of 18th IFAC World Congress, 8223–8228, August 2011.

Saint Paul, MN, USA, 2012.

M. C. CARAMANIS and J. M. FOSTER, “Uniform and Complex Bids for Demand Response and Wind Generation Scheduling in Multi-Period Linked Transmission and Distribution Markets”, Proceedings of the 50th CDC, Dec 2011.

I. C. PASCHALIDIS, B. LI, and M. C. CARAMANIS “Market-Based Mechanism for Providing Demand-Side Regulation Service Reserves”, Proceedings of the 50th Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, Florida, December 12–15, 2011.

J. WANG, V. SALIGRAMA, and D. A. CASTAÑÓN, “Structural Similarity and Distance in Learning”, 2011 Allerton Conference, Urbana, IL, October 2011.

J. M. FOSTER, P. A. Ruiz, A. Rudkevich, and M. C. CARAMANIS, “Economic and Corrective Applications of Tractable Transmission Topology Control”, Proceedings, 49th annual Allerton Conference on Communication, Control and Computing, September 27–30, 2011.

Y. GENG, and C. G. CASSANDRAS, “Dynamic Resource Allocation in Urban Settings: A “Smart Parking” Approach”, Proc. of 2011 IEEE Multi-Conference on Systems and Control, October 2011.

Y. GENG, and C. G. CASSANDRAS, “A New “Smart Parking” System Based on Optimal Resource Allocation and Reservations”, Proc. of 14th IEEE Intelligent Transportation Systems Conf., 979–984, November 2011.

A. KEBARIGHOTBI, and C. G. CASSANDRAS, “Timeout Control in Distributed Systems Using Perturbation Analysis”, Proc. of 50th IEEE Conf. Decision and Control, 5437–5442, 2011.

A. KEBARIGHOTBI, and C. G. CASSANDRAS, “A General Framework for Modeling and Online Optimization of Stochastic Hybrid Systems”, 4th IFAC Conf.

Analysis and Design of Hybrid Systems, in press, 2011.

I. C. PASCHALIDIS, W. Dai, D. Guo, Y. Lin, K. Li, and B. LI, “Posture Detection with Body Area Networks”, Proceedings of the Body Area Networks (BodyNets), Conference, Beijing, China, November 7–8, 2011.

I. C. PASCHALIDIS and B. LI, “On Energy Optimized Network Construction for Distributed Averaging in a Dynamic Environment”, Proceedings of the 18th IFAC World Congress, Milan, Italy, August 28 September 2, 2011.

C. G. CASSANDRAS, X. C. Ding, and X. LIN, “An Optimal Control Approach for the Persistent Monitoring Problem”, Proc. of 50th IEEE Conf. Decision and Control, 2907–2912, 2011.

R. T. LOCKE and I. C. PASCHALIDIS, “Stochastic Localization of CBRN Releases”, Proceedings of the 37th International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Kyoto, Japan, March 25–30, 2012.

A. ULUSOY, S. L. Smith, X. C. Ding, and C. BELTA, “Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints”, IEEE International Conference on Robotics and Automation (ICRA), 2012,

A. ULUSOY, S. L. Smith, X. C. Ding, C. BELTA, and D. Rus, “Optimal MultiRobot Path Planning with Temporal Logic Constraints”, IROS, San Francisco, 2011.

X. C. Ding, J. WANG, M. Lahijanian, I. C. PASCHALIDIS, and C. BELTA, “Temporal Logic Motion Control using Actor-Critic Methods”, 2012 IEEE International Conference on Robotics and Automation (ICRA), Saint Paul, MN, USA, May 14–18, 2012.

T. WANG, and C. G. CASSANDRAS, “Optimal Control of Multi-Battery Energyaware Systems”, Proc. of 50th IEEE Conf.

Decision and Control, 1497–1502, 2011.

C. YAO, and C. G. CASSANDRAS, “Using Infinitesimal Perturbation Analysis of Stochastic Flow Models to Recover Performance Sensitivity Estimates of Discrete Event Systems”, Proc. of 18th IFAC World Congress, 8217–8222, August 2011.

D. A. CASTAÑÓN and J. ZHENG, “Fast Algorithms for Stochastic Network Interdiction”, SIAM Conference on Control, Baltimore, MD, July 2011.

Abstracts R. T. LOCKE and I. C. PASCHALIDIS, “Composite Hypothesis Testing Error Exponents with Applications to CBRN Release Localization”, Stochastic Networks Conference, Cambridge, Massachusetts, June 18–22, 2012.

61

SE Photo Contest for Graduate Students In the spring of 2012, the SE Division invited the SE graduate students to enter a photo contest and submit photos of the coolest, most intriguing and visually appealing photos of what they were doing in their laboratories and research.

Alphan Ulusoy won the $100 prize for his fantastic photo of a close-up of a brainstorming session: arduino uno board and custom-designed xbee shield for arduino.

62

research laboratories Andersson LabORATORY

BioRobotics Research Group (BRG)

Professor Sean Andersson www.bu.edu/anderssonlab 110 Cummington St., Boston, MA 02215 617–353–4949

Professor Pierre Dupont www.bu.edu/biorobotics 110 Cummington St., Boston, MA 02215 617–358–1232

The Andersson Laboratory at Boston University focuses on systems and control theory. We are primarily interested in the application areas of nanotechnology, nanobioscience, and robotics. We believe the potential of scanning probe microscopy has not yet been realized. We are investigating novel methods for rapid imaging of samples and for studying dynamics in systems with nanometer-scale phenomena. By replacing the traditional raster-scan approach to imaging with feedback control laws, which drive the sampling scheme, the domain of applicability of scanning probe technologies can be extended deeper into the realm of dynamic processes. Our research on robotics centers on the framework of symbolic control. We aim to develop methods for handling the complexity of robotics in real-world environments. Ongoing work includes the use of symbols to tokenize the environment as well as the control and applications in cooperative control.

The BioRobotics Research Group (BRG) solves theoretical and practical problems in minimally invasive surgery. They specialize in medical robot and instrument design, development of imaging techniques for surgical guidance, modeling tooltissue interaction; and teleoperation/automation of instrument motion. They utilize analytical tools from robotics, dynamics and control together with innovative design techniques to create successful solutions. The team members come from diverse backgrounds with degrees in mechanical/biomedical/ electrical engineering and medicine. Their specialties range from biomedical robotics, clinical practice and imaging to product design and many areas in between.

Advanced Materials Process Control Laboratory Professor Michael Gevelber www.bu.edu/pcl 15 St. Mary’s St., Brookline, MA 02446 617–353–9572 Research in this laboratory focuses on improving materials processing capabilities by applying a controls-based approach.

Our controls-based approach integrates process modeling, sensor development, both system and control design, and experimentation to achieve greater control of material microstructure as well as improving yield and maximizing production rate. Research projects, typically conducted with industry partners, span a range of application areas including opto-electronic applications, advanced engines, power systems, and biomedical applications. Ongoing research projects include real-time control for plasma spray for thermal barrier coatings and fuel cells, e-beam deposition for precision optical coatings, electrospinning of nanofibers, chemical vapor deposition, and Czochralski crystal growth.

Collins LabORATORY Professor Jim Collins www.bu.edu/abl 44 Cummington St., Boston, MA 02215 617–353–0390 Our laboratory is currently working in two areas: 1) We are developing and implementing computational-experimental methods to reverse engineer and analyze gene regulatory networks in microbes and higher organisms. 2) We are designing and constructing synthetic gene networks for a variety of biotechnology and bioenergy applications. We are also using engineered gene networks to study general principles underlying gene regulation.

63

Information Sciences & Systems (ISS) Laboratory Professors Murat Alanyali, Jeffrey Carruthers, Christos Cassandras, David Castañón, Clem Karl, Janusz Konrad, Thomas Little, Prakash Ishwar, Hamid Nawab, Bobak Nazer, Ioannis Paschalidis, Venkatesh Saligrama, David Starobinski, Ari Trachtenberg iss.bu.edu 8 St. Mary’s St., Boston MA 02215 617–353–1668, 617–353–9919

Control of Discrete Event Systems (CODES) Laboratory Professor Christos Cassandras people.bu.edu/cgc/CODES 8 Saint Mary’s Street, Boston MA 02215 617–353–7154 Discrete event systems have their own distinctive features and behavior. The objectives of the CODES Laboratory range from the study of basic mathematical and computer simulation models for these systems to the development of actual software for controlling them. Some of the best-known analytical frameworks and methodologies in this field, such as Rapid Learning Technology (RLT), have been pioneered by members of the CODES Laboratory. Ongoing projects are geared toward applications in automated manufacturing, communication and sensor networks, cooperative control systems, hybrid systems, and the development of the next generation of computer simulation tools. These projects are supported by several federal agencies and by industry. One of the unique characteristics of the CODES Laboratory is its problem-driven philosophy: real world problems motivate some of the best theoretical advances while providing workable solutions for technology transfer.

Hybrid and Networked Systems Laboratory (HyNeSs Lab) Professor Calin Belta hyness.bu.edu 15 St. Mary’s St., Brookline, MA 02446 617–353–9586 We are interested in phenomena that occur when continuous dynamics, described by systems of differential equations, are combined with discrete dynamics, modeled as automata or state transition graphs. Such systems are called hybrid, and examples range from man-made systems such as mobile robots, to naturally occurring systems such as biochemical networks, where the continuous dynamics of metabolic processes is regulated by the logic of gene expression. Our approach to the analysis and control of such systems combine concepts and tools from computer science and control theory. Our current application areas are networked mobile robotics, swarming, gene networks, and genome scale metabolic analysis.

64

The ISS Laboratory groups researchers at Boston University with common interests in research, training and technology transfer in the field of information systems and sciences.

Although members of the ISS Laboratory have a wide variety of research interests, there are four primary concentration areas, namely Image Video & Biomedical Signal Processing, Statistical Learning, Communication Networks, and Systems Control & Optimization. Research from these areas finds application in a wide variety of critical national and international needs, including biomedical signal and image processing for disease detection, remote sensing for atmospheric science, buried land mine detection, distributed and mobile computing, sensor networks, and advanced visual communication and entertainment. The above topics and applications form the focus for exciting and challenging study and thesis work. Several dozen PhD, MEng as well as undergraduate students carry out research within the laboratory. They are supervised by more than a dozen dynamic faculty of international renown and with abundant financial support. The research in the laboratory is supported by various sources, such as the National Science Foundation, National Institutes of Health, Office of Naval Research, Air Force Office of Scientific Research, Defense Advanced Research Projects Agency, as well as industry.

Intelligent Mechatronics Laboratory Professors John Baillieul, Calin Belta and Hua Wang www.bu.edu/iml 110 Cummington Street, Boston MA 02215 617–353–9848 This laboratory is equipped with a wide variety of robotic devices including RF-networked sensor arrays, nearly forty mobile robots, surgical robots, and haptic interfaces. Additional resources include real-time control software, hand-held computing and communication devices, workstations, and a wide variety of sensors and actuators. This equipment is dedicated to research in limited-bandwidth control problems, symbolic control, cooperative systems and control, and imageguided minimally invasive surgery.

Laboratory of Networking and Information Systems (NISLAB) Professors David Starobinski and Ari Trachtenberg nislab.bu.edu 8 St. Mary’s St., Boston, MA 02215 617–353–0202, 617–353–1581 DNISLAB is involved in providing novel perspectives to modern networking with emphasis on scalability, heterogeneity, and performance. Our research roots into the mathematical fields of graph theory and algorithms, probability and stochastic processes, and coding theory with applications to content synchronization, network monitoring, wireless spectrum management, and advanced networking for scientific applications. Laboratory activities include a number of practical and theoretical projects involving about a dozen graduate and undergraduate students in the department.

Multi-Dimensional Signal Processing (MDSP) Laboratory Professor W. Clement Karl mdsp.bu.edu 8 St. Mary’s St., Boston, MA 02215 617–353–1668 The MDSP laboratory conducts research in the general areas of multi-dimensional and multi-resolution signal and image processing and estimation and geometric-based estimation.

The development of efficient methods for the extraction of information from diverse data sources in the presence of uncertainty including: • Enhanced resolution image reconstruction for Cardiac Computerized Tomography • Multisource data fusion • Nanoscale optical microscopy • Biological interface estimation and tracking

Multimedia Communications Laboratory Professor Thomas D.C. Little hulk.bu.edu 8 St. Mary’s St., Boston, MA 02215 617–353–9877 The Multimedia Communications Laboratory (MCL) at Boston University focuses on topics in ubiquitous distributed computing. Our legacy work is in the area of distributed multimedia information systems emphasizing time-dependent and continuous media data such as video. Recent work targets pervasive computing, optical wireless communications with visible spectrum, and mobile, mesh, vehicular, ad hoc, and sensor networks (MANET, VANET, SNET).

Multi-robot Systems Laboratory (MSL) Professor Mac Schwager 44 Cummington St, Room B-14, Boston, MA 02215 617-353-3414 In the Multi-robot Systems Laboratory (MSL), we study group robotic agents that collaborate to accomplish a common task.

We focus on the design, analysis, and implementation of decentralized control, estimation, and learning algorithms for groups of robots. We also develop robotic aerial and ground platforms for validating our algorithms experimentally. The laboratory includes an aerial robot-flying arena with a motion capture system for high-precision, high-speed experimental investigations with autonomous flying robots.

Structural BioInformatics Laboratory Professor Sandor Vajda structure.bu.edu 44 Cummington St., Boston, MA 02215 617–353–4757 The focus of this laboratory is the development and application of computational tools for the analysis of protein structure and protein-ligand interactions. Some of the particular problems we currently study are the evaluation of binding free energy in protein-protein complexes, development of efficient docking algorithms, computational solvent mapping of proteins using molecular probes to identify the most favorable binding positions, method development for fragment-based drug design, construction of an enzyme binding site database, and improving the prediction of protein active sites by homology modeling.

65

the center for information and systems Engineering (cise) www.bu.edu/cise The Center for Information and Systems Engineering (CISE) is a research affiliate of the Division of Systems Engineering. CISE provides an interdepartmental home for faculty and students interested in research in information and control systems theory and its relevance to various application domains encompassing the analysis, design, and management of complex systems that have come to prominence as a result of the information, communication, and computation revolution. Information and systems engineering research at Boston University is strong and accomplished, and it is spread across departments, colleges and schools within the University. CISE faculty have been successful in bringing in multi-million dollar external research support.

Created in 2002, CISE fosters interdisciplinary collaboration and research in emerging applications and the use of methodologies such as optimization methods, information theory, control theory, applied probability, statistics, simulation, decision theory, multiscale modeling, queueing, algorithms, and stochastic processes.

Primary application interests are in the areas of: • Automation, Robotics and Control • Communication and Networking • Computational Biology • Information Sciences • Production, Service and Energy Systems CISE has 35 affiliated faculty and over 100 graduate students as of June 2012. Faculty come from the Department of Mechanical Engineering, Department of Biomedical Engineering, and Department of Electrical and Computer Engineering in the College of Engineering; the Department of Computer Science and the Department of Mathematics and Statistics in the College of Arts and Sciences; and the Departments of Finance, Information Systems and Operations Management in the School of Management.

New faculty joining CISE in 2011–2012 • Luis Carvalho, Mathematics/Statistics (CAS) Assistant Professor • Janusz Konrad, Electrical and Computer Engineering (ENG), Professor • Henry Lam, Mathematics/Statistics (CAS) Assistant Professor • Mac Schwager, Mechanical Engineering (ENG), Assistant Professor

66

Participating Faculty

• Mechanical Engineering (ENG): Professors S. Andersson, J. Baillieul, C. Belta, M. Caramanis, P. Dupont, M. Gevelber, J. Perkins, P. Vakili, H. Wang • Biomedical Engineering (ENG): Professor S. Vajda • Computer Science (CAS): Professors A. Bestavros, M. Crovella, A. Matta • Electrical and Computer Engineering (ENG): Professors M. Alanyali, J. Carruthers, C. Cassandras, D. Castañón (CISE Co-Director), A. Coskun, P. Ishwar, C. Karl, L. Levitin, T. Little, B. Nazar, I. Paschalidis (CISE Co-Director), V. Saligrama, , D. Starobinski, A. Trachtenberg • Math/Statistics (CAS): Professor E. Kolaczyk • Finance (SMG): Professor N. Kulatilaka • Information Systems (SMG): Professor B. Lubin • Operations Management (SMG): Professor E. Peköz

Administration • David Castañón, Co-Director • Ioannis Paschalidis, Co-Director • Linda Grosser, Associate Director • Denise Joseph, Administrator • Cheryl Stewart, Program Administrator

Publications Database The CISE Publications Database is a resource representing the extensive scholarship across participating departments. It is a web-based searchable database of systems and information engineering publications, such as journal articles, conference proceedings, posters abstracts and presentations authored by CISE affiliated faculty and their graduate students. Benefits include: ability to cite pre-journal publication of technical papers, ability for graduate students to “publish”, provides visibility for CISE scholarship.

2011–2012 CISE Accomplishments CISE celebrated its 10 Year Anniversary in 2012 with a Symposium and VIP Dinner Celebration on May 10, 2012. Over 120 academic and industry leaders gathered to hear from internationally renowned scholars and practitioners on recent advances in systems science that are shaping the future.

9th Annual CISE Awards—for Annual Research Symposium April 13, 2012, 15 St. Mary’s Street In conjunction with the BU Science & Engineering Symposium on Wednesday, March 21st, the Center for Information and Systems Engineering recognized CISE graduate student research with the 9th annual CISE awards. These awards were celebrated on April 13 at the CISE Awards Ceremony.

Yanfeng Geng, Christos Cassandras’s graduate student demonstrates the smart parking system.

CISE Seminars and Events CISE manages one of the most vibrant seminar series on campus featuring prominent academic and industrial researchers who present their work to the university audience.

Co-sponsored by the Division of Systems Engineering, these seminars are usually held on Fridays at 3 PM at 8 St. Mary’s Street (see complete list of speakers below).

CISE sponsors events that support its interdepartmental mission and extend its visibility (see description of events below).

• September 15, 2011: Carbon Day, Boston Copley Square • October 29, 2011: Sustainable Neighborhood Lab Showcase • March 21, 2012: Forty CISE students participate in BU Annual Research Symposium • April 13, 2012: CISE BU Research Symposium Awards Celebration • May 10, 2012: CISE Symposium, Systems Science: Shaping Society’s Future • June 28, 2012: Smarter Cities Challenge Event

Carbon Day: September 15, 2011 Boston’s Back Bay CISE co-sponsored BU’s Smart Neighborhood tent, connecting people and research for clean energy and a more sustainable Back Bay. This outdoor event brought BU science and technology research along with vendors of clean technology to Copley Square where they mingled with Back Bay residents, school children, office workers and tourists. Michael Caramanis (CISE affiliated faculty and Co-Director of BU Clean Energy Initiative) participated in this event.

Entries were judged on scientific or engineering innovation, relevance, promise of future impact, societal implications, and the exhibitor’s presentation. All students whose advisors are CISE affiliated were considered for the CISE awards.

Congratulations to CISE First Prize ($500) winner: Yushan Chen—Advisor, Calin Belta “LTL Robot Motion Control based on Automata Learning of Environmental Dynamics” Congratulations to CISE Honorable Mention ($100) winners: Enes Bilgin—Advisor, Michael Caramanis “Provision of Regulation Service Reserves by Flexible Distributed Loads: Optimal Participation in Balancing and Real Time Power Markets” Hanieh Mirzaei—Advisor, Pirooz Vakili “A New Approach to Rigid-body Minimization with Application to Molecular Docking” Alphan Ulusoy—Advisor, Calin Belta “Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints” The 2012 CISE judges were: Murat Alanyali, Associate Professor, Electrical and Computer Engineering, (ENG) Sean Andersson, Associate Professor, Mechanical Engineering, (ENG) Calin Belta, Associate Professor, Mechanical Engineering, (ENG) Ayse Coskun, Assistant Professor, Electrical and Computer Engineering, (ENG) Henry Lam, Assistant Professor, Department of Mathematics & Statistics, (CAS) Mac Schwager, Assistant Professor, Mechanical Engineering, (ENG) David Starobinski, Professor, Electrical and Computer Engineering, (ENG)

Sustainable Neighborhood Laboratory Showcase October 29, 2011 During Boston University’s Alumni weekend, faculty, students and alumni demonstrated projects that could have a positive effect on the urban environment including smart parking, smart buildings and smart lighting. CISE affiliated faculty and student projects represented in the showcase were: Christos Cassandras, “Smart Parking”, Michael Gevelber, “Efficient Sustainable Buildings” and Thomas Little, “Smart Lighting”.

67

CISE Symposium, Systems Science: Shaping Society’s Future May 10, 2012, Boston University, Photonics Center, 8 St. Mary’s Street, Boston, Massachusetts To celebrate faculty and student achievements over the past decade and explore upcoming challenges and opportunities in the field, CISE organized a daylong symposium, “Systems Science: Shaping Society’s Future,” on May 10, 2012.

An “inspiring” conference, with over 120 academic and industry leaders gathered to hear from internationally renowned scholars and practitioners on recent advances in systems science that that are shaping the future in three key areas: • Transportation and Urban Infrastructure Systems science is leading the way toward “smarter” cities where vast sensor networks continuously take the “pulse” of the city, sense emerging security threats, assess utilization of key resources, and feed advanced decision support tools to reduce congestion, optimize resource use, and improve the daily lives of its citizens.

• Healthcare Systems Health care is on the cusp of revolutionary changes. Systems science plays a central role in our ability to synthesize new biological mechanisms, the use of smart devices that can continuously monitor and control body processes, and algorithms that learn and predict from the impending deluge of data in Electronic Health Records, home monitoring stations, and smartphone health monitoring apps.

• Energy and Power Systems The smart grid opens the door to a drastic increase in the use of renewable, yet highly intermittent, sources of electricity, e.g., wind and solar. We can reduce our reliance on fossil fuels by establishing a more responsive electricity demand side and adopting the use of smart appliances, lighting, and plug-in hybrid electric vehicles.

Systems Science: Shaping Society’s Future Agenda Transportation and Civil Infrastructure in Urban Areas • Building a Cyber-Physical Infrastructure for the Smart City: the Case of “Smart Parking” Christos Cassandras, Boston University • Video Analytics for Homeland Security Venkatesh Saligrama, Boston University • Measuring Traffic with Wireless Sensors Pravin Varaiya, University of California, Berkeley Session Chair: David Castañon, Boston University

Healthcare Systems • Designing Clinical Trials for Cancer: An Analytics Approach Dimitris Bertsimas, Massachusetts Institute of Technology • Systems Biology and Drug Discovery James Collins, Boston University • Bringing Autonomous Glucose Control Systems to the Hospital and Outpatient Settings Edward Damiano, Boston University Session Chair: Yannis Paschalidis, Boston University • Lunch and BU Bright Minds: Graduate Student Research Poster Session. This event showcases the newest research from the next generation of emerging Boston University talent.

Energy and Power Systems • Driving Behavior Change with Energy Insights Yoni Ben and Meshulam, Opower • Distributed Demand Control and Power Market Reform Michael Caramanis, Boston University • Architecting the Future Power Grid Eugene Litvinov, ISO New England Session Chair: John Baillieul, Boston University • Panel Discussion, Systems Science: Emerging Challenges and Opportunities Tamer Basar, University of Illinois, Urbana - Champaign.

Y.C. Ho, Harvard University Jeffrey Katz, IBM, Energy and Utilities Bob Tenney, BAE Systems Panel Moderator: P.R. Kumar, Texas A&M University

68

Smarter Cities Challenge June 28, 2012 Combating Climate Change Through Smarter Urban Transportation Policies At this standing room only event, IBM and Boston University presented their findings from their Smarter Cities Challenge research project that was based on a competitive grant program with IBM worth $400,000 to the City. For three weeks this summer, IBM worked with the city, as part of the ongoing efforts of the Mayor’s Office of New Urban Mechanics.

Christos Cassandras, Mark Crovella, Janusz Konrad, Venkatesh Saligrama (CISE affiliated faculty) and their graduate students participated in the data collection and analysis. The work focused on collecting data from the City’s existing network of traffic cameras and sensors and analyzing that data to perform near real-time vehicle counts.

The goals of the Smarter Cities project were to: (a) provide practitioners, researchers & residents with more timely, local, and accurate information about the transportation conditions in Boston, and (b) generate near real-time estimates on traffic related CO2 emissions.

Industrial Outreach CISE has an active industrial outreach program, engaging private sector partners in research collaboration, and as conference and seminar guests. These partnerships provide strategic value to CISE, in their support for research proposals, placements for CISE graduate students and the opportunity to enhance the vitality of our research by learning and reflecting the priorities of the private sector.

Recent industrial participants have included representatives from Constellation Energy, Draper Laboratories, Ember Corporation, EMC, Enernoc, Honeywell International, IBM Corporation, Lenox Hotel, Lincoln Laboratories, The Mathworks, Inc., Millennial Net, Inc., MITRE Corporation, Mitsubishi Electirc Research Laboratories (MERL) NSTAR, Raymond Corporation, Opower, Ruben Companies, Schott Solar North America, Schlumberger, Siemens Enterprise Communications, Siemens Building Technologies, Textron Systems, Yokogawa Electric Co.

Outreach To create visibility, outreach and communications with academic, industry, potential students and other collaborators, CISE implemented new innovative and state-of-the-art social networking and cloud based technologies.

69

CISE Seminar Series (Co-Sponsored With the Division of Systems Engineering)

70

Hosting Professor

Date

Speaker

Title

Institution

Talk Title

16–Sep-11

Carlos Guestrin

Associate Professor

Carnegie Mellon University

Taming Large-Scale Information: Discovering Structure for Human Understanding and Scaling-up Computation with GraphLab

Yannis Paschalidis

23–Sep-11

Alex Dimakis

Assistant Professor

University of Southern California

Network Coding for Cloud Storage

Bobak Nazer

27–Sep-11

Aryeh Kontorovich

Assistant Professor

Ben Gurion University

Learning in Metric Spaces: Classification, Regression, Anomaly Detection

Ari Trachtenberg

30–Sep-11

Weibo Gong

Professor

University of Massachusetts, Amherst

Are Stochastic Dynamics the Foundation of Intelligence?

Christos Cassandras

7–Oct-11

Piotr Indyk

Professor

Massachusetts Institute of Technology

Sparse Recovery Using Sparse Matrices

Venkatesh Saligrama

14–Oct-11

Mac Schwager

Assistant Professor

University of Pennsylvania

Information Driven Control for Multi-Robot Christos Cassandras Estimation in Hazardous Environments

21–Oct-11

Rajesh Rao Nadakuditi

Assistant Professor

University of Michigan

Random Matrix Theory & the Limits of Eigen-analysis Based Weak Signal Detection, Estimation and Classification

Venkatesh Saligrama

28–Oct-11

Gene Cooperman

Professor

Northeastern University

Temporal Debugging via Flexible Checkpointing: Changing the Cost Model

Azer Bestavros

4–Nov-11

Bobak Nazer

Assistant Professor

Boston University

Exploiting Interference through Algebraic Structure

11–Nov-11

Qianchuan Zhao

Professor and Associate Director

Tsinghua University

Overview of joint research on comfort, security and energy savings building control in Tsinghua University

Christos Cassandras

11–Nov-11

Tauhid Zaman

Post-doctoral Researcher

Massachusetts Institute of Technology

Information Extraction with Network Centralities: Finding Rumor Sources and Measuring Influence

Venkatesh Saligrama

18–Nov-11

Steven Low

Professor

California Institute of Technology

Optimal Demand Response for Smart Grid

Michael Caramanis

2–Dec-11

Jose Fridman

Principal Engineer

Qualcomm Inc.

Uplink Interference Management Technique for 3G Femtocells: Challenges and Implementation

Ari Trachtenberg

Talk Title

Hosting Professor

Date

Speaker

Title

Institution

8–Dec-11

(Samuel) QingShan Jia

Associate Professor

The Pursuit of Simple and Good Center for Management for Large-Scale Networked Intelligent and Systems Networked Systems (CFINS), Tsinghua University

Christos Cassandras

9–Dec-11

Todd Coleman

Associate Professor

University of California, San Diego

Feedback Information Theoretic Approaches to Active Learning and Causal Inference

Bobak Nazer

20–Dec-11

Laurent Lessard

Post-doctoral Researcher

Lund University, Sweden

The Two-Player Problem

Venkatesh Saligrama

27–Jan-12

Paolo Zuliani

Technical Coordinator

Carnegie Mellon University

Verification of Stochastic Systems by Statistical Model Checking

Calin Belta

3–Feb-12

John Enright

Research Scientist

Kiva Systems

Optimal Foraging of Renewable Resources

Yannis Paschalidis

10–Feb-12

David Gamarnik

Associate Professor

Massachusetts Institute of Technology

Correlation Decay Property and Inference in Markov Random Fields

Erol Peköz

17–Feb-12

Arya Mazumdar

Postdoctoral Scholar

Massachusetts Institute of Technology

Error-Correction Coding for Flash Memory: Ari Trachtenberg Rank Modulation

2–Mar-12

Peter Ramadge

Professor

Princeton University

Efficiently Learning Sparse Representations Venkatesh Saligrama

9–Mar-12

Patrick Jaillet

Professor

Massachusetts Institute of Technology

Online Optimization under Uncertainty for Searching and Resource Allocation

Christos Cassandras

23–Mar-12

Geoffrey Gordon

Associate Research Professor

Carnegie Mellon University

Spectral Learning Algorithms for Dynamical Systems

Venkatesh Saligrama

30–Mar-12

Evimaria Terzi

Assistant Professor

Boston University

Algorithmic Problems in ReviewManagement Systems

Venkatesh Saligrama

6–Apr-12

Devavrat Shah

Associate Professor

Massachusetts Institute of Technology

Optimal Queue-Size Scaling in Switched Networks

Erol Peköz

13–Apr-12

Ananthram Swami

Senior Research Scientist (ST)

Army Research Laboratory

Opinion Diffusion, Consensus and Radicalization

Venkatesh Saligrama

20–Apr-12

Antonio Conejo

Professor

University of Castilla, La Mancha

Pricing Non-Convexities in an Electricity Pool

Michael Caramanis

27–Apr-12

Craig Wills

Professor

Worcester Polytechnic Institute

Shining Light on Leakage of Private Information Via the Web

Azer Bestravos

4–May-12

R. Srikant

Professor

University of Illinois at UrbanaChampaign

Random Hamiltonian Cycles and Real-Time Streaming in Peer-to-Peer Networks

Ioannis Paschalidis

30–May-12

Ebrahim Nasrabadi

Postdoctoral Associate

Massachusetts Institute of Technology

On the Power of Randomization in Robust Optimization and Network Interdiction

Ioannis Paschalidis

71

Visiting committee The Division of Systems Engineering Visiting Committee gathered for a formal meeting on May 11, 2012 at 15 St. Mary’s Street. The meeting was attended by nine of the ten committee members, along with Division Heads, Staff and other SE participating faculty. The Visiting Committee heard brief presentations from the Dean, Division Heads, and others, and a questionand-answer period generated comments and lively discussions throughout the meeting. After lunch at the Elephant Walk, the committee attended a Graduate Student Research Poster Session in the 7th floor Atrium, fostering one-on-one interaction with SE students.

The Visiting Committee then met privately and developed a list of recommendations that were subsequently discussed with the Dean and Division Heads. The meeting adjourned to dinner at Davio’s on Arlington Street.

A written report on the meeting was submitted to the Dean and Division Heads by Dr. Dimitris Bertsimas on May 20, 2012.

72

Attending Visiting Committee Members (from left to right in photo above)

Dr. Yu-Chi (Larry) Ho Dr. Kirk E. Jordan Dr. Andy Grace Dr. Dimitris Bertsimas Dr. Stefan Miesbach Dr. Robert R. Tenney Dr. Pravin Varaiya Dr. Tamar Basar Dr. P. R. Kumar

Visiting committee members TAMER BASAR, Swanlund Endowed Chair, Department of Electrical and Computer Engineering; CAS Professor of Electrical and Computer Engineering, Center for Advanced Study; Research Professor, Coordinated Science Laboratory; Research Professor, Information Trust Institute, University of Illinois at UrbanaChampaign.

P. R. KUMAR, Professor and College of Engineering Chair in Computer Engineering, Texas A&M University.

DIMITRIS BERTSIMAS, Boeing Professor of Operations Research and CoDirector, Operations Research Center, Massachusetts Institute of Technology.

MARK T. MAYBURY, Executive Director, MITRE Information Technology Division; Chief Scientist, US Air Force.

ANDY GRACE, Vice President of Engineering and Design Automation, The MathWorks, Inc.

STEFAN MIESBACH, Vice President, Energy Division of Siemens, Siemens Enterprise Communications, Voice & Video Infrastructure.

YU-CHI (LARRY) HO, Professor Emeritus, Harvard University; Chief Scientist and Chaired Professor, Center for Intelligent and Networked Systems, Tsinghua University, Beijing, China.

ROBERT R. TENNEY, Vice President, BAE Systems Advanced Information Technologies.

KIRK E. JORDAN, Emerging Solutions Executive and Associate Program Director, Computational Science Center, IBM T.J. Watson Research; Member, IBM Academy of Technology.

PRAVIN VARAIYA, Professor of Electrical Engineering and Computer Sciences, University of California, Berkeley.

73

New SE Brochure and website The SE Division collaborated with the College of Engineering Communications Office to produce a new brochure broadly aimed at potential graduate students and industry contacts. The brochure design and content describe the SE Division’s mission, academic programs, and innovative research in four pages. The SE Division’s strengths are further emphasized with a description of research opportunities through CISE and images of students, faculty, and facilities. Below are images of the brochure.

During the past year, the College of Engineering hired Boston University’s Interactive Design Agency to create a new template for the division and department websites. The SE website was updated to the new template in April 2012 with help from the College of Engineering Information Technology Office and Communications Office. The site content and images were updated as well. Below is a screenshot of the website.

74

Boston University Division of Systems Engineering Annual Report 2011–2012 © 2012 Boston University Photography: Boston University Photo Services, except where otherwise noted.

Content: Cheryl Stewart, Elizabeth Flagg, Ruth Mason, SE staff, and SE faculty This report provides a description of the instructional and research activities of the Division of Systems Engineering at Boston University during the 2011–2012 academic year.

Instructional activities are reported from the Fall 2011 through Summer 2012 semesters while scholarly activities and budget information are reported from July 1, 2011 to June 30, 2012.

Boston University’s policies provide for equal opportunity and affirmative action in employment and admission to all programs of the University.

For more information or to download this report as a PDF, please visit our website at www.bu.edu/se.

Front Cover:

Back cover:

Background: Close-up of a brainstorming session: arduino uno board and custom-designed xbee shield for arduino. This photo won first prize in the 2012 SE Photo Contest and was taken by SE graduate student Alphan Ulusoy.

Top photo: SE graduate students participated in a poster session for the SE Visiting Committee in May 2012. Clockwise from top left: Igor Cizelj, Emir Kavurmacioglu, Alphan Ulusoy, Ebru Aydin Gol, Enes Bilgin, Ronald Taylor Locke, Tao Wang, Daniel Rossell, Yasaman Khazaeni, Yanfeng Geng, Hanieh Mirzaei, Fuzhuo Huang, Mohammad Moghadasi, Jiefu Zheng, Bowen Zhang, Qi Zhao, Jing Wang.

Inset photos: Top: Control of Discrete Event Systems (CODES) Laboratory members test “Smart Parking” indoors at Robotic Urban Like Environment (RULE) testbed in CODES lab. (from left to right): Egill Tomasson (MS ‘11), Yanfeng Geng (PhD’13), Professor Christos Cassandras (ECE, SE), Jing Wang (SE graduate student) Middle: Professor Christos Cassandras (ECE, SE) and SE graduate student Yanfeng Geng (PhD’13) have developed a preliminary version of a Smart Parking system that enables a driver to enter a desired destination and price range into a mobile device to reserve a vacant, appropriately priced parking space closest to the destination.

Bottom: Professor John Baillieul (ME, ECE, SE) (left background) and Professor Mac Schwager (ME, SE) (right) collaborate with graduate students in the Intelligent Mechatronics Laboratory (IML). In the foreground, graduate student Dingjiang Zhou holds a quadrotor made in the IML with a laser range finder and a Kinectsensor mounted to it. Professor Mac Schwager holds a miniature quadrotor made in the IML.

Bottom left: The third generation bat copter developed by the Intelligent Mechatronics Laboratory is powered by electric propellers that have been placed so as to balance the body torques on the asymmetric vehicle. Here are two on a single spar.

Bottom right: Professor Ioannis Paschalidis (ECE, SE) and his graduate students meet to discuss ongoing work in wireless sensor networks, including a novel statistical localization system they have developed that enables a wireless Sensor Network (SNET) to determine the physical location of its nodes. From left to right: Mohammad Moghadasi (SE graduate student), Wuyang Dai (ECE graduate student), Hanieh Mirzaei (SE graduate student), Professor Ioannis Paschalidis (ECE, SE), Fuzhuo Huang (SE graduate student), Theodora Brisimi (ECE graduate student), Yingwei Lin (ECE graduate student), Jing Wang (SE graduate student)

75