Compositional Verification of Input-Output Conformance via CSP Refinement Checking

2009 ◽  
pp. 20-48 ◽  
Author(s):  
Augusto Sampaio ◽  
Sidney Nogueira ◽  
Alexandre Mota
Keyword(s):  
Compositional Verification ◽  
Input Output ◽  
Refinement Checking

Sound and mechanised compositional verification of input-output conformance

2013 ◽  
Vol 24 (4) ◽  
pp. 289-319 ◽  
Author(s):  
Augusto Sampaio ◽  
Sidney Nogueira ◽  
Alexandre Mota ◽  
Yoshinao Isobe
Keyword(s):  
Compositional Verification ◽  
Input Output

Input-Output in Personnel Management

1970 ◽  
Vol 15 (2) ◽  
pp. 115, 118
Author(s):  
WILLIAM E. COLEMAN
Keyword(s):  
Personnel Management ◽  
Input Output

Adaptive Control Scheme for Coupled Tank Process

2018 ◽  
pp. 89-95
Author(s):  
Vinodhini M.
Keyword(s):  
Adaptive Control ◽  
Nonlinear Behaviour ◽  
Simulation Studies ◽  
Input Output ◽  
Control Scheme ◽  
Direct Model ◽  
Multivariable Process ◽  
Model Reference Adaptive ◽  
Siso System ◽  
Adaptive Control Scheme

The objective of this paper is to develop a Direct Model Reference Adaptive Control (DMRAC) algorithm for a MIMO process by extending the MIT rule adopted for a SISO system. The controller thus developed is implemented on Laboratory interacting coupled tank process through simulation. This can be regarded as the relevant process control in petrol and chemical industries. These industries involve controlling the liquid level and the flow rate in the presence of nonlinearity and disturbance which justifies the use of adaptive techniques such as DMRAC control scheme. For this purpose, mathematical models are obtained for each of the input-output combinations using white box approach and the respective controllers are developed. A detailed analysis on the performance of the chosen process with these controllers is carried out. Simulation studies reveal the effectiveness of proposed controller for multivariable process that exhibits nonlinear behaviour.

The Impact of the Public Expenditure Cuts Policy on the Labor Market in Vietnam

2012 ◽  
pp. 22-46
Author(s):  
Huong Nguyen Thi Lan ◽  
Toan Pham Ngoc
Keyword(s):  
Labor Market ◽  
Computable General Equilibrium ◽  
Impact Evaluation ◽  
Public Expenditure ◽  
Computable General Equilibrium Model ◽  
Living Standard ◽  
Input Output ◽  
Policy Makers ◽  
The Public ◽  
The Impact

The purpose of this study is to evaluate the impact of public expenditure cuts on employment and income to support policies for the development of the labor mar- ket. Impact evaluation is of interest for policy makers as well as researchers. This paper presents a method – that is based on a Computable General Equilibrium model – to analyse the impact of the public expenditure cuts policy on employment and income in industries and occupations in Vietnam using macro data, the Input output table, 2006, 2008 and the 2010 Vietnam Household Living Standard Survey.

Sign in / Sign up

Export Citation Format

Share Document