scholarly journals Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs

2015 ◽  
pp. 158-182 ◽  
Author(s):  
Willem Penninckx ◽  
Bart Jacobs ◽  
Frank Piessens
Keyword(s):  
Compositional Verification ◽  
Input Output ◽  
Output Behavior

Sound and mechanised compositional verification of input-output conformance

2013 ◽  
Vol 24 (4) ◽  
pp. 289-319 ◽  
Author(s):  
Augusto Sampaio ◽  
Sidney Nogueira ◽  
Alexandre Mota ◽  
Yoshinao Isobe
Keyword(s):  
Compositional Verification ◽  
Input Output

scholarly journals Comparing global input-output behavior of frozen-equivalent LPV state-space models

2017 ◽  
Vol 50 (1) ◽  
pp. 9766-9771 ◽  
Author(s):  
Ziad Alkhoury ◽  
Mihály Petreczky ◽  
Guillaume Mercère
Keyword(s):  
State Space ◽  
State Space Models ◽  
Input Output ◽  
Output Behavior

Design of Planar Large-Deflection Compliant Mechanisms With Decoupled Multi-Input-Output Using Topology Optimization

2019 ◽  
Vol 11 (3) ◽  
Author(s):  
Benliang Zhu ◽  
Qi Chen ◽  
Hai Li ◽  
Hongchuan Zhang ◽  
Xianmin Zhang
Keyword(s):  
Topology Optimization ◽  
Large Deflection ◽  
Compliant Mechanisms ◽  
Geometrical Nonlinearity ◽  
Method Comparison ◽  
Output Coupling ◽  
Large Displacements ◽  
Interpolation Scheme ◽  
Input Output ◽  
Output Behavior

This paper presents a method for topology optimization of large-deflection compliant mechanisms with multiple inputs and outputs by considering the coupling issue. First, the objectives of the design problem are posed by modeling the output loads using several springs to enable control of the input–output behavior. Second, a scheme is proposed to obtain a completely decoupled mechanism. Both input coupling and output coupling are considered. Third, with the implementation of an energy interpolation scheme to stabilize the numerical simulations, the geometrical nonlinearity is considered to appropriately capture the large displacements of compliant mechanisms. Finally, several numerical examples are presented to demonstrate the validity of the proposed method. Comparison studies with the obtained results without considering the coupling issues are also presented.

scholarly journals Multichannel FES parameterization for controlling foot motion in paretic gait

2015 ◽  
Vol 1 (1) ◽  
pp. 480-483 ◽  
Author(s):  
Thomas Seel ◽  
Mirjana Ruppel ◽  
Markus Valtin ◽  
Thomas Schauer
Keyword(s):  
Electrical Stimulation ◽  
Decentralized Control ◽  
Neurological Disorders ◽  
Piecewise Linear ◽  
Swing Phase ◽  
Drop Foot ◽  
Input Output ◽  
Surface Electrodes ◽  
Foot Motion ◽  
Output Behavior

AbstractStroke and other neurological disorders often lead to reduced motor function and to pathological foot motion during gait. We consider Functional Electrical Stimulation (FES) of the shank muscles that control dorsiflexion (related to pitch) and eversion (related to roll) of the foot. We describe the nonlinear domain of stimulation intensities that are tolerated by subjects in combined two-channel FES via surface electrodes. Two piecewise linear parameterizations of this domain are suggested and compared in terms of the cross-couplings between the newly defined stimulation intensity coordinates and the foot motion caused during swing phase in drop foot patients walking on a treadmill. Both parameterizations are found to yield almost monotonous input-output behavior and therefore facilitate decentralized control of the foot pitch and roll angle.

scholarly journals Input–output behavior of ErbB signaling pathways as revealed by a mass action model trained against dynamic data

2009 ◽  
Vol 5 (1) ◽  
pp. 239 ◽  
Author(s):  
William W Chen ◽  
Birgit Schoeberl ◽  
Paul J Jasper ◽  
Mario Niepel ◽  
Ulrik B Nielsen ◽  
...  
Keyword(s):  
Signaling Pathways ◽  
Mass Action ◽  
Input Output ◽  
Dynamic Data ◽  
Mass Action Model ◽  
Erbb Signaling ◽  
Action Model ◽  
Output Behavior

scholarly journals Analysis of primitive genetic interactions for the design of a genetic signal differentiator

2019 ◽  
Vol 4 (1) ◽  
Author(s):  
Wolfgang Halter ◽  
Richard M Murray ◽  
Frank Allgöwer
Keyword(s):  
Genetic Network ◽  
Genetic Interactions ◽  
Mechanistic Models ◽  
Input Output ◽  
Describing Function ◽  
A Cell ◽  
Genetic Signal ◽  
Output Behavior ◽  
Linearized Model ◽  
Genetic Constructs

Abstract We study the dynamic and static input–output behavior of several primitive genetic interactions and their effect on the performance of a genetic signal differentiator. In a simplified design, several requirements for the linearity and time-scales of processes like transcription, translation and competitive promoter binding were introduced. By experimentally probing simple genetic constructs in a cell-free experimental environment and fitting semi-mechanistic models to these data, we show that some of these requirements can be verified, while others are only met with reservations in certain operational regimes. Analyzing the linearized model of the resulting genetic network, we conclude that it approximates a differentiator with relative degree one. Taking also the discovered nonlinearities into account and using a describing function approach, we further determine the particular frequency and amplitude ranges where the genetic differentiator can be expected to behave as such.

Input–output behavior for stable linear systems

2001 ◽  
Vol 338 (4) ◽  
pp. 497-507
Author(s):  
C. Byrnes ◽  
X. Hu ◽  
C.F. Martin ◽  
V. Shubov
Keyword(s):  
Linear Systems ◽  
Input Output ◽  
Output Behavior ◽  
Stable Linear
Sign in / Sign up

Export Citation Format

Share Document