In the present paper, a new 2-D Van der Polstructural oscillator model is introduced for the vortex induced vibrations of circular cylinders.The main purpose of this task is to control the recently introduced model by means of modern control definitions in state space. In order to control the system, the whole model is linearized about its equilibrium point by deriving state-space matrices. The...

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

Neural networks are applicable in identification systems from input-output data. In this report, we analyze theHammerstein-Wiener models and identify them. TheHammerstein-Wiener systems are the simplest type of block orientednonlinear systems where the linear dynamic block issandwiched in between two static nonlinear blocks, whichappear in many engineering applications; the aim of nonlinearsyst...

Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by influencing the order in which states are explored during the state space traversal. The order is typically determined by an abstract distance function that estimates a state’s distance to a nearest error state. In this paper, we p...

A state space representation of a (singular) AR-model is defined. It is shown, in particular, that this representation determines the model uniquely up to an isomorphism and respects its behavior. An explicit construction is presented for a ”standard” AR-model.

This note develops a technique for designing diagonalizing compensators based on state-space descriptions. The relationship with stable decoupling invariants is also explored. @ 1997 Elsevier Science B.V.

An automatic monitoring and intervention algorithm that permits the supervision of very general aspects in an univariate linear gaussian state space model is proposed. The algorithm makes use of a model comparison and selection approach within a Bayesian framework. In addition, this algorithm incorporates the possibility of eliminating earlier interventions when subsequent evidence against them...

There are various fractional order systems existing. This paper deals with the modelling of fractional order systems using an old and unique model structure i.e. state space model. The fractional order process system can be mathematically modelled by state space model. Simulation results validated that the fractional order model using state space is better as compared to other models such as fi...