FRINK Linked Data Fragments server

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

• W1645283535 abstract "It is known that one can not always have a finite state representation for hybrid systems and many decision properties can be undecidable. It was shown in Cury et al. (1995), however, that if one has a finite state automaton that generates an outer approximation to the hybrid system language, it may be possible to synthesize a discrete-state supervisor to control the hybrid system based on the approximating automaton using standard synthesis methods from the theory of discrete event systems (DESs). In this paper we develop conditions under which the automaton generated by a modification of the approximation algorithm from Niinomi et al. (1996) generates the exact language for the hybrid system." @default.
• W1645283535 created "2016-06-24" @default.
• W1645283535 creator A5018341984 @default.
• W1645283535 creator A5026562535 @default.
• W1645283535 creator A5041838419 @default.
• W1645283535 date "2002-12-24" @default.
• W1645283535 modified "2023-09-25" @default.
• W1645283535 title "Computing exact automaton representations for a class of hybrid systems" @default.
• W1645283535 cites W2071592303 @default.
• W1645283535 cites W2078984959 @default.
• W1645283535 cites W2140828896 @default.
• W1645283535 cites W2153439859 @default.
• W1645283535 cites W2416534414 @default.
• W1645283535 cites W2561389219 @default.
• W1645283535 cites W986200886 @default.
• W1645283535 doi "https://doi.org/10.1109/cdc.1996.574275" @default.
• W1645283535 hasPublicationYear "2002" @default.
• W1645283535 type Work @default.
• W1645283535 sameAs 1645283535 @default.
• W1645283535 citedByCount "2" @default.
• W1645283535 crossrefType "proceedings-article" @default.
• W1645283535 hasAuthorship W1645283535A5018341984 @default.
• W1645283535 hasAuthorship W1645283535A5026562535 @default.
• W1645283535 hasAuthorship W1645283535A5041838419 @default.
• W1645283535 hasConcept C104091681 @default.
• W1645283535 hasConcept C112505250 @default.
• W1645283535 hasConcept C11413529 @default.
• W1645283535 hasConcept C116248031 @default.
• W1645283535 hasConcept C119857082 @default.
• W1645283535 hasConcept C139423837 @default.
• W1645283535 hasConcept C153269930 @default.
• W1645283535 hasConcept C158008952 @default.
• W1645283535 hasConcept C165753454 @default.
• W1645283535 hasConcept C16671368 @default.
• W1645283535 hasConcept C167822520 @default.
• W1645283535 hasConcept C174327141 @default.
• W1645283535 hasConcept C174784677 @default.
• W1645283535 hasConcept C17744445 @default.
• W1645283535 hasConcept C192034797 @default.
• W1645283535 hasConcept C194525867 @default.
• W1645283535 hasConcept C199539241 @default.
• W1645283535 hasConcept C21720249 @default.
• W1645283535 hasConcept C2776028153 @default.
• W1645283535 hasConcept C2776359362 @default.
• W1645283535 hasConcept C30788636 @default.
• W1645283535 hasConcept C41008148 @default.
• W1645283535 hasConcept C50897621 @default.
• W1645283535 hasConcept C52370388 @default.
• W1645283535 hasConcept C77944639 @default.
• W1645283535 hasConcept C80444323 @default.
• W1645283535 hasConcept C92710233 @default.
• W1645283535 hasConcept C94625758 @default.
• W1645283535 hasConceptScore W1645283535C104091681 @default.
• W1645283535 hasConceptScore W1645283535C112505250 @default.
• W1645283535 hasConceptScore W1645283535C11413529 @default.
• W1645283535 hasConceptScore W1645283535C116248031 @default.
• W1645283535 hasConceptScore W1645283535C119857082 @default.
• W1645283535 hasConceptScore W1645283535C139423837 @default.
• W1645283535 hasConceptScore W1645283535C153269930 @default.
• W1645283535 hasConceptScore W1645283535C158008952 @default.
• W1645283535 hasConceptScore W1645283535C165753454 @default.
• W1645283535 hasConceptScore W1645283535C16671368 @default.
• W1645283535 hasConceptScore W1645283535C167822520 @default.
• W1645283535 hasConceptScore W1645283535C174327141 @default.
• W1645283535 hasConceptScore W1645283535C174784677 @default.
• W1645283535 hasConceptScore W1645283535C17744445 @default.
• W1645283535 hasConceptScore W1645283535C192034797 @default.
• W1645283535 hasConceptScore W1645283535C194525867 @default.
• W1645283535 hasConceptScore W1645283535C199539241 @default.
• W1645283535 hasConceptScore W1645283535C21720249 @default.
• W1645283535 hasConceptScore W1645283535C2776028153 @default.
• W1645283535 hasConceptScore W1645283535C2776359362 @default.
• W1645283535 hasConceptScore W1645283535C30788636 @default.
• W1645283535 hasConceptScore W1645283535C41008148 @default.
• W1645283535 hasConceptScore W1645283535C50897621 @default.
• W1645283535 hasConceptScore W1645283535C52370388 @default.
• W1645283535 hasConceptScore W1645283535C77944639 @default.
• W1645283535 hasConceptScore W1645283535C80444323 @default.
• W1645283535 hasConceptScore W1645283535C92710233 @default.
• W1645283535 hasConceptScore W1645283535C94625758 @default.
• W1645283535 hasLocation W16452835351 @default.
• W1645283535 hasOpenAccess W1645283535 @default.
• W1645283535 hasPrimaryLocation W16452835351 @default.
• W1645283535 hasRelatedWork W1482505495 @default.
• W1645283535 hasRelatedWork W1506114972 @default.
• W1645283535 hasRelatedWork W1576523092 @default.
• W1645283535 hasRelatedWork W1963567297 @default.
• W1645283535 hasRelatedWork W1976720137 @default.
• W1645283535 hasRelatedWork W2013867120 @default.
• W1645283535 hasRelatedWork W2024315516 @default.
• W1645283535 hasRelatedWork W2024861279 @default.
• W1645283535 hasRelatedWork W2052928857 @default.
• W1645283535 hasRelatedWork W2069164023 @default.
• W1645283535 hasRelatedWork W2118296037 @default.
• W1645283535 hasRelatedWork W2145225595 @default.
• W1645283535 hasRelatedWork W2155692828 @default.
• W1645283535 hasRelatedWork W2317925005 @default.
• W1645283535 hasRelatedWork W2324964761 @default.
• W1645283535 hasRelatedWork W2887277348 @default.
• W1645283535 hasRelatedWork W3142256832 @default.

• next