Matches in SemOpenAlex for { <https://semopenalex.org/work/W2061317527> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2061317527 abstract "Abstract Silva and Krogh formulate a sampled-data hybrid automaton to deal with time-driven events and discuss its verification. In this paper, we consider a state feedback control problem of the automaton. First, we introduce two transition systems as semantics of the automaton. Next, using these transition systems, we derive necessary and sufficient conditions for a predicate to be control-invariant. Finally, we show that there always exists the supremal control-invariant subpredicate for any predicate." @default.
- W2061317527 created "2016-06-24" @default.
- W2061317527 creator A5023952338 @default.
- W2061317527 creator A5046686505 @default.
- W2061317527 date "2006-01-01" @default.
- W2061317527 modified "2023-09-26" @default.
- W2061317527 title "CONTROL-INVARIANCE OF SAMPLEDDATA HYBRID SYSTEMS WITH PERIODICALLY CLOCKED EVENTS AND JITTER" @default.
- W2061317527 cites W1569716313 @default.
- W2061317527 cites W1982948055 @default.
- W2061317527 cites W2139145368 @default.
- W2061317527 cites W2147340401 @default.
- W2061317527 cites W2154148696 @default.
- W2061317527 cites W1969773182 @default.
- W2061317527 doi "https://doi.org/10.3182/20060607-3-it-3902.00075" @default.
- W2061317527 hasPublicationYear "2006" @default.
- W2061317527 type Work @default.
- W2061317527 sameAs 2061317527 @default.
- W2061317527 citedByCount "1" @default.
- W2061317527 countsByYear W20613175272013 @default.
- W2061317527 crossrefType "journal-article" @default.
- W2061317527 hasAuthorship W2061317527A5023952338 @default.
- W2061317527 hasAuthorship W2061317527A5046686505 @default.
- W2061317527 hasConcept C112505250 @default.
- W2061317527 hasConcept C11413529 @default.
- W2061317527 hasConcept C134652429 @default.
- W2061317527 hasConcept C140146324 @default.
- W2061317527 hasConcept C190470478 @default.
- W2061317527 hasConcept C199360897 @default.
- W2061317527 hasConcept C2779167558 @default.
- W2061317527 hasConcept C33923547 @default.
- W2061317527 hasConcept C37914503 @default.
- W2061317527 hasConcept C41008148 @default.
- W2061317527 hasConcept C76155785 @default.
- W2061317527 hasConcept C80444323 @default.
- W2061317527 hasConceptScore W2061317527C112505250 @default.
- W2061317527 hasConceptScore W2061317527C11413529 @default.
- W2061317527 hasConceptScore W2061317527C134652429 @default.
- W2061317527 hasConceptScore W2061317527C140146324 @default.
- W2061317527 hasConceptScore W2061317527C190470478 @default.
- W2061317527 hasConceptScore W2061317527C199360897 @default.
- W2061317527 hasConceptScore W2061317527C2779167558 @default.
- W2061317527 hasConceptScore W2061317527C33923547 @default.
- W2061317527 hasConceptScore W2061317527C37914503 @default.
- W2061317527 hasConceptScore W2061317527C41008148 @default.
- W2061317527 hasConceptScore W2061317527C76155785 @default.
- W2061317527 hasConceptScore W2061317527C80444323 @default.
- W2061317527 hasLocation W20613175271 @default.
- W2061317527 hasOpenAccess W2061317527 @default.
- W2061317527 hasPrimaryLocation W20613175271 @default.
- W2061317527 hasRelatedWork W2122446625 @default.
- W2061317527 hasRelatedWork W2160017634 @default.
- W2061317527 hasRelatedWork W2359074461 @default.
- W2061317527 hasRelatedWork W2367959404 @default.
- W2061317527 hasRelatedWork W2371426012 @default.
- W2061317527 hasRelatedWork W2372540801 @default.
- W2061317527 hasRelatedWork W2386897620 @default.
- W2061317527 hasRelatedWork W2400656950 @default.
- W2061317527 hasRelatedWork W2615100488 @default.
- W2061317527 hasRelatedWork W2810651661 @default.
- W2061317527 isParatext "false" @default.
- W2061317527 isRetracted "false" @default.
- W2061317527 magId "2061317527" @default.
- W2061317527 workType "article" @default.