Hybrid Systems and AI: Modeling Analysis and Control of Discrete Plus Continuous Systems
Papers from the 1999 AAAI Spring Symposium
Gautam Biswas and Sheila McIlraith, Program Cochairs
Technical Report SS-99-05 published by The AAAI Press, Menlo Park, California. This technical report is also available in book and CD format.
Sample Citation
Branicky, M. 1999. Behavioral Programming. In Hybrid Systems and AI: Modeling Analysis and Control of Discrete Plus Continuous Systems: Papers from the 1999 Spring Symposium, ed. Gautam Biswas and Sheila McIlraith, 21-25. Technical Report SS-99-05. Association for the Advancement of Artificial Intelligence, Menlo Park, California.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
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. Bjäreland and D. Driankov
Intelligent Satellite Teams for Space Systems. (Position Paper) / 27
K. Böhringer, 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 m-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
Ekaterina S. Lemch and Peter E. Caines
Enhancing Discrete Event Simulation by Integrating Continuous Models / 117
Jane T. Malin and Land Fleming
Towards Diagnosing Hybrid Systems / 124
Sheila McIlraith, Gautam Biswas Dan Clancy, Vineet Gupta
Hybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems / 132
Pieter J. Mosterman and Gautam Biswas
Algorithms for Real-Time Game-Tree Search for Hybrid System Control / 138
Todd W. Neller
AMIA: an Environment for Knowledge-Based Discrete-Time Systems Simulation / 144
Michel Page, Jerome Gensel and Mahfoud 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. Söffker
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
Brian C. Williams and Vineet Gupta
Model-Based Programming of Reactive Systems: The Journey of Deep Space One / 236
Brian C. Williams
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.