Hybrid Systems Seminar

University of Pennsylvania

Systems with mixed discrete and continuous dynamics, called hybrid systems, are the theme of this seminar. Examples can be found in both natural and manmade environments, ranging from intercellular and intracellular networks in biology to networked mebdded systems in avionics and automotive controls. Existing theories describe these real-world problems poorly, because the systems do not readily fit into the distinct categories of discrete or continuous domains. Consequently, researchers in different communities are beginning develop new theories and tools to combine the discrete and continuous views. This interdisciplinary seminar is a forum to bring together researchers from a wide range of fields such as biology, computer science, engineering, mathematics, neuroscience, and linguistics.

Schedule for AY 2000-2001

• Oct 13, IRCS Conference Room, 3401 Walnut, 4.30 - 5.30pm
  Computational Methods for Analyzing and Controlling Hybrid Systems
  Claire Tomlin, Stanford University
  Host: George Pappas

• Nov 16, Microbiology Conference Room 209, 2nd FLoor Johnson Pavilion, 12 noon
  The Quorum Sensing Regulatory Network of Vibrio fischeri
  Dr. Paul Dunlop, Center of Marine Biotechnology, University of Maryland at Baltimore.
  Host: Harvey Rubin

• Nov 21, IRCS Conference Room, 3401 Walnut, 3.00 - 4.30pm
  A Methodology for the Construction of Scheduled Systems
  Joseph Sifakis, Verimag, Grenoble.
  Host: Rajeev Alur

• Jan 19, Moore 023, 2.00 - 3.30pm
  Model Checking Tools for Embedded Control Systems
  Bruce Krogh, Dept of Electrical and Computer Engineering, CMU
  Host: Rajeev Alur

• Feb 26, GRASP Lab Conference Room, 10.30 - 12.00
  Using Simplicity to Control Complexity
  Lui Sha, Dept of Computer Science, Univ of Illinois at Urbana-Champaign
  Host: Insup Lee

• March 9, Room 209, Johnson Pavilion (36th and Hamilton), 12 noon
  Biochemical and genetic networks: a search for simple (?) principles
  Stanislav Leibler, Professor of Physics and Molecular Biology, Princeton University
  Host: Harvey Rubin

• April 27, Towne 337, 3 - 4.30pm
  Hybrid Input/Output Automata
  Nancy Lynch, Professor of Electrical Engineering and Computer Science, MIT
  Host: Rajeev Alur

• May 11, Moore 554, 2-3pm
  Disciplining Heterogeneity: the Ptolemy Approach
  Jie Liu, University of California at Berkeley
  Host: George Pappas

• June 22, Towne 337, 2-3pm
  A mathematical programming approach to the analysis and control of hybrid systems
  Manfred Morari, ETH Zurich
  Host: George Pappas

Maintained by Rajeev Alur