Hybrid Systems and AI: Modeling Analysis and Control of Discrete Plus Continuous Systems
Contents
Algorithms for Real-Time Game-Tree Search for Hybrid System Control
PDFQualitative Reasoning about Continuous Processes with the Situation Calculus
PDFA Conceptual Framework for Modeling and Simulation of Variable Structure Hybrid Systems
PDFExecution Monitoring of High-Level Programs
PDFFast Neural Network Emulation and Control of Dynamical Systems
PDFDynamic Diagnosis (Position Paper)
PDFBeyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods
PDFModel-Based Programming of Reactive Systems: The Journey of Deep Space One
PDFOn Situated Reasoning in Multi-Agent Systems
PDFMonitoring Piecewise Continuous Behaviors by Refining Trackers and their Models
PDFNetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge
PDFThere Are no Hybrid Systems – A Multiple-Modeling Approach to Hybrid Modeling
PDFA Case Study of Hybrid Controller Synthesis of a Heating System
PDFHybrid Games
PDFController Verification for Nonlinear Systems: A Computational Approach using Phase-Space Geometric Models
PDFHybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems
PDFA Multi-Level Organization of Semantic Primitives for Learning Models of Environment Autonomously from Continuous Data for Design (extended abstract)
PDFA Unified Neurosymbolic Model of the Mutual Influence of Memory, Context and Prediction of Time Ordered Sequential Events During the Audition of Tonal Music
PDFAlgorithms for the Design of Networks of Unmanned Aerial Vehicles
PDFExecution Monitoring of Domain-Independent Controllers for Hybrid Systems
PDFModeling the Human-Machine Interaction: Relations between Human Planning, Cognition, Mental Representation and Action using a Situation-Operator Scheme
PDFBehavioral Programming
PDFHard Real-time Mode Logic Synthesis for Hybrid Control: A CIRCA-Based Approach
PDFHybrid Problems in Smart Matter Control
PDFAutomated Trend Analysis For Spacecraft System
PDFIntelligent Satellite Teams for Space Systems. (Position Paper)
PDFOn the Use of Hybrid Control for Legged Locomotion
PDFTimed Languages, Dyadic Approximations and Regular Tree Grammars
PDFUnifying Model-based and Reactive Programming within a Model-based Executive
PDFHybrid Phase-Portrait Analysis in Automated System Identification
PDFController Synthesis for Hybrid Systems: the Hamilton-Jacobi Approach
PDFTowards Diagnosing Hybrid Systems
PDFAMIA: an Environment for Knowledge-Based Discrete-Time Systems Simulation
PDFThe Dynamics of Intelligence: Constraint-Satisfying Hybrid Systems For Percerptual Agents
PDFEnhancing Discrete Event Simulation by Integrating Continuous Models
PDFOn Hybrid Systems and the Modal m-Calculus (extended abstract)
PDFContinuous Processes in the Fluent Calculus
PDFSynthesizing Discrete Controllers from Hybrid Automata — Preliminary Report
PDFControl of Switching Constrained Systems
PDFA Hybrid Architecture for Learning Robot Control Tasks
PDFSafe Cooperative Robot Dynamics on Graphs
PDFHybrid Partition Machines with Disturbances
PDF