The Unified Modeling Language (UML) Class Models are widely used for modeling the static structure of object-oriented software systems. Temporal properties of such systems can expressed using TOCL, a temporal extension to the Object Constraint Language (OCL). Verification and validation of temporal properties expressed in TOCL is non-trivial and there are no automated tools that can aid such an...

A secondary path modeling technique for active noise control systems is developed for both on-line and off-line modeling with faster convergence and higher modeling accuracy. The optimum delay for the adaptive prediction error filter to reduce the interference in system modeling is equal to the length of the impulse response of the secondary path being modeled.

Process mining techniques rely on event logs: the extraction of a process model (discovery) takes an event log as the input, the adequacy of a process model (conformance) is checked against an event log, and the enhancement of a process model is performed by using available data in the log. Several notations and formalisms for event log representation have been proposed in the recent years to e...

As control systems become more complex, the use of automated control has increased. At the same time, the role of the human operator has changed from primary system controller to supervisor or monitor. Safe design of the human{computer interaction becomes more di cult. In this paper, we present a visual task modeling language that can be used by system designers to model human{computer interact...

The gimbal stabilization mechanism is used to provide the stability to an object mounted on the gimbal by isolating it from the base angular motion and vibration. The purpose of this paper is to present a model of control servo system for one axis gimbal mechanism using a cascade PID controller. The gimbal torque relationships are derived by taking into consideration the base angular motion. Th...

tunnelling through cities underlain by soft soil, commonly associated with soil movement around the tunnels and subsequent surface settlement. the predication of ground movement during the tunnelling and optimum support pressure could be based on analytical, empirical or the numerical methods. the commonly used earth pressure balance (epb) tunneling machines, uses the excavated soil in a pressu...

This paper includes modeling and simulation of 180 MW units of pumped storage power plant with Variable speed machines. In this method, voltage source inverters are used instead of traditional cyclo-converters. This paper aims to control the voltage source inverters and maintain DC voltage at a constant value. AC/ DC/ AC converter is used in system configuration structure in order to control an...