|
|
DCTOOL-A5
Bakule, Lubomír ; Papík, Martin ; Rehák, Branislav
DCTOOL-A5 presents draft of a manuscript, which is intended to be submitted for publication. This report presents a new method for the decentralized event-triggered control design for large-scale uncertain systems. The results are formulated and proved in terms of linear matrix inequalities. Two design problems are solved: For interconnected systems without any quantization and for interconnected systems with local logarithmic quantizers. Results are illustrated by an example.
|
|
|
DCTOOL-A4
Bakule, Lubomír ; Papík, Martin ; Rehák, Branislav
DCTOOL-A4 report presents draft of a manuscript, which is intended to be submitted for publication. The report provides a novel systematic approach to the analysis of asymptotic stability for output event-triggered uncertain centralized control systems. A class of nonlinear but nominally linear systems possessing unknown time-varying bounded uncertainties with known bounds is considered. Uncertainties are allowed in all system matrices. Original LMI-based suffi cient conditions are derived to guarantee asymptotic stability of closed-loop systems with both static output and observer-based feedback loop under even-triggered control. Both these output feedback strategies are extended to model-based uncertain control systems with\nquantized measurements. A logarithmic quantizer is considered. The Lyapunov-based approach and convex optimization serve as the main methods to derive the asymptotic LMI-based stability conditions. Bounds on the inter-event times to avoid the Zeno-effect are proved for all the cases considered. Finally, feasibility and effi ciency of the proposed strategies is demonstrated by providing numerical examples.
|
|
|
DCTOOL-A3
Bakule, Lubomír ; Papík, Martin ; Rehák, Branislav
DCTOOL-A3 is a documentation of Matlab routines developed for the design of decentralized control of large scale complex systems. The current beta version covers three areas as follows:\nReport 4.1 deals with the event-triggered control design for unstructured uncertain systems. Both non-quantized and quantized feedback is analyzed. The results are given in terms of linear matrix inequalities (LMIs). Logarithmic quantizer is used. Numerical example illustrates the effectiveness of the presented results.\nReport 4.2 presents a new decentralized overlapping wireless control design with a switched communication protocol. The method is applied by simulations on the 20-story building structure including the test of robustness of the methods against sensor failures and network node dropouts of a digital network.\nReport 4.3 presents the construction of a new decentralized wireless controller and a set of heuristic algorithms for evaluation of packet dropouts, sensor faults and actuator faults. The digital network operates at the standard frequency used in well-known widely-used industrial protocols. The results are tested at the Benchmark model decomposed into two disjoint substructures. The results are published. Thus, the details are omitted here.
|
|
| |
|
| |
|
| |
|
|
Transformation BORM - Petri net with supervision
Moravec, J. ; Papík, Martin
For effective functioning of business processes need to processes be well documented and optimized. There are many ways to describe processes. Simple but effective approach appears to be the methodology BORM, which is implemented in the tool CraftCase. Unfortunately, this tool don’t offer such a comprehensive process simulation capabilities, which are often needed. Ways to eliminate this shortcoming is using Petri nets for process simulation. First, we need capture the process with BORM methodology and then we transform it to the Petri net. This post deals with transformation rules, restrictions of BORM and Petri nets and finally we show how to construct supervisor of Petri nets.
|
|
| |
|
|
Monitoring network system SAVO
Papík, Martin ; Zajíček, Milan ; Vaníček, Petr
Target of this project is creating of the functional alert system for network attacks named SAVO (Secure AV Outbound). This system is dedicated for AV (Academy of Sciences of the Czech republic) network. Informations which obtained from monitoring (analysis) will be aviable for responsible ICT departments.
|
guest ::
