CITATION --------- "Hybrid Systems and AI: Modeling, Analysis and Control of Discrete + Continuous Systems", AAAI Technical Report SS-99-05, March, 1999. *************************************** Table of Contents (Excuse the Crude formating) Timed languages, dyadic approximations and regular tree grammars............1 J. Antoniotti and D. Luzeaux A Case Study of Hybrid Controller Synthesis of a Heating System.............7 A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, A. Sangiovanni-Vincentelli. Dynamic Diagnosis (Position Paper).........................................13 C. Baral and T. C. Son Control of switching constrained systems...................................15 L. Berardi, E. De Santis and M. D. Di Benedetto Synthesizing Discrete Controllers from Hybrid Automata -- Preliminary Report.....................................................................21 M. Bjareland and D. Driankov Intelligent Satellite Teams for Space Systems. (Position Paper)...........27 K. Bohringer, M. E. Campbell and J. Vagners. Behavioral Programming.....................................................29 M. Branicky A Conceptual Framework for Modeling and Simulation of Variable Structure Hybrid Systems...................................................35 L. Chen, S. Xia and P. Luker On Hybrid Systems and the Modal mu-Calculus (extended abstract)............41 J. M. Davoren Hybrid phase-portrait analysis in automated system identification..........47 M. Easley and E. Bradley A Unified Neurosymbolic Model of the Mutual Influence of Memory, Context and Prediction of Time Ordered Sequential Events During the Audition of Tonal Music....................................................53 D. Gang and J. Berger NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge..........................................................59 D. Gang, C. Goldman, D. Lehmann and J. Rosenschein Safe Cooperative Robot Dynamics on Graphs..................................65 R. W. Ghrist and D. E. Koditschek Hard Real-time Mode Logic Synthesis for Hybrid Control: A CIRCA-based approach...................................................................71 R. P. Goldman, M. Pelican and D. J. Musliner Execution Monitoring of Domain-Independent Controllers for Hybrid Systems....................................................................77 J. Grantner and G. Fodor Fast Neural Network Emulation and Control of Dynamical Systems.............83 R. Grzeszczuk, D. Terzopoulos and G. Hinton Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods....................................................................89 T. Henzinger, B. Horowitz, R. Majumdar and H. Wong-Toi A Hybrid Architecture for Learning Robot Control Tasks.....................96 M. Huber and R. A. Grupen Hybrid Problems in Smart Matter Control...................................................................101 W. B. Jackson, M. P. J. Fromherz, A.A. Berlin, D.K. Biegelsen and P. Cheung Qualitative Reasoning about Continuous Processes with the Situation Calculus..................................................................103 T. G. Kelley Hybrid Partition Machines with Disturbances...............................109 E. S. Lemch and P. E. Caines Enhancing Discrete Event Simulation by Integrating Continuous Models......117 J. T. Malin and L. Fleming Towards Diagnosing Hybrid Systems.........................................124 S. McIlraith, G. Biswas, D. Clancy and V. Gupta Hybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems...................................................................132 P. J. Mosterman and G. Biswas Algorithms for Real-Time Game-Tree Search for Hybrid System Control.......138 T. W. Neller AMIA: an environment for knowledge-based discrete-time systems simulation................................................................144 M. Page, J. Gensel and M. Boudis Automated Trend Analysis For Spacecraft System............................150 C. Peterson, J. Rowe, K. Mueller and N. Ziyad A Multi-Level Organization of Semantic Primitives for Learning Models of Environment Autonomously from Continuous Data for Design (extended abstract).................................................................152 S. Prabhakar and G. Smith On Situated Reasoning in Multi-Agent Systems..............................158 M. Prokopenko Monitoring Piecewise Continuous Behaviors by Refining Trackers and their Models..............................................................164 B. Rinner and B. Kuipers On the use of Hybrid Control for Legged Locomotion........................170 S. V. Shastri Modeling the Human-Machine Interaction: Relations between Human Planning, Cognition, Mental Representation and Action using a Situation-Operator Scheme.................................................176 D. Soffker Execution Monitoring of High-Level Programs...............................178 M. Soutchanski There Are no Hybrid Systems - A Multiple-Modeling Approach to Hybrid Modeling..................................................................180 P. Struss Continuous Processes in the Fluent Calculus...............................186 M. Thielscher Controller Synthesis for Hybrid Systems: the Hamilton-Jacobi Approach.....192 C. Tomlin, J. Lygeros and S. Sastry Controller Verification for Nonlinear Systems: A computational approach using phase-space geometric models...............................198 F. Zhao and J. May Invited Talks ------------- Hybrid Games..............................................................205 T. Henzinger The Dynamics of Intelligence: Constraint-Satisfying Hybrid Systems For Percerptual Agents........................................................206 A. Mackworth Algorithms for the Design of Networks of Unmanned Aerial Vehicles..................................................................210 S. Sastry Unifying Model-based and Reactive Programming within a Model-based Executive.................................................................228 B.C. Williams and V. Gupta Model-Based Programming of Reactive Systems: The Journey of Deep Space One.......................................................................236 B. C. Williams