Number of the records: 1
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems
- 1.0026041 - MÚ 2006 RIV IT eng C - Conference Paper (international conference)
Komenda, Jan - van Schuppen, J. H.
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems.
[Supremální podjazyky obecných specifikačních jazyků v modulárním řízení diskrétních událostních systémů.]
Proceedings of Joint 44th IEEE Conference on Decision and Control and European Control Conference. Sevilla: IEEE Press, 2005, s. 2775-2780. ISBN 0-7803-9568-9.
[IEEE Conference on Decision and Control and European Control Conference/44./. Sevilla (IT), 12.12.2005-15.12.2005]
Institutional research plan: CEZ:AV0Z10190503
Keywords : modular supervisory control * partial observations * global specifications
Subject RIV: BA - General Mathematics
For supervisory control of large-scale modular DES the possibility of performing control-related computation locally (in components) is of utmost importance to computational complexity. Unlike our previous results, where the specification language is decomposable into local specification languages, this paper concerns the case of general specification languages that are neither necessarily decomposable nor contained in the global plant language. Still the conditions are found under which building of the global plant is avoided for the computation of the supremal normal sublanguages of the (global) specification language.
Tento článek se zabývá supervizním řízením konkurentních automatů s částečným pozorováním v případě globálních nerozložitelných specifikačních jazyků. Byly nalezeny metody pro nalezení optimálních jazyků supervizního řízení, které nepracují s globálním automatem, ale pouze s lokálními automaty, při čemž se redukuje vysoká výpočetní složitost vlastní konkurentním automatům.
Permanent Link: http://hdl.handle.net/11104/0116346
File Download Size Commentary Version Access Komenda3.pdf 1 168.7 KB Publisher’s postprint require
Number of the records: 1