DocumentCode
2290787
Title
An integrating semantics of hybrid dynamic systems
Author
Tomasik, Jerzy A.
Author_Institution
Univ. d´´Auvergne, Aubiere, France
fYear
2003
fDate
30 Sept.-4 Oct. 2003
Firstpage
679
Lastpage
683
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Integration of Knowledge Intensive Multi-Agent Systems, 2003. International Conference on
Print_ISBN
0-7803-7958-6
Type
conf
DOI
10.1109/KIMAS.2003.1245121
Filename
1245121
Link To Document