About: Coalgebra and discrete event control

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Coalgebra and discrete event control Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
Description	In the last decades supervisory control of logical automata has been studied using algebraic methods. Automata and their various extensions can be studied within the framework of universal coalgebra that leads to new results. Nowadays there is a naturalneed for the study of quantitative models like weighted and timed automata. The unifying formalism of coalgebraic methods seems to be essential for understanding and solving of problems related to their supervisory control. Different kinds of automataare coalgebras of suitable set functors and their behaviours (formal languages, formal power series) can be also endowed with the same automaton structure, where the state transition function is given by input derivatives of the language or the formalpower series. These behaviours form in fact the final coalgebra, which is the dual of initial algebras in the sense of the category theory. The aim of this project is to complete the results achieved by the applicant in the application of coalgebra to (en) V posledních desetiletích se studovalo dohlížecí řízení v případě logických automatů a za pomoci algebraických metod. Automaty a jejich různá rozšíření se mohou studovat za pomoci koalgebraických metod, které vedou k novým výsledkům. Dnes se objevujepotřeba zabývat se kvantitativními modely jako jsou například vážené automaty a časované automaty. Zde se zdá být využití sjednocovacího formalismu koalgebraických metod klíčovým k porozumění a vyřešení problémů spojených s jejím dohlížecím řízením.Různé druhy automatů jsou koalgebry vhodně zvolených množinových funktorů a jejich trajektorie (formální jazyky, formální mocninné řady) mohou být také vybaveny stejnou strukturou automatu, kde přechodová funkce je dána pomocí derivací jazyka neboformální mocninné řady podle dané události. Tyto trajektorie tvoří ve skutečnosti tzv. finální koalgebru, která je duálem počátečních algeber ve smyslu teorie kategorií. Cílem tohoto grantu je doplnit výsledky dosažené navrhovatelem při aplikaci (cs)
Title	Coalgebra and discrete event control (en) Koalgebra a řízení systémů s diskrétními událostmi (cs)
http://linked.open...avai/druh-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/VS
http://linked.open...domain/vavai/faze	http://linked.opendata.cz/resource/domain/vavai/cep/faze/21134763
http://linked.open...vavai/hlavni-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/BC
http://linked.open...vavai/id-aktivity	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/GP
http://linked.open.../vavai/id-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/SGA02003GA1PD
http://linked.open...n/vavai/kategorie	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/1
http://linked.open...vai/klicova-slova	Neuvedeno. (en)
http://linked.open...nujicich-prijemcu	0 (xsd:integer)
http://linked.open...avai/poskytovatel	http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/GA0
http://linked.open...ai/statni-podpora	134 (xsd:integer)
http://linked.open...vavai/typProjektu	http://linked.opendata.cz/resource/domain/vavai/cep/typ/P
http://linked.open...ai/uznane-naklady	134 (xsd:integer)
http://linked.open...ai/pocet-prijemcu	1 (xsd:integer)
http://linked.open...cet-spoluprijemcu	0 (xsd:integer)
http://linked.open...ai/pocet-vysledku	4 (xsd:integer)
http://linked.open...ku-zverejnovanych	4 (xsd:integer)
is http://linked.open...ain/vavai/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2003/GP201/03/P077/ico-67985840 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2004/GP201/03/P077/ico-67985840 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2005/GP201/03/P077/ico-67985840

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software