Model‐Based Computing for Design and Control of Reconfigurable Systems

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 int...

Full description

Saved in:
Bibliographic Details
Published inThe AI magazine Vol. 24; no. 4; pp. 120 - 130
Main Authors Fromherz, Markus P. J., Bobrow, Daniel G., Kleer, Johan
Format Journal Article
LanguageEnglish
Published La Canada American Association for Artificial Intelligence 01.12.2003
John Wiley & Sons, Inc
Subjects
Online AccessGet full text

Cover

Loading…
Abstract 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.
AbstractList * 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.
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.
The engineers originally formulated the inversion constraint as: "if a duplex sheet is followed by a simplex sheet, the simplex sheet has to be fed with a delay that is equal to the inversion time of the duplex sheet." Engineers found it useful to "compile" the system's expected behavior into a constraint between simplex and duplex sheets, simply because traditionally duplex sheets were always inverted while simplex sheets were not.
Audience Trade
Author Kleer, Johan
Fromherz, Markus P. J.
Bobrow, Daniel G.
Author_xml – sequence: 1
  givenname: Markus P. J.
  surname: Fromherz
  fullname: Fromherz, Markus P. J.
– sequence: 2
  givenname: Daniel G.
  surname: Bobrow
  fullname: Bobrow, Daniel G.
– sequence: 3
  givenname: Johan
  surname: Kleer
  fullname: Kleer, Johan
