Execution Monitoring of High-Level Programs

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

Volume

Papers from the 1999 AAAI Spring Symposium

Contents

My interest to interconnections between the hybrid systems and AI stems from 1) the well known perspective [3] that both planning and control address a similar problem: choosing actions to influence a process, based on some model of that process, and (2) from my research project on execution monitoring of high-level programs (programs specify plans to achieve certain goals as explained below). In my research, I look to an expressive and well studied knowledge representation framework for modeling processes called the situation calculus.