The analysis library of the new SMAC Toolbox for Matlab implements a set of μ-analysis based tools to evaluate the robustness properties of linear time-invariant systems affected by time-invariant uncertainties. Thes...
详细信息
This paper proposes a new Matlab toolbox to simplify the task of designing robustified Model Predictive controllers under both unstructured and structured uncertainties. With a user-friendly design, the toolbox offers...
详细信息
This paper deals with the detection of (permanent) fault in the setting of stochastic discrete-event systems (DESs) under partial observability of events. Prior works have only studied the verification of the stochast...
详细信息
The paper describes a specific software developed within Mathematica environment. The package consists of functions that assist the solution of different modeling, analysis, and synthesis problems for nonlinear contro...
详细信息
The proceedings contain 15 papers. The topics discussed include: handling fault detection latencies in automata-based scheduling for embedded control software;a mixed approach to rigorous development of controldesign...
ISBN:
(纸本)9781479915651
The proceedings contain 15 papers. The topics discussed include: handling fault detection latencies in automata-based scheduling for embedded control software;a mixed approach to rigorous development of controldesigns;characterizing feedback signal drop patterns in formal verification of networked controlsystems;scalable model-checking for precise end-to-end latency computation;improving approximate reachability by dynamic interleavings of projections-based algorithms;robust fixed order controller design by a mixed randomized/deterministic method;systems modeling, analysis and control (SMAC) toolbox: an insight into the robustness analysis library;sequential randomized algorithms for sampled convex optimization;online failure diagnosis of stochastic discrete event systems;NLcontrol: symbolic package for study of nonlinear controlsystems;PolyRMPC: a new Matlab toolbox to robustify predictive controllers under unstructured and structured uncertainties;and free computer-aidedcontrolsystemdesign (CACSD) tools for GNU octave.
A novel mixed randomized/deterministic method to robust fixed-order controller design is proposed for discrete-time SISO plants. It is based on the random generation of Schur stable polynomials using reflection coeffi...
详细信息
Motivated by the complexity of solving convex scenario problems in one-shot, two new algorithms for the sequential solution of sampled convex optimization problems are presented, for full constraint satisfaction and p...
详细信息
The methodology of design-for-testability automation of mixed-signal IC is proposed. Functional model of DFT automation is presented as IDEF0-diagram based on the system analysis. The list of data of the model's f...
详细信息
ISBN:
(纸本)9781479920952;9781479920969
The methodology of design-for-testability automation of mixed-signal IC is proposed. Functional model of DFT automation is presented as IDEF0-diagram based on the system analysis. The list of data of the model's four basic sets (Input, control, Tools and Output) required for design automation is specified. The purpose and principal realization of the key processes in the model such as simulation, test generation, testing subcircuits generation and decision making are considered. The criteria of selecting an effective DFT-solution for particular circuit design are proposed. Experimental results of the methodology application for analog-digital voice frequency codec are presented.
The control law of a typical industrial system has a modulating (continuous) component and a sequential/modal component. control engineers are traditionally good at specifying the modulating part of the control laws u...
详细信息
The use of multivariate image and texture analysis is proposed in this study to quantitatively characterize the elegance of film-coated tablets. Four unsupervised metrics are developed to quantify both the color unifo...
详细信息
暂无评论