Hybrid Systems and AI: Modeling Analysis and Control of Discrete Plus Continuous Systems
Contents
Qualitative 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
PDFAlgorithms for Real-Time Game-Tree Search for Hybrid System Control
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
PDFBehavioral Programming
PDFA Case Study of Hybrid Controller Synthesis of a Heating System
PDFModeling the Human-Machine Interaction: Relations between Human Planning, Cognition, Mental Representation and Action using a Situation-Operator Scheme
PDFExecution Monitoring of Domain-Independent Controllers for Hybrid Systems
PDFAlgorithms for the Design of Networks of Unmanned Aerial Vehicles
PDFA Unified Neurosymbolic Model of the Mutual Influence of Memory, Context and Prediction of Time Ordered Sequential Events During the Audition of Tonal Music
PDFA Multi-Level Organization of Semantic Primitives for Learning Models of Environment Autonomously from Continuous Data for Design (extended abstract)
PDFHybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems
PDFController Verification for Nonlinear Systems: A Computational Approach using Phase-Space Geometric Models
PDFHybrid Games
PDFAMIA: an Environment for Knowledge-Based Discrete-Time Systems Simulation
PDFHybrid Partition Machines with Disturbances
PDFSafe Cooperative Robot Dynamics on Graphs
PDFA Hybrid Architecture for Learning Robot Control Tasks
PDFControl of Switching Constrained Systems
PDFSynthesizing Discrete Controllers from Hybrid Automata — Preliminary Report
PDFContinuous Processes in the Fluent Calculus
PDFOn Hybrid Systems and the Modal m-Calculus (extended abstract)
PDFEnhancing Discrete Event Simulation by Integrating Continuous Models
PDFThe Dynamics of Intelligence: Constraint-Satisfying Hybrid Systems For Percerptual Agents
PDF