Sciweavers

396 search results - page 33 / 80
» Argument Controlled Profiling
Sort
View
CCE
2005
13 years 7 months ago
Compartmental modeling of high purity air separation columns
High purity distillation columns are critical unit operations in cryogenic air separation plants. The development of nonlinear control technology is motivated by the need to frequ...
Shoujun Bian, Suabtragool Khowinij, Michael A. Hen...
CDC
2010
IEEE
160views Control Systems» more  CDC 2010»
13 years 2 months ago
Aggregation-based model reduction of a Hidden Markov Model
This paper is concerned with developing an information-theoretic framework to aggregate the state space of a Hidden Markov Model (HMM) on discrete state and observation spaces. The...
Kun Deng, Prashant G. Mehta, Sean P. Meyn
UM
2005
Springer
14 years 1 months ago
Temporal Blurring: A Privacy Model for OMS Users
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
Rosa Alarcón, Luis A. Guerrero, José...
FMOODS
2006
13 years 9 months ago
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
Iulian Ober, Susanne Graf, David Lesens
SCS
2004
13 years 9 months ago
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation
The HEAT/ACT project consists of replacing the conventional mechanical flight control system of a helicopter with a fly-by-wire system. With such a project, the safety concerns ar...
Paul Chinneck, David Pumfrey, John McDermid