.png){kind=icon}
Return
Model-based computing: Developing flexible machine control software
.png){kind=icon}
OA
AI
DOI：10.1016/S0004-3702(99)00066-1.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
In the conventional approach to simulating, controlling, and diagnosing a real-world physical system, engineers typically analyze the interactions of the system's components and processes, and then develop new and dedicated code for that system. Instead, building on principles from model-based reasoning and constraint programming research, we propose an integrated approach to software development we call model-based computing. We present this approach in the context of control software for modular electro-mechanical systems. Our approach is used in commercial systems and has been shown to both simplify the development of machine control software, and make the software and the controlled systems more flexible and effective. In this paper, building an a generic control software architecture, we first develop a domain theory with corresponding modeling language. Models capture a system's capabilities from first principles and independently of the control task. We then introduce modeling technology using concurrent constraint programming, which gives our modeling approach a sound and powerful theoretical foundation. Constraint programming also brings with it a host of generic reasoning techniques such as deduction, abduction, and search, and we show how such techniques can be applied to the model-based configuration and control of our systems. We end with a review of how model-based computing can be extended to other tasks such as design and testing. We believe that together, models, task architecture, and reasoners offer a compelling framework for building software for computationally controlled systems. (C) 1999 Elsevier Science B.V. All rights reserved.
Keywords:
model-based reasoning
modeling
constraint programming
control
scheduling
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
13.9
Papers:
6.1K
Citations:
1.9W
Organization
No organization information available
Cited Papers
.png){kind=icon}
ShareSaveShareSaveShareSaveShareSave
View more