• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.6 no.9
• /
• pp.2052-2072
• /
• 2012

Access control is an essential security component in protecting sensitive data and services from unauthorized access to the resources in mission-critical Cyber-Physical Systems (CPSs). CPSs are different from conventional information processing systems in such that they involve interactions between the cyber world and the physical world. Therefore, existing access control models cannot be used directly and even become disabled in an emergency situation. This paper proposes an adaptive Access Control model for Emergences (AC4E) for mission-critical CPSs. The principal aim of AC4E is to control the criticalities in these systems by executing corresponding responsive actions. AC4E not only provides the ability to control access to data and services in normal situations, but also grants the correct set of access privileges, at the correct time, to the correct set of subjects in emergency situations. It can facilitate adaptively responsive actions altering the privileges to specific subjects in a proactive manner without the need for any explicit access requests. A semiformal validation of the AC4E model is presented, with respect to responsiveness, correctness, safety, non-repudiation and concurrency, respectively. Then a case study is given to demonstrate how the AC4E model detects, responds, and controls the emergency events for a typical CPS adaptively in a proactive manner. Eventually, a wide set of simulations and performance comparisons of the proposed AC4E model are presented.

• The Journal of Information Systems
• /
• v.15 no.4
• /
• pp.171-188
• /
• 2006

Information technology and the Internet have had a dramatic effect on education method and individual life. Universities and companies we making large investments in e-Learning applications but are hard to pressed to evaluate the success of their e-Learning systems. e-Learning can be seen as not only one of Internet based information systems which can provide education services but also one of teaching-teaming methods which can implement self-directed teaming. This paper tests the updated model of information system success proposed by Delone and McLean using a field study of a e-Learning. The five dimensions - information quality, system quality, service quality, user satisfaction, net benefit - of the updated model are parsimonious framework for organizing the e-learning success metrics identified in the literature. Questionaires are collected from 107 students who are enrolling a e-learning class using online survey. The model is tested using SPSS and LISREL. The results show that information quality and service quality are significant predictors of user satisfaction with the e-Learning system but system quality is not. Also user satisfaction is found to be a strong predictor of the learning performance. This strong association between user satisfaction and teaming performance suggests that user satisfaction may serve as a valid surrogate for teaming performance. Empirical testing of the updated DeLone & McLean model should therefore be extended to cover a wider variety of systems.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.11
• /
• pp.1145-1153
• /
• 2011

EMB (Electro-Mechanical Brake) systems can provide improved braking and stability functions such as ABS, EBD, TCS, ESC, BA, ACC, etc. For the implementation of the EMB systems, reliable and robust fault detection algorithm is required. In this study, a model-based fault detection algorithm is designed based on the analytical redundancy method in order to monitor current and force sensor faults in EMB systems. A state-space model for the EMB is derived including faulty signals. The fault diagnosis algorithm is constructed using the analytical redundancy method. Observer is designed for the EMB and the fault detectability condition is examined based on the residual analysis. The performance of the proposed model-based fault detection algorithm is verified in simulations. The effectiveness of the proposed algorithm is demonstrated in various faulty cases.

• Journal of the Korean Society of Systems Engineering
• /
• v.13 no.1
• /
• pp.51-56
• /
• 2017

This paper presents a requirement development process using the model based systems engineering design process to the developments of the missile Seeker. SysML Model and requirement analysis templates were used as the specific execution method for applying the system engineering process. This paper will present a process for deriving the technical requirements and derived requirements using them.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.33 no.5
• /
• pp.508-513
• /
• 2009

Friction is an important factor for precise position tracking control of servo systems. Servo systems with highly nonlinear friction are sensitive to the variation of operating condition. To overcome this problem, we use the LuGre friction model which can consider dynamic characteristics of friction. The LuGre friction model is used as a feed-forward compensator to improve tracking performance of servo systems. The parameters of the LuGre friction model are identified through experiments. The experimental result shows that the tracking performance of servo systems with higherly nonlinear friction can be improved by using feed-forward friction compensation.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.2 no.3
• /
• pp.220-226
• /
• 2002

In this paper, we develop the intelligent digitally redesigned fuzzy controller for nonlinear systems. Takagi-Sugeno (TS) fuzzy model is used to model the nonlinear systems and a continuous-time fuzzy-model-based controller is designed based on the extended parallel-distributed-compensation(EPDC) method . The digital controllers are determined from existing analogue controllers. The proposed method provides an accurate and effective method for digital control of continuous-time nonlinear systems and enables us to efficiently implement a digital controller via the pre-determined continuous-time 75 fuzzy-model-based controller. We have applied the proposed method to the duffing forced oscillation system to show the effectiveness and feasibility of the proposed method.

• Journal of Institute of Control, Robotics and Systems
• /
• v.3 no.6
• /
• pp.582-587
• /
• 1997

This paper deals with the control problem under nonlinear boiler systems with noise, and input constraints. MCMBPC(Multivariable Constrained Model-Based Predictive Controller) proposed by Wilkinson et al.[10,11] is used and nominal model is modified in this paper in order to applied to nonlinear boiler systems with feed-forward terms. The solution of the cost function optimization constrained on input and/or output variables is achieved using quadratic programming, via singular value decomposition(SVD). The controller designed is shown to satisfy the constraints and to have excellent tracking performance via simulation applied to nonlinear dynamic drum boiler turbine model for 16OMW unit.

• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.12
• /
• pp.1179-1185
• /
• 2007

This paper presents a new approach to automotive embedded systems development and validation. Recently automotive embedded systems become even more complex and the product life cycle is getting reduced. To overcome these problems AUTOSAR, a standardized software platform and component based approach, was introduced. Model-based approach has been widely applied in the development of embedded systems and has strong benefits such as early validation and automated testing. In this paper cooperative development and validation of AUTOSAR and model-based approach are introduced and automated testing techniques are proposed. With the proposed techniques we can improve complexity management through increased reuse and exchangeability of software module and automated testing is realized.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.29 no.2
• /
• pp.97-103
• /
• 2015

This paper introduces two on-going projects for DC high temperature superconducting (HTS) cable systems in South Korea. This study proposes the application of DC HTS cable systems to enhance power transfer limits of a grid-connected offshore wind farm. In order to develop the superconducting DC transmission system model based on HTS power cables, the maximum transfer limits from offshore wind farm are estimated and the system marginal price (SMP) calculated through a Two-Step Power Transfer (TSPT) model based on PV analysis and DC-optimal power flow. The proposed TSPT model will be applied to 2022 KEPCO systems with offshore wind farms.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1996.10a
• /
• pp.142-147
• /
• 1996

For prediction and control of sound, acoustic systems must be modeled. Because sound systems like exhaust systems are very difficult to calculate mathematically, this study presents a method to determine experimentally the order of poles by transfer function. When designing a control system by traditional methods the exact model order and coefficient of the system to be controlled must be determined. But in acoustic systems, where systems to be controlled are very complex, mathematical interpretation is almost always impossible. Therefore transversal filters using trial and error methods to determine model order of a system are used to design a system. Compared to mathematical models with poles, transversal filters, in which the model order becomes relatively large, have the disadvantage of prolonged processing time and marked time delay. This study presents a method to determine experimentally the order of poles in a system model with poles and zeroes. Also, the validity of this method was verified mathematically and confirmed by application in general simple models and acoustic tube simulators.