Hybrid/Embedded/Biological Systems Seminar

University of Pennsylvania

This interdisciplinary seminar is a forum to bring together researchers from a wide range of fields such as biology, computer science, engineering, mathematics, and neuroscience. Topics of interest include design tools for embedded systems, modeling and verification of hybrid systems, and behavioral models of biomolecular networks.

Schedule for AY 2001-2002

• Aug 30
  Oded Maler, VERIMAG, Grenoble
  Host: George Pappas

• Oct 25, 2pm, GRASP Lab
  Optimal Control of Hybrid Systems and Some Applications
  Christos Cassandras, Professor of Manufacturing, Boston University
  Host: George Pappas

• Nov 30, 2pm, GRASP Lab Conference Room
  Aggressive Maneuvering of Autonomous Airborne Systems
  Eric Feron
  Department of Aeronautics and Astronautics, MIT
  Host: George Pappas

• January 11, 2pm, GRASP Lab Conference Room
  Jen Davoren
  The Australian National University
  Hybrid Control Loops, A/D Maps, and Dynamic Specifications
  Host: George Pappas

• March 4, 10.30am, GRASP Lab Conference Room
  Tal Pasternak, Vanderbilt University
  A Hierarchical Approach to Reducing the Compelxity of Control Reconfiguration
  Host: Rajeev Alur

• March 21, 11am, GRASP Lab Conference Room
  Thomas Seidman
  Department of Mathematics and Statistics, University of Maryland at Baltimore County
  A Bioremidiation Control Problem with Hybrid Dynamics
  Host: Rajeev Alur

• April 1, 10.30am, GRASP Lab Conference Room
  Gerardo Schneider, Verimag, Grenoble, France
  Algorithmic Analysis of Polygonal Piecewise Constant Differential Inclusions
  Host: Rajeev Alur

• April 4, 11am, GRASP Lab Conference Room
  Datta Godbole, Honeywell Labs
  Towards Autonomous Control of Large-Scale Distributed Systems
  Host: George Pappas

• April 16, 3pm, Moore 216
  Real-Time FRP
  Paul Hudak, Professor of Computer Science, Yale University
  Host: Rajeev Alur

Maintained by Rajeev Alur