Number of the records: 1
Modular Control of Discrete-Event Systems with Coalgebra
- 1.
SYSNO ASEP 0307560 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Ostatní články Title Modular Control of Discrete-Event Systems with Coalgebra Title Modulární řízení diskrétních událostních systémů pomocí koalgebry Author(s) Komenda, Jan (MU-W) RID, SAI, ORCID
van Schuppen, J. H. (NL)Source Title IEEE Transactions on Automatic Control. - : Institute of Electrical and Electronics Engineers - ISSN 0018-9286
Roč. 53, č. 2 (2008), s. 447-460Number of pages 14 s. Language eng - English Country US - United States Keywords discrete-event systems ; modular supervisory control ; coalgebra Subject RIV BA - General Mathematics R&D Projects KJB100190609 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) CEZ AV0Z10190503 - MU-W (2005-2011) Annotation Modular supervisory control of discrete-event systems (DES), where the overall system is synchronous (parallel) product of subsystems, is considered. The main results of this paper are formulations of sufficient conditions for the compatibility between the synchronous product and various operations stemming from supervisory control as supervised product and supremal controllable sublanguages. These results are generalized to the case of modules with partial observations: e.g. modular computation of supremal normal sublanguages is studied. Coalgebraic techniques based on the coinduction proof principle are used in our main results. Sufficient conditions are derived for modular to equal global control synthesis.An algorithmic procedure for checking the new conditions is proposed and the computational benefit of the modular approach is discussed and illustrated by comparing the time complexity of modular and monolithic computation. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2008
Number of the records: 1