BookMark eNotkMlOwzAQQC1UJErhzjHinuItjnNMA6WViiqxnC07mUSpXLtkAXrjE_hGvoS05TSHeZp5epdo5LwDhG4InhKBkztdb3U1_aC85lMSs-gMjSmLSZgISkZojGMmQy4wvUCXbbvBGAvJxBgtnnwB9vf7Z6ZbKILMb3d9V7sqKH0T3ENbVy7Q7rBwXeNt4MvgGXLvyrrqG20sBC_7toNte4XOS21buP6fE_Q2f3jNFuFq_bjM0lVYUSGTkHAqsQGBpYyhFAyg1IQbYmhUGBwXIjFxScCUg3ZkMJYRIbnkXOQcBNeGTdDt6e6u8e89tJ3a-L5xw0tFsSRMiCQaoPAEVdqCqt0g3MFXl3troQI1CGVrlRJCGeGM8oFPTvxnbWGvds0Qs9krgtWhrTq2Vce26tBWpWm6nM0xjpKE_QGlHXIk
ClassificationCodes 3573006
3571
ContentType Journal Article
Copyright 2003 The Authors. AI Magazine published by John Wiley & Sons Ltd on behalf of Association for the Advancement of Artificial Intelligence
COPYRIGHT 2003 American Association for Artificial Intelligence
Copyright American Association for Artificial Intelligence Winter 2004
Copyright_xml – notice: 2003 The Authors. AI Magazine published by John Wiley & Sons Ltd on behalf of Association for the Advancement of Artificial Intelligence
– notice: COPYRIGHT 2003 American Association for Artificial Intelligence
– notice: Copyright American Association for Artificial Intelligence Winter 2004
DBID 3V.
4T-
4U-
7RQ
7WY
7WZ
7XB
87Z
88I
8AL
8FE
8FG
8FK
8FL
8G5
ABJCF
ABUWG
AFKRA
ALSLI
ARAPS
AZQEC
BEC
BENPR
BEZIV
BGLVJ
CCPQU
CNYFK
DWQXO
E3H
F2A
FRNLG
F~G
GNUQQ
GUQSH
HCIFZ
JQ2
K60
K6~
K7-
L.-
L6V
M0C
M0N
M1O
M2O
M2P
M7S
MBDVC
P5Z
P62
PQBIZ
PQBZA
PQEST
PQQKQ
PQUKI
PRINS
PTHSS
Q9U
S0X
U9A
DOI 10.1609/aimag.v24i4.1735
DatabaseName ProQuest Central (Corporate)
Docstoc
University Readers
Career & Technical Education Database
ProQuest_ABI/INFORM Collection
ABI/INFORM Global (PDF only)
ProQuest Central (purchase pre-March 2016)
ABI/INFORM Collection
Science Database (Alumni Edition)
Computing Database (Alumni Edition)
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ABI/INFORM Collection (Alumni Edition)
Research Library (Alumni Edition)
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central
Social Science Premium Collection (Proquest) (PQ_SDU_P3)
Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
eLibrary
ProQuest Central
Business Premium Collection
Technology Collection
ProQuest One Community College
Library & Information Science Collection
ProQuest Central Korea
Library & Information Sciences Abstracts (LISA)
Library & Information Science Abstracts (LISA)
Business Premium Collection (Alumni)
ABI/INFORM Global (Corporate)
ProQuest Central Student
Research Library Prep
SciTech Premium Collection (Proquest) (PQ_SDU_P3)
ProQuest Computer Science Collection
ProQuest Business Collection (Alumni Edition)
ProQuest Business Collection
Computer Science Database
ABI/INFORM Professional Advanced
ProQuest Engineering Collection
ABI/INFORM Global
Computing Database
Library Science Database
ProQuest_Research Library
Science Database
Engineering Database
Research Library (Corporate)
Advanced Technologies & Aerospace Database
ProQuest Advanced Technologies & Aerospace Collection
One Business
ProQuest One Business (Alumni)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Academic
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
ProQuest Central Basic
SIRS Editorial
DatabaseTitle ProQuest Business Collection (Alumni Edition)
Research Library Prep
Computer Science Database
ProQuest Central Student
Library and Information Science Abstracts (LISA)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
elibrary
SciTech Premium Collection
ProQuest Central China
ABI/INFORM Complete
Library & Information Science Collection
Engineering Collection
Career and Technical Education (Alumni Edition)
Advanced Technologies & Aerospace Collection
Business Premium Collection
Social Science Premium Collection
ABI/INFORM Global
Engineering Database
ProQuest Science Journals (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest Business Collection
ProQuest Career and Technical Education
ProQuest One Academic UKI Edition
Docstoc
ProQuest One Academic
ABI/INFORM Global (Corporate)
ProQuest One Business
University Readers
Technology Collection
SIRS Editorial
ProQuest Central (Alumni Edition)
ProQuest One Community College
Research Library (Alumni Edition)
ProQuest Central
ABI/INFORM Professional Advanced
ProQuest Library Science
ProQuest Engineering Collection
ProQuest Central Korea
ProQuest Research Library
ABI/INFORM Complete (Alumni Edition)
ProQuest Computing
ABI/INFORM Global (Alumni Edition)
ProQuest Central Basic
ProQuest Science Journals
ProQuest Computing (Alumni Edition)
ProQuest SciTech Collection
Advanced Technologies & Aerospace Database
Materials Science & Engineering Collection
ProQuest One Business (Alumni)
ProQuest Central (Alumni)
Business Premium Collection (Alumni)
DatabaseTitleList

ProQuest Business Collection (Alumni Edition)
Database_xml – sequence: 1
  dbid: 8FG
  name: ProQuest Technology Collection
  url: https://search.proquest.com/technologycollection1
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2371-9621
EndPage 130
ExternalDocumentID 522640681
A112314324
AAAIBF00599
Genre article
Feature
GroupedDBID -DZ
-~X
.4S
.DC
0R~
186
23M
24P
3V.
53G
5GY
6J9
77K
7RQ
7WY
88I
8FE
8FG
8FL
8G5
8GL
8R4
8R5
96U
9M8
AAHHS
AAKPC
AAYOK
ABJCF
ABTAH
ABUWG
ACCFJ
ACGFO
ACGOD
ADFRT
AEEZP
AENEX
AEQDE
AFAZI
AFKRA
AIWBW
AJBDE
ALMA_UNASSIGNED_HOLDINGS
ALSLI
ALUQN
ARAPS
ARCSS
AZQEC
BAAKF
BCR
BCU
BEC
BENPR
BES
BEZIV
BGLVJ
BLC
BPHCQ
CCPQU
CNYFK
DWQXO
EBS
EJD
FRNLG
G8K
GICCO
GNUQQ
GROUPED_ABI_INFORM_COMPLETE
GUQSH
HCIFZ
IAO
IBG
ICD
IEA
IGS
IOF
ISE
ISN
ISR
ITC
K60
K6V
K6~
K7-
KWQ
L7B
LPJ
M0C
M0N
M1O
M2O
M2P
M7S
MS~
MVM
N95
OK1
P2P
P62
PEA
PQBIZ
PQBZA
PQQKQ
PROAC
PTHSS
PV9
Q2X
QM1
QN7
QO4
RWL
RXW
RZL
S0X
SJFOW
SJN
TAE
TAF
TN5
TR2
TWZ
U5U
UKR
UNMZH
WH7
X6Y
XH6
XI7
ZY4
4T-
4U-
7XB
8AL
8FK
E3H
F2A
JQ2
L.-
L6V
MBDVC
PQEST
PQUKI
PRINS
Q9U
U9A
ID FETCH-LOGICAL-g2689-14280be60887ef63eefa14b1b25db07d69b7f1ebf6215b008511c8446c4e64ab3
IEDL.DBID BENPR
ISSN 0738-4602
IngestDate Thu Oct 10 21:49:51 EDT 2024
Fri Aug 23 00:20:34 EDT 2024
Sat Aug 24 01:20:18 EDT 2024
IsPeerReviewed true
IsScholarly true
Issue 4
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-g2689-14280be60887ef63eefa14b1b25db07d69b7f1ebf6215b008511c8446c4e64ab3
PQID 208136695
PQPubID 36813
PageCount 11
ParticipantIDs proquest_journals_208136695
gale_incontextcollege_GICCO_A112314324
wiley_primary_10_1609_aimag_v24i4_1735_AAAIBF00599
PublicationCentury 2000
PublicationDate 2003-12-01
PublicationDateYYYYMMDD 2003-12-01
PublicationDate_xml – month: 12
  year: 2003
  text: 2003-12-01
  day: 01
PublicationDecade 2000
PublicationPlace La Canada
PublicationPlace_xml – name: La Canada
PublicationTitle The AI magazine
PublicationTitleAlternate AI Magazine
PublicationYear 2003
Publisher American Association for Artificial Intelligence
John Wiley & Sons, Inc
Publisher_xml – name: American Association for Artificial Intelligence
– name: John Wiley & Sons, Inc
References 1998
1997
1996
1995
1999; 114
1991; 17
1981
1993; 94
1997; 97
1984; 24
References_xml – year: 1997
– year: 1996
– year: 1995
– year: 1981
– volume: 24
  start-page: 7
  issue: 1–3
  year: 1984
  end-page: 83
  article-title: A Qualitative Physics Based on Confluences
  publication-title: Artificial Intelligence
– start-page: 421
  year: 1997
  end-page: 431
– volume: 17
  start-page: 160
  issue: 2
  year: 1991
  end-page: 172
  article-title: A Unified High‐Level Petri Net Formalism for Time Critical Systems
  publication-title: IEEE Transactions on Software Engineering
– volume: 94
  start-page: 13
  year: 1993
  end-page: 17
– year: 1998
– volume: 97
  start-page: 27
  year: 1997
  end-page: 28
– volume: 114
  start-page: 157
  issue: 1–2
  year: 1999
  end-page: 202
  article-title: Model‐Based Computing: Developing Flexible Machine Control Software
  publication-title: Artificial Intelligence
SSID ssj0006836
Score 1.8197736
Snippet Complex electro‐mechanical products, such as high‐end printers and photocopiers, are designed as families, with reusable modules put together in different...
* Complex electro-mechanical products, such as high-end printers and photocopiers, are designed as families, with reusable modules put together in different...
The engineers originally formulated the inversion constraint as: "if a duplex sheet is followed by a simplex sheet, the simplex sheet has to be fed with a...
SourceID proquest
gale
wiley
SourceType Aggregation Database
Publisher
StartPage 120
SubjectTerms Artificial intelligence
Computer programming
Control algorithms
Controllers
Design
Design engineering
Designers
Employment
Engineers
Printers
Productivity
Title Model‐Based Computing for Design and Control of Reconfigurable Systems
URI https://onlinelibrary.wiley.com/doi/abs/10.1609%2Faimag.v24i4.1735
https://www.proquest.com/docview/208136695
Volume 24
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1JS8QwFA4uFy_u4riRg3iLNm2aNifpqHUBF0TBW2jal2FAO6PO-PvNSzOCHjyWQCnvJW_J-_p9hBya1Ma2ihSrlU2YAJGyCnjKRFpXmYga1dSe7fNOXj2Lm5f0JWBzPgOschYTfaBuRjXekbsmPeeJlCo9Hb8zFI3C4WpQ0JgnizEXOKVd7F_cPTz-hGKZe41At41zJiRCefycUkbqpBq-VYPjr1gMxTHPUO3tb0j-Xa76fFOukuVQKNKi8-wamYN2nazMRBhoOJMbpEQ1s1fWd9mood2yy0bU1aL03KMzaNXigkek05Gl2HC2djiYfuBfUzRQlm-S5_Li6eyKBXEENohlrhgypUUGJEYJsDIBsBUXhps4bUyUNVKZzHIwVrqkbrrKqs5d81cLkKIyyRZZaEctbBNqQKVNkgjgcSR4nSmZA0AGKPZnbSJ75AhNo5EuokU8St3daWj3PWf3unAlW8KR2a9HdmfG0-EofOofx_VI7O2pxx2Phsb-w7lCe1do7wqNrtBFUVz3S08ds_PvK3fJUgeuQ3jJHlmYfExh3xUJE3NA5vPy8iBsCPd0y--_AbHXu4c
link.rule.ids 315,786,790,11965,12792,21416,27955,27956,33406,33777,36208,43633,43838,44419,74390,74657,75273
linkProvider ProQuest
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV25TsQwELU4Cmi4EcvpAtEZ4thx4gqFIyx3AxKdFSfj1UqQXc7vx-NkkaCgtmRFM-M57Jf3CNm3iYtdGWlWaSeYBJmwEnjCZFKVqYxqXVeB7fNO9R_l1VPy1GFz3jtY5SQnhkRdjyq8I_dDesaFUjo5Hr8yFI3Cx9VOQWOazEqhBIZ5Vlz8JGKVBYVAH8QZkwqBPOGVUkX6qBy-lIPDr1gO5SFPUevtb0L-3ayGalMskYWuTaR569dlMgXNClmcSDDQ7kSukgK1zJ7Zia9FNW2XfS2ivhOlZwGbQcsGFwIenY4cxXGzccPB5xv-M0U7wvI18licP5z2WSeNwAaxyjRDnrTIgsIcAU4JAFdyabmNk9pGaa20TR0H65Qv6bbtq6rMj36VBCVLK9bJTDNqYINQCzqphZDA40jyKtUqA4AUUOrPOaF65ABNY5AsokE0StXeaBj_Paf3JvcNm-DI69cjWxPjme4gvJsft_VIHOxpxi2LhsHpw7vCBFeY4AqDrjB5nl-eFIE4ZvPfLffIXP_h9sbcXN5db5H5FmaHQJNtMvPx9gk7vl34sLshKL4BmWm7Og
linkToPdf http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1JS8QwFA4uIF7cxXFcchBv0aZN0-Ykdakr6kHBW2jal2FAOy6jv9-8NCPowXMglHzJe99LXr-PkD2T2thWkWK1sgkTIFJWAU-ZSOsqE1Gjmtqrfd7Ki0dx9ZQ-BUmhj9BWOYmJPlA3oxrvyF2RnvNESpUe2tAVcX9aHr2-MTSQwofW4KYxTWaRY6OLQ16e_wRlmXu3QLehcyYkNvX4F0sZqcNq-FINDr5iMRQHPEPft7_B-Tdx9ZmnXCILgTLSosN4mUxBu0IWJ3YMNJzOVVKir9kzO3Z5qaHdsMtL1LFSeur7NGjV4oDvTacjS7H0bO1w8PmO_0_RIF6-Rh7Ls4eTCxZsEtgglrliqJkWGZAYL8DKBMBWXBhu4rQxUdZIZTLLwVjp0rvpOFaduzKwFiBFZZJ1MtOOWtgg1IBKmyQRwONI8DpTMgeADND2z9pE9sg-Lo1G4YgWMai72w3tvufkTheOvCUcNf56pD9ZPB0OxYf-gbBHYr-e-rVT1NBYiTgotIdCeyg0QqGLorg8Lr2IzOa_U-6SObcf9M3l7XWfzHcdd9hzskVmxu-fsO2Yw9js-D3xDVfbv28
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Model%E2%80%90Based+Computing+for+Design+and+Control+of+Reconfigurable+Systems&rft.jtitle=The+AI+magazine&rft.au=Fromherz%2C+Markus+P.+J.&rft.au=Bobrow%2C+Daniel+G.&rft.au=Kleer%2C+Johan&rft.date=2003-12-01&rft.issn=0738-4602&rft.eissn=2371-9621&rft.volume=24&rft.issue=4&rft.spage=120&rft.epage=130&rft_id=info:doi/10.1609%2Faimag.v24i4.1735&rft.externalDBID=10.1609%252Faimag.v24i4.1735&rft.externalDocID=AAAIBF00599
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0738-4602&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0738-4602&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0738-4602&client=summon