2404 search results - page 30 / 481 » Postmodernism and Control Engineering |
CAV
2006
Springer
14 years 1 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...
SOCO
2002
Springer
13 years 9 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...
ESAW
2000
Springer
14 years 1 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...
TASE
2010
IEEE
13 years 4 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...
TASE
2011
IEEE
13 years 4 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...