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
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;
Journal_Title :
IEEE Expert
