FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1582075212> ?p ?o ?g. }

• W1582075212 abstract "(max,+) automata, an important class of both timed automata and weighted automata, are used as a model of a class of timed discrete event systems and their supervisory control is developped. The concept of supervised product is introduced to control (max,+) automata and its properties are studied. Decomposition of morphism matrix of the controlled system based on the tensor dioid algebra is proposed and the supervisory control of (max,+) automata is studied using residuation theory of formal power series. Finally we discuss the synchronous composition of (max,+) automata that yields a more general class of timed automata: product interval automata." @default.
• W1582075212 created "2016-06-24" @default.
• W1582075212 creator A5033376085 @default.
• W1582075212 creator A5076036217 @default.
• W1582075212 creator A5080071208 @default.
• W1582075212 date "2007-07-01" @default.
• W1582075212 modified "2023-09-26" @default.
• W1582075212 title "Supervisory Control of (max,+) automata: Timing aspects" @default.
• W1582075212 cites W114286715 @default.
• W1582075212 cites W130102441 @default.
• W1582075212 cites W1544759682 @default.
• W1582075212 cites W1991466857 @default.
• W1582075212 cites W1996305369 @default.
• W1582075212 cites W2028436354 @default.
• W1582075212 cites W2059057465 @default.
• W1582075212 cites W2068354234 @default.
• W1582075212 cites W2076347141 @default.
• W1582075212 cites W2101508170 @default.
• W1582075212 cites W2109828309 @default.
• W1582075212 cites W2160168402 @default.
• W1582075212 cites W234679600 @default.
• W1582075212 cites W36865365 @default.
• W1582075212 cites W54259118 @default.
• W1582075212 cites W2470836217 @default.
• W1582075212 doi "https://doi.org/10.23919/ecc.2007.7068327" @default.
• W1582075212 hasPublicationYear "2007" @default.
• W1582075212 type Work @default.
• W1582075212 sameAs 1582075212 @default.
• W1582075212 citedByCount "2" @default.
• W1582075212 crossrefType "proceedings-article" @default.
• W1582075212 hasAuthorship W1582075212A5033376085 @default.
• W1582075212 hasAuthorship W1582075212A5076036217 @default.
• W1582075212 hasAuthorship W1582075212A5080071208 @default.
• W1582075212 hasConcept C112505250 @default.
• W1582075212 hasConcept C114614502 @default.
• W1582075212 hasConcept C116248031 @default.
• W1582075212 hasConcept C118615104 @default.
• W1582075212 hasConcept C134306372 @default.
• W1582075212 hasConcept C136119220 @default.
• W1582075212 hasConcept C137212723 @default.
• W1582075212 hasConcept C151746172 @default.
• W1582075212 hasConcept C154945302 @default.
• W1582075212 hasConcept C174327141 @default.
• W1582075212 hasConcept C202444582 @default.
• W1582075212 hasConcept C2524010 @default.
• W1582075212 hasConcept C2775924081 @default.
• W1582075212 hasConcept C2777212361 @default.
• W1582075212 hasConcept C2778067643 @default.
• W1582075212 hasConcept C30788636 @default.
• W1582075212 hasConcept C33923547 @default.
• W1582075212 hasConcept C41008148 @default.
• W1582075212 hasConcept C50348692 @default.
• W1582075212 hasConcept C51255310 @default.
• W1582075212 hasConcept C73905626 @default.
• W1582075212 hasConcept C75745568 @default.
• W1582075212 hasConcept C80444323 @default.
• W1582075212 hasConcept C90673727 @default.
• W1582075212 hasConcept C92710233 @default.
• W1582075212 hasConcept C92991967 @default.
• W1582075212 hasConceptScore W1582075212C112505250 @default.
• W1582075212 hasConceptScore W1582075212C114614502 @default.
• W1582075212 hasConceptScore W1582075212C116248031 @default.
• W1582075212 hasConceptScore W1582075212C118615104 @default.
• W1582075212 hasConceptScore W1582075212C134306372 @default.
• W1582075212 hasConceptScore W1582075212C136119220 @default.
• W1582075212 hasConceptScore W1582075212C137212723 @default.
• W1582075212 hasConceptScore W1582075212C151746172 @default.
• W1582075212 hasConceptScore W1582075212C154945302 @default.
• W1582075212 hasConceptScore W1582075212C174327141 @default.
• W1582075212 hasConceptScore W1582075212C202444582 @default.
• W1582075212 hasConceptScore W1582075212C2524010 @default.
• W1582075212 hasConceptScore W1582075212C2775924081 @default.
• W1582075212 hasConceptScore W1582075212C2777212361 @default.
• W1582075212 hasConceptScore W1582075212C2778067643 @default.
• W1582075212 hasConceptScore W1582075212C30788636 @default.
• W1582075212 hasConceptScore W1582075212C33923547 @default.
• W1582075212 hasConceptScore W1582075212C41008148 @default.
• W1582075212 hasConceptScore W1582075212C50348692 @default.
• W1582075212 hasConceptScore W1582075212C51255310 @default.
• W1582075212 hasConceptScore W1582075212C73905626 @default.
• W1582075212 hasConceptScore W1582075212C75745568 @default.
• W1582075212 hasConceptScore W1582075212C80444323 @default.
• W1582075212 hasConceptScore W1582075212C90673727 @default.
• W1582075212 hasConceptScore W1582075212C92710233 @default.
• W1582075212 hasConceptScore W1582075212C92991967 @default.
• W1582075212 hasLocation W15820752121 @default.
• W1582075212 hasLocation W15820752122 @default.
• W1582075212 hasLocation W15820752123 @default.
• W1582075212 hasOpenAccess W1582075212 @default.
• W1582075212 hasPrimaryLocation W15820752121 @default.
• W1582075212 hasRelatedWork W1569273857 @default.
• W1582075212 hasRelatedWork W1582075212 @default.
• W1582075212 hasRelatedWork W1973077904 @default.
• W1582075212 hasRelatedWork W1978638999 @default.
• W1582075212 hasRelatedWork W2006984763 @default.
• W1582075212 hasRelatedWork W2012286375 @default.
• W1582075212 hasRelatedWork W2019731840 @default.
• W1582075212 hasRelatedWork W2133073401 @default.
• W1582075212 hasRelatedWork W2321667159 @default.
• W1582075212 hasRelatedWork W2518832034 @default.

• next