Abstract:
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.