Fall 2015 – Spring 2016

Sept. 4
Matthias Rungger, Technical University, Munich
Feedback Refinement Relations for the Synthesis of Symbolic Controllers

Sept. 11
Majid Zamani, Technical University, Munich
When Lyapunov meets Church, Automated Synthesis of Complex Systems Emerges

Sept. 14
Sanjeev Arora, Princeton University
Random Walks on Discourse Spaces: A Generative Model Approach to Semantic Word Embeddings

Sept. 18
Victor Preciado, University of Pennsylvania
Optimal Resource Allocation to Control Epidemic Outbreaks in Networked Populations

Oct. 9
Sertac Karaman, MIT
Breaking the Curse of Dimensionality with Compressed Computation in Approximately Low-rank Instances of Control, Estimation, and Inference Problems

Oct. 16
Wencen Wu, Rensselaer Polytechnic Institute
Bio-inspired Distributed Sensing with Mobile Sensor Networks

Oct. 23
René Vidal, Johns Hopkins University
Algebraic, Sparse and Low Rank Subspace Clustering

Oct. 28 
Davide Raimondo, University of Pavia

Oct. 30
Michael Hasselmo, Boston University, Center for Memory and Brain
Neural Coding of Space and Time in the Cortex

Nov. 6
Daniel Work, University of Illinois at Urbana-Champaign
Traffic Estimation for Extreme Congestion Events

Nov. 13
Amir Aghdam, Concordia University
Connectivity of Asymmetric Networks

Nov. 20
P.R. Kumar, Texas A&M University
CISE Resident Scholar
A Clean Slate Approach to Provable Security for Wireless Networking

Nov. 23
P.R. Kumar, Texas A&M University
CISE Resident Scholar
Demand Response: Architectures, Strategies and Theories
Dec. 4
Emina Soljanin, Bell Labs
Cloud Storage Space vs. Download Time for Large Files

Dec. 11
John Tsitsiklis, MIT
An Analysis of Sparse, Limited Flexibility, Service Architectures

Dec. 18
Asaf Cohen, Ben Gurion University
Coded Retransmission in Wireless Networks via MDPS: Theory and Algorithms

January 22
J. Q. Hu, Fudan University
Computing Equilibrium Prices for a Capital Asset Pricing Model with Heterogeneous Investors

January 29
Yuval Cassuto,Technion
Coded Network Switches

February 10,
Sérgio Pequito, University of Pennsylvania
Neuroscience: A Control Theory and Network Science Perspective

February 12
Aaron Ames, Georgia Tech
Towards the Humanoid Robots of Science Fiction

February 17
Shuo Han, University of Pennsylvania
Data-Driven Control and Optimization for Smart Cities
Faculty Host: John Baillieul

February 19
Constantine Caramanis, University of Texas at Austin
Crowd Sourcing Epidemic Detection

February 24
Mahnoosh Alizadeh, Stanford University
Enabling Large-Scale Electricity Demand Management

February 26
Rebecca Willett, University of Wisconsin-Madison
Estimating High-Dimensional Autoregressive Point Processes

March 2
Sam Felton, Harvard University
Origami in Design, Function, and Fabrication

March 3
Alex Olshevsky, University of Illinois at Urbana-Champaign
Linear Time Consensus and Its Applications to Multi-Agent Control

March 18
Jerry Zhu, University of Wisconsin-Madison
Machine Teaching

March 25
Liyu Wang, University of California, Berkeley
Robot Self Sufficiency Through On-the-fly Fabrication

March 25
Ness Shroff, The Ohio State University
Minimizing Latency in Cloud Based Systems: Replication Over Parallel Servers

March 30
Nikolay Atanasov, University of Pennsylvania
Acquiring Metric and Semantic Information Using Autonomous Robots

April 1
Vasumathi Raman, United Technologies
Connecting the Physical, the Logical and the Human

April 1
Ricardo Sanfelice, University of California, Santa Cruz
Robust Hybrid Feedback Control Design Tools for Networked Systems

April 4
Vijay Gupta, University of Notre Dame
Cyber-Physical-Human Systems: Results and Challenges

April 8
Xiaojun Lin, Purdue University
Managing Uncertainty in Future Smart Grid: An Online-Algorithmic Approach Towards Robust and Efficient Decisions

April 13
Cedric Langbort, University of Illinois at Urbana-Champaign
On Control with Limited Information

April 15
Dimitri Bertsekas, MIT
Incremental Proximal and Augmented Lagrangian Methods for Convex Optimization: A Survey

April 22
Milind M. Buddhikot, DMTS, Nokia Bell Labs
SSPICE for Ultra-broadband Wireless