Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 International Journal of Applied Mathematics and Computer Science
1 Prace Naukowe Instytutu Technologii Maszyn i Automatyzacji Politechniki Wrocławskiej. Konferencje

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: interconnected systems

Sortuj według:

Ogranicz wyniki do:

Decentralized design of interconnected H infinity feedback control systems with quantized signals

Zhai G., Chen N., Gui W.

International Journal of Applied Mathematics and Computer Science

2013

Vol. 23, no. 2

317--325

In this paper, we consider the design of interconnected H infinity feedback control systems with quantized signals. We assume that a decentralized dynamic output feedback has been designed for an interconnected continuous-time LTI system so that the closed-loop system is stable and a desired H infinity disturbance attenuation level is achieved, and that the subsystem measurement outputs are quantized before they are passed to the local controllers. We propose a local-output-dependent strategy for updating the parameters of the quantizers, so that the overall closed-loop system is asymptotically stable and achieves the same H infinity disturbance attenuation level. Both the pre-designed controllers and the parameters of the quantizers are constructed in a decentralized manner, depending on local measurement outputs.

Modelling of IEC 61499 function blocks a clue to their verification

Vyatkin V., Hanisch H.M.

Prace Naukowe Instytutu Technologii Maszyn i Automatyzacji Politechniki Wrocławskiej. Konferencje

2000

Vol. 76, nr 35

59-68

Suggests a way of modelling of discrete measurement and control applications following the new international standard IEC 61499. The applications which are distributed and event driven, require an adequate formalism, clear enough to be adopted by engineers. The presented formalism of signal/net systems proved to be suitable for modelling of distributed applications alone, as well as for the interconnected systems combined with the model of the plant. Based on the modelling, numerous problems of verification can be effectively solved. The model checking is performed by a bunch of developed analysing tools, including VEDA (verification environment for distributed applications) and SESA (signal/event systems analyser). It includes: test for reachability of dangerous states, search of the never executable code, and validation or invalidation of arbitrary input/output specifications.