Attributes | Values |
---|
rdf:type
| |
Description
| - Koalgebraické metody poskytují nové výsledky a nadhledy pro modulární supervizní řízení diskrétních událostních systémů, kde globální systém se skládá z lokálních podsystémů, které jsou sami diskrétními událostními systémy s částečným pozorováním. V tomto článku je pozornost zaměřena na komplexní distribuované systémy, které jsou složeny z velkého počtu malých podsystémů, jež jsou paralelně spojeny. Jsou odvozeny podmínky, za kterých supremální normální podjazyky komutují se synchronizovaným součinem jazyku, t.j. výpočet supremálních normálních podjazyků může být realizován lokálně. Hlavní výsledek je obdržen pomocí důkazového principu koindukce. (cs)
- Coalgebraic methods provide new results and insights for modular supervisory control of discrete event systems, where the overall system is composed of subsystems that are themselves partially observed DES. The attention of this paper is focused on complex distributed systems that are composed of a large number of small subsystems that are combined in a modular fashion.
- Coalgebraic methods provide new results and insights for modular supervisory control of discrete event systems, where the overall system is composed of subsystems that are themselves partially observed DES. The attention of this paper is focused on complex distributed systems that are composed of a large number of small subsystems that are combined in a modular fashion. (en)
|
Title
| - Supremal Normal Sublanguages of Large Distributed Discrete Event Systems
- Supremal Normal Sublanguages of Large Distributed Discrete Event Systems (en)
- Supremální normální podjazyky velkých distribuovných diskrétních událostních systémů (cs)
|
skos:prefLabel
| - Supremal Normal Sublanguages of Large Distributed Discrete Event Systems
- Supremal Normal Sublanguages of Large Distributed Discrete Event Systems (en)
- Supremální normální podjazyky velkých distribuovných diskrétních událostních systémů (cs)
|
skos:notation
| - RIV/67985840:_____/04:00106894!RIV/2005/GA0/A05005/N
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GP201/03/P077), Z(AV0Z1019905)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/67985840:_____/04:00106894
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - modular discrete event systems;normality;coalgebra (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Proceedings of the 7th IFAC International Workshop on Discrete Event Systems
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Komenda, Jan
- van Schuppen, J. H.
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |