Matches in SemOpenAlex for { <https://semopenalex.org/work/W2292321818> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2292321818 abstract "In this paper, we consider a class of discrete-time systems with linear dynamics and a finite input alphabet. We begin by motivating and proposing two notions of finite bisimulation that we refer to as ‘finite uniform bisimulation’, and ‘regular finite uniform bisimulation’. We derive a sufficient condition for the existence of finite uniform bisimulations, and we investigate necessary conditions. We also present an algorithm to compute finite uniform bisimulations when the sufficient condition is satisfied. We conclude with an illustrative example showing how to construct deterministic finite state machine models of the underlying system when these finite uniform bisimulations exist." @default.
- W2292321818 created "2016-06-24" @default.
- W2292321818 creator A5033777007 @default.
- W2292321818 creator A5061682756 @default.
- W2292321818 date "2015-12-01" @default.
- W2292321818 modified "2023-09-24" @default.
- W2292321818 title "On existence and construction of finite uniform bisimulations for linear systems with finite input alphabets" @default.
- W2292321818 cites W1483893502 @default.
- W2292321818 cites W1507306347 @default.
- W2292321818 cites W1547562281 @default.
- W2292321818 cites W1565956743 @default.
- W2292321818 cites W2044323243 @default.
- W2292321818 cites W2055960145 @default.
- W2292321818 cites W2058188212 @default.
- W2292321818 cites W2100929554 @default.
- W2292321818 cites W2109080678 @default.
- W2292321818 cites W2117218135 @default.
- W2292321818 cites W2136122715 @default.
- W2292321818 cites W2151188077 @default.
- W2292321818 cites W2158345050 @default.
- W2292321818 cites W2610857016 @default.
- W2292321818 cites W648134895 @default.
- W2292321818 doi "https://doi.org/10.1109/cdc.2015.7402348" @default.
- W2292321818 hasPublicationYear "2015" @default.
- W2292321818 type Work @default.
- W2292321818 sameAs 2292321818 @default.
- W2292321818 citedByCount "1" @default.
- W2292321818 countsByYear W22923218182017 @default.
- W2292321818 crossrefType "proceedings-article" @default.
- W2292321818 hasAuthorship W2292321818A5033777007 @default.
- W2292321818 hasAuthorship W2292321818A5061682756 @default.
- W2292321818 hasConcept C112876837 @default.
- W2292321818 hasConcept C11413529 @default.
- W2292321818 hasConcept C118615104 @default.
- W2292321818 hasConcept C134306372 @default.
- W2292321818 hasConcept C135315306 @default.
- W2292321818 hasConcept C138885662 @default.
- W2292321818 hasConcept C154945302 @default.
- W2292321818 hasConcept C162392398 @default.
- W2292321818 hasConcept C167822520 @default.
- W2292321818 hasConcept C2777212361 @default.
- W2292321818 hasConcept C33923547 @default.
- W2292321818 hasConcept C41008148 @default.
- W2292321818 hasConcept C41895202 @default.
- W2292321818 hasConcept C77926391 @default.
- W2292321818 hasConceptScore W2292321818C112876837 @default.
- W2292321818 hasConceptScore W2292321818C11413529 @default.
- W2292321818 hasConceptScore W2292321818C118615104 @default.
- W2292321818 hasConceptScore W2292321818C134306372 @default.
- W2292321818 hasConceptScore W2292321818C135315306 @default.
- W2292321818 hasConceptScore W2292321818C138885662 @default.
- W2292321818 hasConceptScore W2292321818C154945302 @default.
- W2292321818 hasConceptScore W2292321818C162392398 @default.
- W2292321818 hasConceptScore W2292321818C167822520 @default.
- W2292321818 hasConceptScore W2292321818C2777212361 @default.
- W2292321818 hasConceptScore W2292321818C33923547 @default.
- W2292321818 hasConceptScore W2292321818C41008148 @default.
- W2292321818 hasConceptScore W2292321818C41895202 @default.
- W2292321818 hasConceptScore W2292321818C77926391 @default.
- W2292321818 hasLocation W22923218181 @default.
- W2292321818 hasOpenAccess W2292321818 @default.
- W2292321818 hasPrimaryLocation W22923218181 @default.
- W2292321818 hasRelatedWork W1533949524 @default.
- W2292321818 hasRelatedWork W1608349849 @default.
- W2292321818 hasRelatedWork W2028389950 @default.
- W2292321818 hasRelatedWork W2035020702 @default.
- W2292321818 hasRelatedWork W2040792183 @default.
- W2292321818 hasRelatedWork W2074221742 @default.
- W2292321818 hasRelatedWork W2077267690 @default.
- W2292321818 hasRelatedWork W2101818103 @default.
- W2292321818 hasRelatedWork W2119416645 @default.
- W2292321818 hasRelatedWork W2136750057 @default.
- W2292321818 hasRelatedWork W2137777756 @default.
- W2292321818 hasRelatedWork W2188792780 @default.
- W2292321818 hasRelatedWork W2198746441 @default.
- W2292321818 hasRelatedWork W2462959596 @default.
- W2292321818 hasRelatedWork W2584111265 @default.
- W2292321818 hasRelatedWork W2952252106 @default.
- W2292321818 hasRelatedWork W2980415400 @default.
- W2292321818 hasRelatedWork W3195897816 @default.
- W2292321818 hasRelatedWork W59329678 @default.
- W2292321818 hasRelatedWork W2963081994 @default.
- W2292321818 isParatext "false" @default.
- W2292321818 isRetracted "false" @default.
- W2292321818 magId "2292321818" @default.
- W2292321818 workType "article" @default.