About: Control of (max,+) automata: logical and timing aspects     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
  • A new framework for control of (max,+) automata is introduced. The tensor product of their linear representations used in this paper is an extension of parallel composition from Boolean to (max,+) automata and can be nicely applied to both logical and timing aspects of supervisory control. Case of uncontrollable events that can neither be disable nor delayed is studied within a behavioral framework. Optimal (least restrictive) control of (max,+) automata is studied using residuation theory applied to Hadamard product of (multivariable) formal power series.
  • A new framework for control of (max,+) automata is introduced. The tensor product of their linear representations used in this paper is an extension of parallel composition from Boolean to (max,+) automata and can be nicely applied to both logical and timing aspects of supervisory control. Case of uncontrollable events that can neither be disable nor delayed is studied within a behavioral framework. Optimal (least restrictive) control of (max,+) automata is studied using residuation theory applied to Hadamard product of (multivariable) formal power series. (en)
  • Navrhujeme nový rámec pro řízení (max,+) automatu. Aplikujeme tensorový součin lineárních reprezentací (max,+) automatu, který je přirozeným rozšířením paralelního součinu automatu na (max,+) automaty, na jejich supervizní řízení, kde uvažujeme jeho logické i časové aspekty. Pomocí teorie formálních rad studujeme nekontrolovatelné události, které nemohou být zpožděné a nebo zakázané. Navrhujeme optimální řízení (max,+) automatu pomocí teorie zobecněných inverzí aplikované na Hadamardův součin formálních řad. (cs)
Title
  • Control of (max,+) automata: logical and timing aspects
  • Řízení (max,+) automatu: logické a časové aspekty (cs)
  • Control of (max,+) automata: logical and timing aspects (en)
skos:prefLabel
  • Control of (max,+) automata: logical and timing aspects
  • Řízení (max,+) automatu: logické a časové aspekty (cs)
  • Control of (max,+) automata: logical and timing aspects (en)
skos:notation
  • RIV/67985840:_____/08:00311003!RIV09-AV0-67985840
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(KJB100190609), P(MEB020729), Z(AV0Z10190503)
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
  • 361243
http://linked.open...ai/riv/idVysledku
  • RIV/67985840:_____/08:00311003
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • (max,+) automata; control; Hadamard product (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [56FF20E39A2F]
http://linked.open...v/mistoKonaniAkce
  • Göteborg
http://linked.open...i/riv/mistoVydani
  • Göteborg
http://linked.open...i/riv/nazevZdroje
  • Proceedings of WODES 2008: 9th 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
  • Lahaye, S.
  • Boimond, J.-L.
http://linked.open...vavai/riv/typAkce
http://linked.open...ain/vavai/riv/wos
  • 000259182200009
http://linked.open.../riv/zahajeniAkce
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • Ihe Institute of Electrical and Electronics Engineering
https://schema.org/isbn
  • 978-1-4244-2592-1
is http://linked.open...avai/riv/vysledek of
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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software