Decentralized supervisory control of timed automata
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
R&D category
ZV - Basic research
CEP classification - main branch
BC - Theory and management systems
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
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