. . " Supervisory control" . " Multi-level coordination control" . "Multilevel supervisory control (MUSIC)"@en . "1"^^ . . "Discrete-event systems; Supervisory control; Multi-level coordination control; Decentralized control with communicating controllers"@en . . "2015-12-31+01:00"^^ . . "0"^^ . "4"^^ . "4"^^ . "V\u00EDce\u00FArov\u0148ov\u00E9 Supervizn\u00ED \u0158\u00EDzen\u00ED" . . . . . "2013-03-01+01:00"^^ . "Hlavn\u00EDm c\u00EDlem projektu je navrhnout metody na sn\u00ED\u017Een\u00ED v\u00FDpo\u010Detn\u00ED slo\u017Eitosti supervizn\u00EDho \u0159\u00EDzen\u00ED velk\u00FDch syst\u00E9m\u016F s diskr\u00E9tn\u00EDmi ud\u00E1lostmi modelovan\u00FDch kone\u010Dn\u00FDmi automaty s velk\u00FDm po\u010Dtem stav\u016F. Budeme uva\u017Eovat automaty se zn\u00E1mou strukturou danou synchronizovan\u00FDm sou\u010Dinem velk\u00E9ho po\u010Dtu men\u0161\u00EDch komponent nebo nestrukturovan\u00E9, av\u0161ak velk\u00E9 automaty. Klasick\u00E9 existuj\u00EDc\u00ED centralizovan\u00E9 metody, kter\u00E9 po\u010D\u00EDtaj\u00ED s cel\u00FDm syst\u00E9mem, nemohou b\u00FDt pou\u017Eity z d\u016Fvodu vysok\u00E9 v\u00FDpo\u010Detn\u00ED slo\u017Eitosti, a tak vybudujeme v\u00EDce\u00FArov\u0148ov\u00E9 koordina\u010Dn\u00ED \u0159\u00EDzen\u00ED s hierarchickou strukturou koordin\u00E1tor\u016F pro jednotliv\u00E9 skupiny podsyst\u00E9m\u016F v n\u00E1vaznosti na n\u00E1mi ned\u00E1vno zaveden\u00E9 koordina\u010Dn\u00ED \u0159\u00EDzen\u00ED men\u0161\u00EDch syst\u00E9m\u016F s jedn\u00EDm centr\u00E1ln\u00EDm koordin\u00E1torem. Tyto vybudovan\u00E9 metody pak budou aplikov\u00E1ny na decentralizovan\u00E9 \u0159\u00EDzen\u00ED nestrukturovan\u00FDch automat\u016F, tj. automat\u016F s nezn\u00E1mou strukturou. Vedlej\u0161\u00EDm v\u00FDsledkem pak budou komunika\u010Dn\u00ED protokoly dan\u00E9 strukturou koordin\u00E1tor\u016F, kter\u00E9 hraj\u00ED roli komunika\u010Dn\u00EDch kan\u00E1l\u016F mezi skupinami podsyst\u00E9m\u016F na r\u016Fzn\u00FDch \u00FArovn\u00EDch." . . . "2015-02-16+01:00"^^ . "2014-02-28+01:00"^^ . . . "LH13012" . . "The aim of the project is to develop techniques to decrease computational complexity of supervisory control of discrete-event systems with large number of states. Both automata with known modular structure given by the synchronous product of smaller components and large automata without such a structure will be considered. Standard centralized control methods cannot be applied for complexity reasons, and therefore, we will propose multi-level coordination control with hierarchical structure of the coordinators on different layers for different groups of subsystems. It will be based on the single-level coordination control with one central coordinator that we have recently developed. These efficient techniques will be applied to decentralized control of systems without known modular structure. As a by-product communication protocols between groups of subsystems given by the structure of coordinators on different levels of hierarchy will be obtained."@en . "Discrete-event systems" . "http://www.isvav.cz/projectDetail.do?rowId=LH13012"^^ . . . "0"^^ . .