The context of this article is the program to study the bicategory of spans of graphs as an algebra of processes, with applications to concurrency theory. The objective here is to study functorial aspects of reachability, minimization and minimal realization. The compositionality of minimization has application to model-checking.

This paper aims to address a finite-horizon model predictive control (MPC) for non-linear drum-type boiler-turbine system using system-identification method. Considering that the strong state coupling of mechanism model, subspace identification method is first utilized obtain linear state-space and transformed into an input–output model. By taking inputs outputs as states, augmented non-minimal...

We work over an o-minimal expansion of a real closed field R. Given a closed simplicial complex K and some definable subsets S1, . . . , Sk of its realization |K| in R we prove that there exists a triangulation (K , φ) of |K| compatible with S1, . . . , Sk such thatK ′ is a subdivision of K and φ is definably homotopic to id|K|.

A new minimal parametrization of multivariable linear system is proposed. The parametrization is defined as a perturbation around the realization of a nominal transfer function. A particular parameter basis is selected which, for the impulse response identification problem, leads to a Hessian matrix of the criterion function which is equal to the identity matrix.

We study the corrections to the determination of sin(2β) from the time dependent CP asymmetry of B → J/ΨKS which arise in the standard model. Although a precise prediction of these corrections is not possible we find that they are indeed extremely small, of the order of less than a per mil of the observed value. This means in turn that any deviation visible at the B factories will be a clear si...

Subspace identification techniques are reinterpreted via classical realization theory to formulate a wide class of subspace identification methods. Re-formulating subspace identification in terms of a low rank decomposition of a weighted Hankel matrix allows special cases such as impulse-based and step-based input signals, but also realization based on arbitrary input signals and correlation fu...

Several intersection graphs such as curves-in-the-plane graphs, circular-arc graphs, chordal graphs and interval graphs are reviewed, especially on their recognition algorithms. In this connection graph realization problem is mentioned.

An experimental realization of the Qi-Wu-Zhang model for quantum anomalous Hall effect is achieved based on ultracold fermions with two-dimensional spin-orbit coupling. A robust protocol pump-probe quench measurement developed to precisely determine, minimal heating, properties topological systems a limited lifetime.

There is growing agreement that the potential benefits of implementing business technologies will not be realised through the relatively simple act of going live with a new software application. Indeed, there is clear evidence that organisations must explicitly plan for, and proactively manage, the realisation of benefits, if a new technology is to deliver real value to its host organisation. I...

Purpose – The purpose of this paper is to give some theoretical suggestions and practical approaches in support of the implementation of “cluster supply chain” (CSC), which is a new management paradigm and enhances the competitiveness of small and medium enterprises (SMEs) through integrating the advantages of supply chain and industrial cluster. Design/methodology/approach – A case study of cl...