Final Schedule

1999 AAAI Spring Symposium on

Hybrid Systems and AI

Monday, March 22

9:00 - 10:10 Invited Speaker: Alan Mackworth
The Dynamics of Intelligence:
Constraint-Satisfying Hybrid Systems for Perceptual Agents
10:10 - 10:30 Michael Branicky: Behavioral Programming
10:30 - 11:00 Break
11:00 - 12:30 Behavioral Programming (Chair: Michael Branicky)
11:00 - 12:00 Talks: 12 min. talk + 3 min. for questions & discussion per speaker.
  1. M. Huber and R. A. Grupen: A Hybrid Architecture for Learning Robot Control Tasks
  2. R. Grzeszczuk, D. Terzopoulos and G. Hinton: Fast Neural Network Emulation and Control of Dynamical Systems
  3. R. W. Ghrist and D. E. Koditschek: Safe Cooperative Robot Dynamics on Graphs
  4. S.V. Shastri: On the use of Hybrid Control for Legged Locomotion
12:00 - 12:30 Panel Discussion: Behavioral Programming
12:30 - 2:00 Lunch
2:00 - 3:10 Invited Speaker: Shankar Sastry
Algorithms for the Design of Networks of Unmanned Aerial Vehicles
3:10 - 3:30 P.J. Mosterman and G. Biswas:
Hybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems
3:30 - 4:00 Break
4:00 - 5:30 Poster Session
(Posters will remain on display throughout the symposium for discussion during subsequent breaks. Poster session will start with a 2 min. introduction by each participant listed below.)
  1. C. Baral and T.C. Son: Dynamic Diagnosis (Position Paper)
  2. K. Bohringer, M. E. Campbell and J. Vagners. Intelligent Satellite Teams for Space Systems (Position Paper)
  3. D. Gang and J. Berger: A Unified Neurosymbolic Model of the Mutual Influence of Memory, Context and Prediction of Time Ordered Sequential Events During the Audition of Tonal Music
  4. D. Gang, C. Goldman, D. Lehmann and J. Rosenschein: NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge
  5. J. Grantner and G. Fodor: Execution Monitoring of Domain-Independent Controllers for Hybrid Systems
  6. W.B. Jackson, M.P.J. Fromherz, A.A. Berlin, D.K. Biegelsen, and P. Cheung: Hybrid Problems in Smart Matter Control
  7. S. McIlraith, G. Biswas, D. Clancy and V. Gupta: Towards Diagnosing Hybrid Systems
  8. C. Peterson, J. Rowe, K. Mueller and N. Ziyad: Automated Trend Analysis For Spacecraft Systems
  9. S. Prabhakar and G. Smith: A Multi-Level Organization of Semantic Primitives for Learning Models of Environment Autonomously from Continuous Data for Design (extended abstract)
  10. D. Soffker: Modeling the Human-Machine Interaction: Relations between Human Planning, Cognition, Mental Representation and Action using a Situation-Operator Scheme
  11. M. Soutchanski: Execution Monitoring of High-Level Programs
  12. P. Struss: There Are no Hybrid Systems - A Multiple-Modeling Approach to Hybrid Modeling
5:30 - 6:00 Break
6:00 - 7:00 Reception Oak Room, Tresidder Union

Tuesday, March 23

9:00 - 10:10 Invited Speaker: Tom Henzinger
Hybrid Games
10:10 - 10:30 T. Henzinger, B. Horowitz, R. Majumdar and H. Wong-Toi:
Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods
10:30 - 11:00 Break
11:00 - 12:30 Formal Methods (Chair: Howard Wong-Toi)
11:00 - 11:10 Introduction: Howard Wong-Toi
11:10 - 12:30 Talks: 15 min. + 5min. for questions & discussion per speaker.
  1. J.M. Davoren: On Hybrid Systems and the Modal mu-Calculus (extended abstract).
  2. M. Thielscher: Continuous Processes in the Fluent Calculus
  3. T.G. Kelley: Qualitative Reasoning about Continuous Processes with the Situation Calculus
  4. M. Prokopenko: On Situated Reasoning in Multi-Agent Systems
12:30 - 2:00 Lunch
2:00 - 3:10 Invited Speaker: Brian Williams
Model-Based Programming of Reactive Systems:
The Journey of Deep Space One
3:10 - 3:30 R.P. Goldman, M. Pelican, and D.J. Musliner:
Hard Real-time Mode Logic Synthesis for Hybrid Control: A CIRCA-based approach
3:30 - 4:00 Break
4:00 - 5:30 Synthesis and Control I (Chair: Feng Zhao)
4:00 - 4:15 Introduction: Feng Zhao
4:15 - 5:15 Talks: 13 min. + 2 min. for questions & discussion per speaker.
  1. L. Berardi, E. De Santis and M. D. Di Benedetto: Control of switching constrained systems
  2. M. Easley and E. Bradley: Hybrid phase-portrait analysis in automated system identification
  3. F. Zhao and J. May: Controller Verification for Nonlinear Systems: A computational approach using phase-space geometric models
  4. T.W. Neller: Algorithms for Real-Time Game-Tree Search for Hybrid System Control
5:15 - 5:30 Panel Discussion
5:30 - 6:00 Break
6:00 - 7:00 Plenary Session with other Symposia Education Building's Cubberley Auditorium

Wednesday, March 24

9:00 - 10:30 Synthesis and Control II (Chair: Claire Tomlin)
9:00 - 9:05 Introduction: Claire Tomlin
9:05 - 10:20 Talks: 12 min. + 3 min. questions & discussion per speaker.
  1. E.S. Lemch and P.E. Caines: Hybrid Partition Machines with Disturbances
  2. M. Bjareland and D. Driankov: Synthesizing Discrete Controllers from Hybrid Automata: Preliminary Report
  3. J. Antoniotti and D. Luzeaux: Timed languages, dyadic approximations and regular tree grammars
  4. C. Tomlin, J. Lygeros and S. Sastry: Controller Synthesis for Hybrid Systems: the Hamilton-Jacobi Approach
  5. A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, A. Sangiovanni-Vincentelli: A Case Study of Hybrid Controller Synthesis of a Heating System
10:20 - 10:30 Panel Discussion
10:30 - 11:00 Break
11:00 - 12:30 Applications (Chair: Dan Clancy)
11:00 - 11:10 Introduction: Dan Clancy
11:10 - 12:10 Talks: 12 min. + 3 min. questions & discussion
  1. B. Rinner and B. Kuipers: Monitoring Piecewise Continuous Behaviors by Refining Trackers and their Models
  2. M. Lin: Synthesis of Control Software in a Layered Architecture from Hybrid Automata
  3. J.T. Malin and L. Fleming: Enhancing Discrete Event Simulation by Integrating Continuous Models
  4. M. Page, J. Gensel and M. Boudis: AMIA: an environment for knowledge-based discrete-time systems simulation
12:10 - 12:30 Panel Discussion