Passivity properties of low-sensitivity digital filter structures

A general representation of a class of low passband sensitivity digital filter structures is proposed. The proposed representation for a transfer function of orderNconsists of an(N + 1)-pair memoryless system terminated atN-pairs by delays. The(N + 1)-pair system contains only adders and multipliers, and is described by an orthogonal transfer matrix. The set of terminating delays can be looked upon as anN-pair system with transfer matrixz^{-1}{bf 1}. Certain wave digital filter structures, Gray-Markel lattice structures and the coupled-form biquadratic section belong to the general form advanced here. Several properties satisfied in these special cases are derived in a unified manner using the generalized representation. Also, a quantization scheme that makes the structure free from zero-input limit cycles even under time-varying conditions is advanced, unifying similar such results independently reported for the above well-known structures

Concepts in LSI servo-control-electronics

This thesis deals with the engineering aspects of control electronics. It examines modern concepts of servo-control theory in the light of recent developments in the technology of monolithic circuits. Applicational considerations are slanted towards Aerospace standards of reliability and power-consumption economy. Conclusions drawn from the discussion of fabrication constraints and performance requirements lead to a preference for digital implementations. Yield problems on one hand and aging effects on the other greatly reduce the feasibility rating of analog arrays. Current practice in servo-control electronics revolves around purely analog implementations, sampled-data systems and Primitive on-off arrangements. The motivation behind the status quo and the justification of the proposed approach are discussed in detail. The organization of digital systems is examined in order to demonstrate the feasibility of Large Scale Integration (LSI) in servo-control electronics. The questions of hardware versatility and power-dissipation economy are emphasized from technological, economical and applicational standpoints. Self-Contained loops and Computer-Aided systems investigated within the ramifications of a functional division into Detectors, Compensators and Drivers. Differential Frequency Modulation is assumed to effect the information transfer from the Pick-Off coil of the transducer to tie input ports of the Ratemeter. Pulse Width-Frequency Modulation is employed at the Driver-Torquer interface. The operation of the Ratameter conforms with classical logic, except for a slope-independent Level-Crossing-Discriminator (LCD), which is designed to provide a time-resolution gain of 3 db. over conventional frequency detectors. Circuit detais of the LCD are given in order to illustrate differences between integrated and discrete circuit configurations. Two types of compensators are discussed: canonic pole-zero arrangements with ROM multipliers and Kalman fiiters with stored-program implementations of covariance equations. The concept of Pulse-Width-Frequency-Modulation (PWFM) is introduced co reconcile the dynamic-range requirements or servo-control drivers with the time-resolution limitations of power transistors. Simple means of implementation of PWFM are also given; they take the form. of a combination of logic-gates and DDA elements, a technique which could be used to advantage in other applications, especially digital detection and filtration

Computer Implementation of Optimal Multlvariable Controller Design in the Frequency Domain

Mechanical Engineerin

Computer Aided Verification

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic

Analogue filter networks: developments in theory, design and analyses

Not availabl

Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems

Generalized linear-in-parameter models : theory and audio signal processing applications

This thesis presents a mathematically oriented perspective to some basic concepts of digital signal processing. A general framework for the development of alternative signal and system representations is attained by defining a generalized linear-in-parameter model (GLM) configuration. The GLM provides a direct view into the origins of many familiar methods in signal processing, implying a variety of generalizations, and it serves as a natural introduction to rational orthonormal model structures. In particular, the conventional division between finite impulse response (FIR) and infinite impulse response (IIR) filtering methods is reconsidered. The latter part of the thesis consists of audio oriented case studies, including loudspeaker equalization, musical instrument body modeling, and room response modeling. The proposed collection of IIR filter design techniques is submitted to challenging modeling tasks. The most important practical contribution of this thesis is the introduction of a procedure for the optimization of rational orthonormal filter structures, called the BU-method. More generally, the BU-method and its variants, including the (complex) warped extension, the (C)WBU-method, can be consider as entirely new IIR filter design strategies.reviewe

Computer Aided Verification

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book