An integrating semantics of hybrid dynamic systems

We discuss here two-level prototype of integrating semantics for a first order representation of interactive hybrid systems. The problem of establishing a reliable semantics of hybrid systems was stated by A. Nerode et al., (1994). We prove in particular that the constraint completeness of any integrating hybrid system (IHS) is totally determined by the first order theory of its underlying domain.