About: Supremal Normal Sublanguages of Large Distributed Discrete Event Systems     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
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
  • 73;78
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
  • 589043
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
  • [E78BDC54E7DF]
http://linked.open...v/mistoKonaniAkce
  • Reims
http://linked.open...i/riv/mistoVydani
  • Reims
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
  • CWI
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software