ENEE698C (Section 0101) Graduate Seminar: Controls by J. Baras

Spring 2006

 

Course Logistics and Basic Information

Instructor: Professor John S. Baras, A.V. Williams Rm 2249, (301) 405-6606, (baras@isr.umd.edu)

Teaching Assistants:

SEIL Coordinator: Ms. Kim Edwards, A.V. Williams Rm 2245, (301) 405-6579; Fax: (301) 314-9218 (kedwards@isr.umd.edu)

____________________________________________________________________________________________________________________________________________________

Announcements

______________________________________________________________________________________________________________________________________________________________________________________________________

Lectures

____________________________________________________________________________________________________________________________________________________________________________________________________

Homework

____________________________________________________________________________________________________________________________________________________________________________________________________

Homework Solutions

____________________________________________________________________________________________________________________________________________________________________________________________________

Term Projects

___________________________________________________________________________________________________________________________________________________

Grades

___________________________________________________________________________________________________________________________________________________

Text and Other References

___________________________________________________________________________________________________________________________________________________

Student Presentations

Distributed Geodesic Control Laws for Flocking of Nonholonomic Agents presented by Ion Matei

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates and Safety Verification of Hybrid Systems Using Barrier Certificates presented by Gabriel Lipsa

Approximate Bisimulations for Constrained Linear Systems presented by Luke Winternitz

Information Theory and Distributed Source Coding with Side Information presented by Steve Tjoa

Flocking in Fixed and Switching Network presented by Aswin C. Sankaranarayanan

Synchronization in Oscillator Networks: Kuramoto Model, Switching Topologies and Delays presented by Pedram Hovareshti

Nonparametric Belief Propagation for Self-Localization of Sensor Networks presented by Peng Qiu

Joint Source - Channel Coding on Graph and Applications in Sensor Networks presented by Soo Bum Lee

Temporal Logic Motion Planning for Mobile Robots presented by Wei Xi

Network coding presented by Ashock Veeraraghavan

Attach Graphs and Modeling Collaborative Attacks presented by Gelareh Taban

 

___________________________________________________________________________________________________________________________________________________

Presentations

Duality Between Channel Capacity and Rate Distortion with Two-Sided State Information

The Wyner-Ziv Problem with Multiple Sources

Fixed Binning Schemes for Channel and Source Coding Problems: An Operational Duality

Networked Slepian-Wolf: Theory, Algorithms and Scaling Laws

Joint Source-Channel Coding on Graphs and Applications in Sensor Networks

Geometric Programming Duals of Channel Capacity and Rate Distortion

Approximate Bisimulations for Constrained Linear Systems

Temporal Logic Motion Planning for Mobile Robots

Bounded Model Checking of Hybrid Dynamical Systems

Hybrid Controllers for Path Planning: A Temporal Logic Approach

Distributed Geodesic Control Laws for Flocking of Nonholonomic Agents

Synchronization in Oscillator Networks: Switching Toplogies and Non-homogeneous Delays

Approximation of Test Channels in Source Coding

Coordination of Groups of Mobil Autonomous Agents Using Nearest Neighbor Rules

On Wyner-Ziv Networks

Correspondence: The Wyner-Ziv Problem with Multiple Sources

Safety Verification of Hybrid Systems Using Barrier Certificates

Flocking in Fixed and Switching Networks

Nonparametric Belief Propagation for Self-Localization of Sensor Networks

On Joint Source-Channel Coding for the Wyner-Ziv Source and the Gel'fand-Pinsker Channel

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates

Flocking in Teams of Nonholonomic Agents

Using Sample-based Representations Under Communications Constraints

 

___________________________________________________________________________________________________________________________________________________

On-line Resources and References

Georgios E. Fainekos, Hadas Kress-Gazit and George J. Pappas, Hybrid Controllers for Path Planning: A Temporal Logic Approach, In the Proceedings of the 44th IEEE Conference on Decision and Control, Seville, December 2005

Georgios E. Fainekos, Hadas Kress-Gazit and George J. Pappas, Temporal logic motion planning for mobile robots, In the Proceedings of the 2005 International Conference on Robotics and Automation, Barcelona, April 2005


Synchronization in Oscillator networks: Kuramoto model, Switching Topologies and Delays

Nonparametric Belief Propagation for Self-Localization of Sensor Networks

Markov Chain Monte Carlo and Gibbs Sampling

Nonparametric Belief Propagation for Self-Localization of Sensor Networks

Nonparametric Belief Propagation

___________________________________________________________________________________________________________________________________________________

Calendar of Events

 

___________________________________________________________________________________________________________________________________________________