A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Modeling at the machine-control level using discrete event simulation (DES)
Proceedings of the 30th conference on Winter simulation
Application of discrete event in production scheduling
Proceedings of the 30th conference on Winter simulation
Model-based computing: developing flexible machine control software
Artificial Intelligence - Special issue on applications of artificial intelligence
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Design optimization with uncertain application knowledge
IEA/AIE'1997 Proceedings of the 10th international conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
A Compositional Mathematical Model of Machines Transporting Rigid Objects
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Diagnosing multiple persistent and intermittent faults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Intrinsic hurdles in applying automated diagnosis and recovery to spacecraft
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
On-line planning and scheduling: an application to controlling modular printers
Journal of Artificial Intelligence Research
Coordinated control for highly reconfigurable systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
A manifold operator representation for adaptive design
Proceedings of the 14th annual conference on Genetic and evolutionary computation
| Hi-index | 0.01 |
Complex electro-mechanical products, such as high-end printers and photocopiers, are designed as families, with reusable modules put together in different manufacturable configurations, and the ability to add new modules in the field. The modules are controlled locally by software that must take into account the entire configuration. This poses two problems for the manufacturer. The first is how to make the overall control architecture adapt to, and use productively, the inclusion of particular modules. The second is to decide, at design time, whether a proposed module is a worthwhile addition to the system: will the resulting system perform enough better to outweigh the costs of including the module? This article indicates how the use of qualitative, constraint-based models provides support for solving both of these problems. This has become an accepted part of the practice of Xerox, and the control software is deployed in high-end Xerox printers.