Title :
An integrating semantics of hybrid dynamic systems
Author :
Tomasik, Jerzy A.
Author_Institution :
Univ. d´´Auvergne, Aubiere, France
fDate :
30 Sept.-4 Oct. 2003
Abstract :
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.
Keywords :
constraint theory; formal verification; interactive systems; knowledge based systems; knowledge representation; constraint completeness; first order representation; hybrid dynamic system; integrating hybrid system; Automata; Filters; Gratings; Image recognition; Interactive systems; Partial differential equations; Physics computing; Prototypes; Shape; USA Councils;
Conference_Titel :
Integration of Knowledge Intensive Multi-Agent Systems, 2003. International Conference on
Print_ISBN :
0-7803-7958-6
DOI :
10.1109/KIMAS.2003.1245121
