DocumentCode
850691
Title
Extending component connection modeling for analyzing complex physical systems
Author
Biswas, Gautam ; Manganaris, Stefanos ; Yu, Xudong
Author_Institution
Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
Volume
8
Issue
1
fYear
1993
Firstpage
48
Lastpage
57
Abstract
The derivation of useful behaviors from component connection models of the physical structure of complex engineering systems is discussed. A component connection (CC) modeling scheme that compiles defined models to Qsim constraint representations for behavior generation is used. A number of issues arise in generating globally precise behaviors from a CC model when the behavioral models of the individual components are known. It is shown that the limitations of the current CC scheme can be addressed by incorporating global information in addition to the local connection specifications. This global information can be attributed to knowledge of teleology or intended functionality of the system being modeled.<>
Keywords
common-sense reasoning; formal specification; model-based reasoning; systems analysis; Qsim; behavior generation; complex engineering systems; component connection models; constraint representations; local connection specifications; model-based reasoning; qualitative reasoning; teleology; Differential equations; Electronic circuits; Humans; Power system modeling; Predictive models; Problem-solving;
fLanguage
English
Journal_Title
IEEE Expert
Publisher
ieee
ISSN
0885-9000
Type
jour
DOI
10.1109/64.193055
Filename
193055
Link To Document