Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus

The performance-based design of coupled core wall systems offers a number of advantages over conventional strength-based methods in terms of constructability and structural performance. Under large seismic loads, the expected degradation of the coupling beams in coupled wall structures results in an evolution of the lateral force resisting system from a coupled wall system to a system of linked cantilever wall piers. The present study focuses on the performance of the eventually obtained linked wall pier systems and defines their performance in a novel way: as the minimization of transmissibility of horizontal ground motion. In this paper, fixed point theory (FPT) is used to establish initial design values for the coupling beams required to optimize the dynamic response of the linked wall pier system. An initial parametric study of the application of FPT to optimizing the behavior of linked wall piers is presented. The resulting optimized wall systems are compared with practically obtainable, rigid and uncoupled systems subject to a linear time history analysis to assess the extent and practicality of optimization obtained.

Download Full-text

AIOSC: Analytical Integer Word-length Optimization Based on System Characteristics for Recursive Fixed-Point Linear Time Invariant Systems

International Journal of Engineering ◽

10.5829/ije.2020.33.07a.08 ◽

2020 ◽

Vol 33 (7) ◽

Keyword(s):

Fixed Point ◽

Word Length ◽

Linear Time ◽

Linear Time Invariant ◽

Linear Time Invariant Systems ◽

Time Invariant ◽

System Characteristics ◽

Length Optimization

Download Full-text

Robust LTV Feedback Synthesis for Nonlinear MIMO Plants

Journal of Dynamic Systems Measurement and Control ◽

10.1115/1.2802459 ◽

1999 ◽

Vol 121 (2) ◽

pp. 226-232 ◽

Cited By ~ 1

Author(s):

Oded Yaniv

Keyword(s):

Fixed Point ◽

Closed Loop ◽

Linear Time ◽

Control Effort ◽

Detailed Design ◽

Linear Time Invariant ◽

Feedback Structure ◽

Feedback Synthesis ◽

Time Invariant ◽

Nonlinear Plant

An n × n nonlinear plant that is known to be a member of a given set is given. The plant is embedded in a feedback structure in order to achieve desired closed-loop performances. The existing QFT technique for that purpose, based on replacing each nonlinear plant by an uncertain linear time invariant plant, is extended to design LTV controllers. In addition, a more efficient fixed-point theorem based on Homotopic invariance is used. The main results are that: (i) a controller with less control effort compared to a linear time invariant controller is achieved; and (ii) the class of plants and desired closed-loop specifications to which the technique can be applied is enlarged. A detailed design example is included.

Download Full-text