A concept for aortic dissection with fluid‐structure‐crack interaction

In aortic dissection, the layers composing the aorta rupture, allowing blood to enter the vessel wall. This process is modeled applying a monolithic fluid-structure interaction framework, formulating the Navier-Stokes equations for incompressible flows as well as the mixed finite strain elastodynamics equations in the Lagrangian frame of reference. Continuous test- and trial function spaces are employed in the whole domain, rendering the coupling straightforward. Within this contribution, a predefined function indicating failure is used to convert solid to fluid elements, thereby mimicing tissue rupture

Control of interconnected mechanical systems

In this paper control systems design approach, based on siding mode methods, that allows maintain some functional relation – like bilateral or multilateral systems, establishment of virtual relation among mobile robots or control of haptic systems - is presented. It is shown that all basic motion control problems - trajectory tracking, force control, hybrid position/force control scheme and the impedance control for the interacting systems- can be treated in the same way while avoiding the structural change of the controller and guarantying stable behavior of the system In order to show applicability of the proposed techniques simulation and experimental results for high precision systems in microsystems assembly tasks are presented.

SMC framework in motion control systems

Design of a motion control system should take into account both the unconstrained motion performed without interaction with environment or other system, and the constrained motion where system is in contact with environment or has certain functional interaction with another system. In this paper control systems design approach, based on siding mode methods, that allows selection of control for generic tasks as trajectory and/or force tracking as well as for systems that require maintain some functional relation like bilateral or multilateral systems, establisment of virtual relation among mobile robots or control of haptic systems is presented. It is shown that all basic motion control problems - trajectory tracking, force control, hybrid position/force control scheme and the impedance control - can be treated in the same way while avoiding the structural change of the controller and guarantying stable behavior of the system In order to show applicability of the proposed techniques simulation and experimental results for high precision systems in microsystems assembly tasks and bilateral control systems are presente

An Open Logic Approach to EPM

open2noEPM is a high operative and didactic versatile tool and new application areas are envisaged continuously. In turn, this new awareness has allowed to enlarge our panorama for neurocognitive system EPM is a high operative and didactic versatile tool and new application areas are envisaged continuosly. In turn, this new awareness has allowed to enlarge our panorama for neurocognitive system behavior understanding, and to develop information conservation and regeneration systems in a numeric self-reflexive/reflective evolutive reference framework. Unfortunately, a logically closed model cannot cope with ontological uncertainty by itself; it needs a complementary logical aperture operational support extension. To achieve this goal, it is possible to use two coupled irreducible information management subsystems, based on the following ideal coupled irreducible asymptotic dichotomy: "Information Reliable Predictability" and "Information Reliable Unpredictability" subsystems. To behave realistically, overall system must guarantee both Logical Closure and Logical Aperture, both fed by environmental "noise" (better… from what human beings call "noise"). So, a natural operating point can emerge as a new Trans-disciplinary Reality Level, out of the Interaction of Two Complementary Irreducible Information Management Subsystems within their environment. In this way, it is possible to extend the traditional EPM approach in order to profit by both classic EPM intrinsic Self-Reflexive Functional Logical Closure and new numeric CICT Self-Reflective Functional Logical Aperture. EPM can be thought as a reliable starting subsystem to initialize a process of continuous self-organizing and self-logic learning refinement. understanding, and to develop information conservation and regeneration systems in a numeric self-reflexive/reflective evolutive reference framework. Unfortunately, a logically closed model cannot cope with ontological uncertainty by itself; it needs a complementary logical aperture operational support extension. To achieve this goal, it is possible to use two coupled irreducible information management subsystems, based on the following ideal coupled irreducible asymptotic dichotomy: "Information Reliable Predictability" and "Information Reliable Unpredictability" subsystems. To behave realistically, overall system must guarantee both Logical Closure and Logical Aperture, both fed by environmental "noise" (better… from what human beings call "noise"). So, a natural operating point can emerge as a new Trans-disciplinary Reality Level, out of the Interaction of Two Complementary Irreducible Information Management Subsystems within their environment. In this way, it is possible to extend the traditional EPM approach in order to profit by both classic EPM intrinsic Self-Reflexive Functional Logical Closure and new numeric CICT Self-Reflective Functional Logical Aperture. EPM can be thought as a reliable starting subsystem to initialize a process of continuous self-organizing and self-logic learning refinement.Fiorini, Rodolfo; Degiacomo, PieroFiorini, Rodolfo; Degiacomo, Pier

Sliding modes in constrained systems control

Abstract—In this paper, a sliding-mode-based design framework for fully actuated mechanical multibody system is discussed. The framework is based on the possibility to represent complex motion as a collection of tasks and to find effective mapping of the system coordinates that allows decoupling task and constraint control so one is able to enforce concurrently, or in certain time succession, the task and the constraints. The approach seems naturally encompassing the control of motion systems in interaction, and it allows application to bilateral control, multilateral control, etc. Such an approach leads to a more natural interpretation of the system tasks, simpler controller design, and easier establishment of the systems hierarchy. It allows a unified mathematical treatment of task control in the presence of constraints required to be satisfied by the system coordinates. In order to show the applicability of the proposed techniques, simulation and experimental results for high-precision systems in microsystem assembly tasks and bilateral control systems are presented

Isabelle/PIDE as Platform for Educational Tools

The Isabelle/PIDE platform addresses the question whether proof assistants of the LCF family are suitable as technological basis for educational tools. The traditionally strong logical foundations of systems like HOL, Coq, or Isabelle have so far been counter-balanced by somewhat inaccessible interaction via the TTY (or minor variations like the well-known Proof General / Emacs interface). Thus the fundamental question of math education tools with fully-formal background theories has often been answered negatively due to accidental weaknesses of existing proof engines. The idea of "PIDE" (which means "Prover IDE") is to integrate existing provers like Isabelle into a larger environment, that facilitates access by end-users and other tools. We use Scala to expose the proof engine in ML to the JVM world, where many user-interfaces, editor frameworks, and educational tools already exist. This shall ultimately lead to combined mathematical assistants, where the logical engine is in the background, without obstructing the view on applications of formal methods, formalized mathematics, and math education in particular.Comment: In Proceedings THedu'11, arXiv:1202.453

Integration of continuous-time dynamics in a spiking neural network simulator

Contemporary modeling approaches to the dynamics of neural networks consider two main classes of models: biologically grounded spiking neurons and functionally inspired rate-based units. The unified simulation framework presented here supports the combination of the two for multi-scale modeling approaches, the quantitative validation of mean-field approaches by spiking network simulations, and an increase in reliability by usage of the same simulation code and the same network model specifications for both model classes. While most efficient spiking simulations rely on the communication of discrete events, rate models require time-continuous interactions between neurons. Exploiting the conceptual similarity to the inclusion of gap junctions in spiking network simulations, we arrive at a reference implementation of instantaneous and delayed interactions between rate-based models in a spiking network simulator. The separation of rate dynamics from the general connection and communication infrastructure ensures flexibility of the framework. We further demonstrate the broad applicability of the framework by considering various examples from the literature ranging from random networks to neural field models. The study provides the prerequisite for interactions between rate-based and spiking models in a joint simulation