This document contains the statements and proofs of the main theoretical results presented in the paper by the same authors with the title “Design of driver-assist system under probabilistic safety specifications near stop signs”, which will appear in the special issue on Human Centered Automation of the IEEE Transactions on Automation Science and Engineering, [1]. The notations, definitions an...

In this paper we study boolean game with prioritized norms. Norms distinguish illegal strategies from legal strategies. Notions like legal strategy and legal Nash equilibrium are introduced. Our formal model is a combination of (weighted) boolean game and so called (prioritized) input/output logic. After formally presenting the model, we use examples to show that non-optimal Nash equilibrium ca...

Abstract The selection of input and output items is crucial for successful application Data Envelopment Analysis (DEA) as they should express the decision maker's preferences perceptions what might affect efficiency a making unit (DMU). This article addresses question transformation data that may be required analyses using DEA method. Different methods are available in literature, however, lead...

the aim of this paper is to minimize output phase noise for the pure signal synthesis in the frequency synthesizers. for this purpose, first, an exact mathematical model of phase locked loop (pll) based frequency synthesizer is described and analyzed. then, an exact closed-form formula in terms of synthesizer bandwidth and total output phase noise is extracted. based on this formula, the phase ...

This paper presents a detailed small-signal and transient analysis of a full bridge PWM DC-DC converter designed for high voltage, high power applications using an average model. The derived model is implemented in a typical system and used to produce the small-signal and transient characteristics of the converter. Results obtained in the analysis of the high voltage and high power design examp...

This paper describes a new idea how to use InputOutput Hidden Markov Models (IOHMMs) for the aggregation of performance models and reports about corresponding first experiments. The parameters of the IOHMM are calculated from observation sequences obtained from the input/output behaviour of the original model.

In this work, a new formulation is presented for the model predictive control (MPC) of a process system that is represented by a finite set of models, each one corresponding to a different operating point. The general case is considered of systems with stable and integrating outputs in closed-loop with output feedback. For this purpose, the controller is based on a non-minimal order model where...