An integrating semantics of hybrid dynamic systems
Jerzy A. Tomasik · 2006
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 and W. Kohn (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.