Partial-Order Reduction for Supervisory Controller Synthesis

A key challenge in the synthesis and subsequent analysis of supervisory controllers is the impact of state-space explosion caused by concurrency. The main bottleneck is often the memory needed to store the composition of plant and requirement automata and the resulting supervisor. Partial-order reduction (POR) is a well-established technique...

LPvcore: MATLAB toolbox for LPV modelling, identification and control

Scenarios in dataflow modeling and analysis

Teacher-Student Interactions and Teacher Interpersonal Styles: A State Space Grid Analysis

The crucial role of teacher-student relationships has been reported in many studies. Yet, how teacher-student relationships develop from moment-to-moment interactions during lessons remains understudied. The present study combined insights from interpersonal theory and dynamic systems approaches to study indices of interpersonal content and...

An OBD strategy to estimate SCR ageing and detect urea injection faults

The most recent regulation for diesel engines with regards to NOx emissions and SCR systems considers stringent OBD requirements. In this paper, an observer of the ageing state is developed considering NO, NO2 and NH3 concentrations, the surface coverage ratio θNH3, and the ammonia storage capacity Ω as states. The observer is based on an...

Efficiently computing latency distributions by combined performance evaluation techniques

Service-oriented systems are designed for interconnecting with other systems. The provided services face timing constraints, the so-called latencies. We present a high-level performance evaluation technique that can be used by a system designer to obtain distributions of these latencies. This technique is capable of capturing nondeterministic,...

Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs

Analyzing worst-case application timing for systems with shared resources is difficult, especially when non-monotonic arbitration policies like First-Come-First-Served (FCFS) scheduling are used in combination with varying task execution times. Analysis methods that conservatively analyze these systems are often based on state-space exploration,...

Dynamic bayesian networks as a possible alternative to the ensemble kalman filter for parameter estimation in reservoir engineering

The objective of reservoir engineering is to optimize hydrocarbon recovery. One of the most common and efficient recovery processes is water injection. The water is pumped into the reservoir in injection wells in order to push the oil trapped in the porous media towards the production wells. The movement of the water front depends on the...

Rapidly converging multichannel controllers for broadband noise and vibrations

Applications are given of a preconditioned adaptive algorithm for broadband multichannel active noise control. Based on state-space descriptions of the relevant transfer functions, the algorithm uses the inverse of the minimum-phase part of the secondary path in order to improve the speed of convergence. A further improvement of the convergence...

The state-space approach to the method of adjoints for hybrid guidance loop models

A framework is introduced to develop the theory of the Adjoint Method for models including both continuous and discrete dynamics. The basis of this framework consists of the class of impulsive linear dynamical systems. It allows extension of the Adjoint Method to more general models that include multirate subsystems, or non-periodic discrete...

A non-linear state space approach to model groundwater fluctuations

A non-linear state space model is developed for describing groundwater fluctuations. Non-linearity is introduced by modeling the (unobserved) degree of water saturation of the root zone. The non-linear relations are based on physical concepts describing the dependence of both the actual evapotranspiration and the percolation rate on the degree...

ℋ2-optimal control of an adaptive optics system. Pt.I: data-driven modeling of the wavefront disturbance

Even though the wavefront distortion introduced by atmospheric turbulence is a dynamic process, its temporal evolution is usually neglected in the adaptive optics (AO) control design. Most AO control systems consider only the spatial correlation in a separate wavefront reconstruction step. By accounting for the temporal evolution of the...

Adjoint method for missile performance analysis on state-space models

The adjoint method is a method widely used in the preliminary design of guidance loops to obtain quick estimates of the performance of a guided weapon while avoiding time consuming Monte Carlo simulation experiments. Traditionally, the adjoint method is presented as a set of rules for transforming the original (linearized) model of the guidance...

Optimal and robust feedback controller estimation for a vibrating plate

This paper presents a method to estimate the H2 optimal and a robust feedback controller by means of Subspace Model Identification using the internal model control (IMC) approach. Using IMC an equivalent feed forward control problem is obtained, which is solved by the Causal Wiener filter for the H2 optimal controller. The robust variant, called...

Low-dimensional modelling of numerical groundwater flow

Numerical models are often used for simulating groundwater flow. Written in state-space form, the dimension of these models is of the order of the number of grid cells used and can be very high (more than a million). As a result, these models are computationally very demanding, especially if many different scenarios have to be simulated. In this...

State-space modeling of water table fluctuations in switching regimes

A nonlinear state-space model is developed for describing water table fluctuations in groundwater systems that are influenced by drains. As drains are only active if the water table is above drainage level, the regime of the system switches at the drainage level. The water table depth is related to observations on precipitation and...

Decoupling of modeling and measuring interval in groundwater time series analysis based on response characteristics

A state-space representation of the transfer function-noise (TFN) model allows the choice of a modeling (input) interval that is smaller than the measuring interval of the output variable. Since in geohydrological applications the interval of the available input series (precipitation excess) is often smaller than the interval of the output...

MIMO H2 optimal feedback controller estimation for a vi-brating plate using Subspace Model Identification

Adaptive Active Control algorithms, such as the well known Filtered-X LMS and Filtered-U LMS algorithms, often do not yield optimal performance in practise, due to finite length impulse response of the controller (Filtered-X) or convergence to a local minimum (Filtered-U). In addition, especially for the MIMO case, these adaptive controllers...