Decentralized supervisory control of timed automata
Project goals
In this research proposal newmethodology for supervisory control timed discrete event systems willbe elaborated. More specifically, decentralized and modular control oflarge distributed timed systems will be studied in order to reduce thecomputational complexity of supervisory control synthesis, whichconstitutes the major obstacle for application of supervisory control inindustry. Weighted automata (e.g. (max,+) automata, interval automata, and otherclasses of timed automata) model flexible manufacturing systems, computer andinformation networks with communication protocols, where not only ordering butalso timing of discrete events is important. Both cases of local control specifications and more relevant global (indecomposable) specifications will beinvestigated. Similarly, we will consider the case, where all events are observable as well as the case, where not all events are observable due to the very nature of an event or simply due to economic reasons (too high a cost of a sensor ). Our goalis to find effective methodsfor supervisory control of this type of systems, in particular decentralizedcontrol and coordination control, where local controllers communicatewith a coordinator.
Keywords
timedautomatadecentralizedsupervisorycontrolsynchronouscomposition
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 14 (SGA02011GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
P103-11-0517
Alternative language
Project name in Czech
Decentralizované supervizní řízení časovaných automatů
Annotation in Czech
V rámci tohoto projektu vypracujeme nové postupy pro supervizní řízení časovaných diskrétních událostních systémů. Budeme studovat decentralizované a modulární řízení velkých časovaných systémů za účelem snížení výpočetní složitosti, která představuje nejvážnější překážku aplikace metod supervizního řízení v inženýrské praxi. Vážené automaty (např. tzv. (max,+) automaty, intervalové automaty a další třídy časovaných automatů) modelují např. flexibilní manufakturální systémy, informační a komunikační protokoly, kde nezáleží jen na pořadí diskrétních událostí, ale také na jejich správném načasování. Budeme studovat jak případ lokálních specifikací, tak i globálních (nerozložitelných) specifikací. Podobně se budeme zabývat jak případem úplného pozorováníudálostí, tak i situacemi, kdy všechny události systému nejsou pozorovatelné, ať již z podstaty samé těchto událostí nebo z ekonomických důvodů (kdy cena příslušných senzorů je příliš vysoká). Půjde nám o efektivní metody řízení těchto systémů, a to decentralizované řízení a koordinační řizení, kdy lokální řídící automaty komunikují s koordinátorem.
Scientific branches
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
Excellent theoretical results with outstanding publications outcome. The most important results were achieved in the area of supervisory control of discrete event systems. Financial support was used reasonably and according to the rules and project purpose.
Solution timeline
Realization period - beginning
Jan 1, 2011
Realization period - end
Dec 31, 2013
Project status
U - Finished project
Latest support payment
Jun 12, 2013
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP14-GA0-GA-U/01:1
Data delivery date
Jul 1, 2014
Finance
Total approved costs
986 thou. CZK
Public financial support
986 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
986 CZK thou.
Public support
986 CZK thou.
100%
Provider
Czech Science Foundation
CEP
BC - Theory and management systems
Solution period
01. 01. 2011 - 31. 12. 2013