Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems
Project goals
Current approaches for control of timed discrete-event systems (DES) with dense real time only deal with monolithic plants, which means that their control suffers from high complexity and even decidability issues (non existence of finite state controllers). In order to face these issues, it is important to develop computationally efficient compositional approaches, such as modular control. We will investigate modular and coordination control of timed DES modeled by timed Petri nets or by (max,+)-automata.
Keywords
(max,+) automata(max +) algebramodular controlsupervisory control
Public support
Provider
Czech Science Foundation
Programme
International projects
Call for proposals
Mezinárodní projekty 14 (SGA0201900003)
Main participants
Matematický ústav AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
19-06175J
Alternative language
Project name in Czech
Kompozitní metody pro řízení konkurentních časovaných diskrétních událostních systémů
Annotation in Czech
Současné přístupy k řízení velkých časovaných systémů s diskrétními událostmi a reálným časem pracují pouze s monolitickými systémy, což znamená že jejich řízení trpí problémy výpočetní složitosti a dokonce nerozhodnutelnosti (neexistence konečných řídících systémů). Aby se čelilo těmto problémům, je třeba navrhnout výpočetně efektivní přístupy využívající strukturu systémů složených z komponent, zejména modulární řízení. Budeme studovat modulární a koordinační řízení časovaných systémů s diskrétními událostmi modelovaných pomocí časovaných Petriho sítí nebo (max,+)-automatů.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
AF - Documentation, librarianship, work with information
BC - Theory and management systems
BD - Information theory
IN - Informatics
Solution timeline
Realization period - beginning
Jan 1, 2019
Realization period - end
Jun 30, 2022
Project status
—
Latest support payment
Apr 1, 2022
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
CEP23-GA0-GC-R
Data delivery date
Jun 26, 2023
Finance
Total approved costs
4,381 thou. CZK
Public financial support
4,183 thou. CZK
Other public sources
198 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
4 381 CZK thou.
Public support
4 183 CZK thou.
95%
Provider
Czech Science Foundation
OECD FORD
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Solution period
01. 01. 2019 - 30. 06. 2022