It is shown that by use of the Kalman-decomposition an uncontrollable and/or unobservable port-Hamiltonian system is reduced to a controllable/observable system that inherits a port-Hamiltonian structure. Energy and co-energy variable representations for port-Hamiltonian systems are discussed and the reduction procedures are used for both representations. For a general portHamiltonian system in...

Port network modeling of physical systems leads directly to an important class of passive state space systems: port-Hamiltonian systems. We consider here methods for model reduction of large scale port-Hamiltonian systems that preserve port-Hamiltonian structure and are capable of yielding reduced order models that satisfy first-order optimality conditions with respect to an H2 system error met...

The problem of moment matching with preservation of port Hamiltonian and gradient structure is studied. Based on the time-domain approach to linear moment matching, we characterize the (subset of) port Hamiltonian/gradient models from the set of parameterized models that match the moments of a given port Hamiltonian/gradient system, at a set of finite points.

We developed a flexible port for NOTES which allows the use of conventional forceps for laparoscope-assisted surgery without change. The port is not affected by the location of the through hole in the gastrointestinal tract or vagina which elicits a problem in conventional NOTES, and its length can be adjusted during surgery by cutting the port itself. The port is made of polymer resin with a l...

The theory of port-Hamiltonian systems provides a framework for the geometric description of network models of physical systems. It turns out that port-based network models of physical systems immediately lend themselves to a Hamiltonian description. While the usual geometric approach to Hamiltonian systems is based on the canonical symplectic structure of the phase space or on a Poisson struct...

In this paper we display a practical approach adopted for the formal verification of Fairisle ATM (Asynchronous Transfer Mode) switch port controller using model checking. The ATM port controller is part of the Cambridge Fairisle ATM network and plays a key role in the ATM switching process. In particular, we present our experience on the model checking of the ATM port controller using the VIS ...

Globalization of world economy has led to a rapid growth of container transportation as well as container ports. In China, Shanghai and Ningbo ports have experienced an explosive growth rate based on their strong economic hinterlands. The purpose of this paper is to adopt regional economic theory and methods to quantitatively analyze the spatial structure of the ports cluster and the competitiv...

This paper offers a geometric framework for modeling port-Hamiltonian systems on discrete manifolds. The simplicial Dirac structure, capturing the topological laws of the system, is defined in terms of primal and dual cochains related by the coboundary operators. This finitedimensional Dirac structure, as discrete analogue of the canonical Stokes-Dirac structure, allows for the formulation of f...

Port based network modeling of complex lumped parameter physical systems naturally leads to a generalized Hamiltonian formulation of its dynamics. The resulting class of open dynamical systems are called “Port-Hamiltonian systems” [12] which are defined using a Dirac structure, the Hamiltonian and dissipative elements. This formulation has been successfully extended to classes of distributed pa...

Container ports have been faced under increasing development during last 10 years. In such systems, the container transportation system has the most important effect on the total system. Therefore, there is a continuous need for the optimal use of equipment and facilities in the ports. Regarding the several complicated structure and activities in container ports, this paper evaluates and compar...