2404 search results - page 30 / 481 » Postmodernism and Control Engineering |
144
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We present a tool, called CAsCaDE, to check assertions in C programs as part of a multi-stage verification strategy. CAsCaDE takes as input a C program and a control file (the outp...
142
click to vote
SOCO
2002
Springer
15 years 2 months ago
2002
Springer
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
124
click to vote
ESAW
2000
Springer
15 years 6 months ago
2000
Springer
Social Order becomes a major problem in MAS and in computer mediated human interaction. After explaining the notions of Social Order and Social Control, I claim that there are mult...
169
click to vote
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
150
click to vote
TASE
2011
IEEE
14 years 10 months ago
2011
IEEE
— Surface flattening has numerous applications in sheet manufacturing industries, such as garment industry, shoe industry, toy industry, furniture industry and ship industry. Mo...