Port contact systems for irreversible thermodynamical systems

In this paper we propose a definition of control contact systems, generalizing input-output Hainiltonian systems, to cope with models arising from irreversible Thermodynamics. We exhibit a particular subclass of these systems, called conservative, that leaves invariant some Legendre submanifold (the geometric structures associated with thermodynamic properties). These systems, both energy-preserving and irreversible, are then used to analyze the loss-lessness of these systems with respect to different generating functions

Equivalence of switching linear systems by bisimulation

A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated. An algebraic characterization of hybrid bisimulation and an algorithmic procedure converging in a finite number of steps to the maximal hybrid bisimulation are derived. Hybrid state space reduction is performed by hybrid bisimulation between the hybrid system and itself. By specializing the results obtained on bisimulation, also characterizations of simulation and abstraction are derived. Connections between observability, bisimulation-based reduction and simulation-based abstraction are studied.\ud \u

Bisimulation theory for switching linear systems

A general notion of hybrid bisimulation is proposed and related to the notions of algebraic, state-space and input-output equivalences for the class of switching linear systems. An algebraic characterization of hybrid bisimulations and a procedure converging in a finite number of steps to the maximal hybrid bisimulation are derived. Bisimulation-based reduction and simulation-based abstraction are defined and characterized. Connections with observability are investigated

Achievable bisimilar behaviour of abstract state systems

Given a plant system and a desired system, we study conditions for which there exists a controller that interconnected with the plant, yields a system that is bisimilar to the desired system. Some sufficient and some necessary conditions are provided in the general case of (non-deterministic) abstract state systems and stronger results are obtained for the special classes of autonomous abstract state systems, finite abstract state systems, and non-deterministic linear dynamical systems

Bond graphs in model matching control

Bond graphs are primarily used in the network modeling of lumped parameter physical systems, but controller design with this graphical technique is relatively unexplored. It is shown that bond graphs can be used as a tool for certain model matching control designs. Some basic facts on the nonlinear model matching problem are recalled. The model matching problem is then associated with a particular disturbance decoupling problem, and it is demonstrated that bicausal assignment methods for bond graphs can be applied to solve the disturbance decoupling problem as to meet the model matching objective. The adopted bond graph approach is presented through a detailed example, which shows that the obtained controller induces port-Hamiltonian error dynamics. As a result, the closed loop system has an associated standard bond graph representation, thereby rendering energy shaping and damping injection possible from within a graphical context

Hamilton-Jacobi Theory for Degenerate Lagrangian Systems with Holonomic and Nonholonomic Constraints

We extend Hamilton-Jacobi theory to Lagrange-Dirac (or implicit Lagrangian) systems, a generalized formulation of Lagrangian mechanics that can incorporate degenerate Lagrangians as well as holonomic and nonholonomic constraints. We refer to the generalized Hamilton-Jacobi equation as the Dirac-Hamilton-Jacobi equation. For non-degenerate Lagrangian systems with nonholonomic constraints, the theory specializes to the recently developed nonholonomic Hamilton-Jacobi theory. We are particularly interested in applications to a certain class of degenerate nonholonomic Lagrangian systems with symmetries, which we refer to as weakly degenerate Chaplygin systems, that arise as simplified models of nonholonomic mechanical systems; these systems are shown to reduce to non-degenerate almost Hamiltonian systems, i.e., generalized Hamiltonian systems defined with non-closed two-forms. Accordingly, the Dirac-Hamilton-Jacobi equation reduces to a variant of the nonholonomic Hamilton-Jacobi equation associated with the reduced system. We illustrate through a few examples how the Dirac-Hamilton-Jacobi equation can be used to exactly integrate the equations of motion.Comment: 44 pages, 3 figure

Optimal controller gain tuning for robust stability of spacecraft formation

The spacecraft formation control problem sets high demands to the performance, especially with respect to positional accuracy. The problem is further complicated due to scarce fuel resources and limited actuation effects, in addition to the many sources of disturbances. This paper addresses the problem of finding the optimal gains of spacecraft formation controllers. By optimal, we mean the gains that minimizes a cost functional which penalizes both the control efforts and the state deviation, while still guaranteeing stability of the closed-loop systems in the presence of disturbances

Predicting therapy response to mycophenolic acid using UGT1A9 genotyping: towards personalized medicine in atopic dermatitis

Atopic dermatitis (AD) is a very common chronic inflammatory skin disease requiring long-term treatment. Mycophenolic acid (MPA) is used off-label in treatment of patients with severe AD failing Cyclosporin A (CsA) treatment, however clinical efficacy is observed in only half of the AD patients. In blood, MPA levels are known to have a large interindividual variability. Low MPA exposure and increased enzyme activity correlates with the presence of UGT1A9 polymorphisms. In this retrospective study, 65 adult AD patients treated with MPA were classified as responder or non-responder to MPA treatment. UGT1A9 polymorphisms were determined using PCR. A significantly higher number of UGT1A9 polymorphisms was found in the group that did not respond to MPA treatment. Of the patients that carried a UGT1A9 polymorphism, 85.7% were non-responsive to MPA treatment. This implies that non-responsiveness in AD patients is more likely to occur in carriers of a UGT1A9 polymorphism. In a binary logistic regression analysis the odds ratio (OR) was 8.65 (95% confidence interval: 0.93–80.17). Our results show that UGT1A9 polymorphisms can be used to identify patients with non-responsiveness to MPA. Patients with UGT1A9 polymorphisms might benefit from higher MPA dosage