• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Papers from the 1999 AAAI Spring Symposium /

Hybrid Systems and AI: Modeling Analysis and Control of Discrete Plus Continuous Systems

Contents

  • Qualitative Reasoning about Continuous Processes with the Situation Calculus

    T. G. Kelley

    PDF
  • A Conceptual Framework for Modeling and Simulation of Variable Structure Hybrid Systems

    L. Chen, S. Xia and P. Luker

    PDF
  • Execution Monitoring of High-Level Programs

    M. Soutchanski

    PDF
  • Fast Neural Network Emulation and Control of Dynamical Systems

    R. Grzeszczuk, D. Terzopoulos and G. Hinton

    PDF
  • Dynamic Diagnosis (Position Paper)

    C. Baral and T. C. Son

    PDF
  • Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods

    T. Henzinger, B. Horowitz, R. Majumdar and H. Wong-Toi

    PDF
  • Model-Based Programming of Reactive Systems: The Journey of Deep Space One

    Brian C. Williams

    PDF
  • On Situated Reasoning in Multi-Agent Systems

    M. Prokopenko

    PDF
  • Monitoring Piecewise Continuous Behaviors by Refining Trackers and their Models

    B. Rinner and B. Kuipers

    PDF
  • NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge

    D. Gang, C. Goldman, D. Lehmann and J. Rosenschein

    PDF
  • There Are no Hybrid Systems – A Multiple-Modeling Approach to Hybrid Modeling

    P. Struss

    PDF
  • Algorithms for Real-Time Game-Tree Search for Hybrid System Control

    Todd W. Neller

    PDF
  • Hard Real-time Mode Logic Synthesis for Hybrid Control: A CIRCA-Based Approach

    R. P. Goldman, M. Pelican and D. J. Musliner

    PDF
  • Hybrid Problems in Smart Matter Control

    W. B. Jackson, M. P. J. Fromherz, A. A. Berlin, D. K. Biegelsen, and P. Cheung

    PDF
  • Automated Trend Analysis For Spacecraft System

    C. Peterson, J. Rowe, K. Mueller and N. Ziyad

    PDF
  • Intelligent Satellite Teams for Space Systems. (Position Paper)

    K. Böhringer, M. E. Campbell and J. Vagners

    PDF
  • On the Use of Hybrid Control for Legged Locomotion

    S. V. Shastri

    PDF
  • Timed Languages, Dyadic Approximations and Regular Tree Grammars

    J. Antoniotti and D. Luzeaux

    PDF
  • Unifying Model-based and Reactive Programming within a Model-based Executive

    Brian C. Williams and Vineet Gupta

    PDF
  • Hybrid Phase-Portrait Analysis in Automated System Identification

    M. Easley and E. Bradley

    PDF
  • Controller Synthesis for Hybrid Systems: the Hamilton-Jacobi Approach

    C. Tomlin, J. Lygeros and S. Sastry

    PDF
  • Towards Diagnosing Hybrid Systems

    Sheila McIlraith, Gautam Biswas Dan Clancy, Vineet Gupta

    PDF
  • Behavioral Programming

    M. Branicky

    PDF
  • A Case Study of Hybrid Controller Synthesis of a Heating System

    A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, A. Sangiovanni-Vincentelli

    PDF
  • Modeling the Human-Machine Interaction: Relations between Human Planning, Cognition, Mental Representation and Action using a Situation-Operator Scheme

    D. Söffker

    PDF
  • Execution Monitoring of Domain-Independent Controllers for Hybrid Systems

    J. Grantner and G. Fodor

    PDF
  • Algorithms for the Design of Networks of Unmanned Aerial Vehicles

    S. Sastry

    PDF
  • A Unified Neurosymbolic Model of the Mutual Influence of Memory, Context and Prediction of Time Ordered Sequential Events During the Audition of Tonal Music

    D. Gang and J. Berger

    PDF
  • A Multi-Level Organization of Semantic Primitives for Learning Models of Environment Autonomously from Continuous Data for Design (extended abstract)

    S. Prabhakar and G. Smith

    PDF
  • Hybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems

    Pieter J. Mosterman and Gautam Biswas

    PDF
  • Controller Verification for Nonlinear Systems: A Computational Approach using Phase-Space Geometric Models

    F. Zhao and J. May

    PDF
  • Hybrid Games

    T. Henzinger

    PDF
  • AMIA: an Environment for Knowledge-Based Discrete-Time Systems Simulation

    Michel Page, Jerome Gensel and Mahfoud Boudis

    PDF
  • Hybrid Partition Machines with Disturbances

    Ekaterina S. Lemch and Peter E. Caines

    PDF
  • Safe Cooperative Robot Dynamics on Graphs

    R. W. Ghrist and D. E. Koditschek

    PDF
  • A Hybrid Architecture for Learning Robot Control Tasks

    M. Huber and R. A. Grupen

    PDF
  • Control of Switching Constrained Systems

    L. Berardi, E. De Santis and M. D. Di Benedetto

    PDF
  • Synthesizing Discrete Controllers from Hybrid Automata — Preliminary Report

    M. Bjäreland and D. Driankov

    PDF
  • Continuous Processes in the Fluent Calculus

    M. Thielscher

    PDF
  • On Hybrid Systems and the Modal m-Calculus (extended abstract)

    J. M. Davoren

    PDF
  • Enhancing Discrete Event Simulation by Integrating Continuous Models

    Jane T. Malin and Land Fleming

    PDF
  • The Dynamics of Intelligence: Constraint-Satisfying Hybrid Systems For Percerptual Agents

    A. Mackworth

    PDF

Primary Sidebar