Matches in SemOpenAlex for { <https://semopenalex.org/work/W2398495836> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2398495836 endingPage "1063" @default.
- W2398495836 startingPage "1058" @default.
- W2398495836 abstract "In this paper, we consider the problem of approximate bisimulations for constrained discrete-time linear systems. First, we develop a theory of approximation for transition systems with nondeterministic evolution. Then observation metrics are used to describe the bounded distance between system observations. Furthermore, we utilize a class of Lyapunov-like functions, called bisimulation functions, to characterize the approximate bisimulation relations. For the class of discrete-time linear systems with constrained inputs, we convert the problem of computing bisimulation functions to linear matrix inequalities (LMIs) and optimization problems. Finally, a numerical example is performed to verify the effectiveness of the approximation bisimulation framework design technique, and using multi-parametric toolbox (MPT), we also demonstrate the application to safety verification." @default.
- W2398495836 created "2016-06-24" @default.
- W2398495836 creator A5013979188 @default.
- W2398495836 creator A5023705448 @default.
- W2398495836 creator A5029945231 @default.
- W2398495836 creator A5068116911 @default.
- W2398495836 creator A5072969773 @default.
- W2398495836 date "2015-10-01" @default.
- W2398495836 modified "2023-09-27" @default.
- W2398495836 title "Approximate Bisimulations for Constrained Discrete-Time Linear Systems" @default.
- W2398495836 hasPublicationYear "2015" @default.
- W2398495836 type Work @default.
- W2398495836 sameAs 2398495836 @default.
- W2398495836 citedByCount "1" @default.
- W2398495836 countsByYear W23984958362016 @default.
- W2398495836 crossrefType "journal-article" @default.
- W2398495836 hasAuthorship W2398495836A5013979188 @default.
- W2398495836 hasAuthorship W2398495836A5023705448 @default.
- W2398495836 hasAuthorship W2398495836A5029945231 @default.
- W2398495836 hasAuthorship W2398495836A5068116911 @default.
- W2398495836 hasAuthorship W2398495836A5072969773 @default.
- W2398495836 hasConcept C105795698 @default.
- W2398495836 hasConcept C11413529 @default.
- W2398495836 hasConcept C117251300 @default.
- W2398495836 hasConcept C118615104 @default.
- W2398495836 hasConcept C121332964 @default.
- W2398495836 hasConcept C126255220 @default.
- W2398495836 hasConcept C134306372 @default.
- W2398495836 hasConcept C135315306 @default.
- W2398495836 hasConcept C154945302 @default.
- W2398495836 hasConcept C158622935 @default.
- W2398495836 hasConcept C176181172 @default.
- W2398495836 hasConcept C2777212361 @default.
- W2398495836 hasConcept C33923547 @default.
- W2398495836 hasConcept C34388435 @default.
- W2398495836 hasConcept C41008148 @default.
- W2398495836 hasConcept C55689738 @default.
- W2398495836 hasConcept C60640748 @default.
- W2398495836 hasConcept C62520636 @default.
- W2398495836 hasConcept C6802819 @default.
- W2398495836 hasConceptScore W2398495836C105795698 @default.
- W2398495836 hasConceptScore W2398495836C11413529 @default.
- W2398495836 hasConceptScore W2398495836C117251300 @default.
- W2398495836 hasConceptScore W2398495836C118615104 @default.
- W2398495836 hasConceptScore W2398495836C121332964 @default.
- W2398495836 hasConceptScore W2398495836C126255220 @default.
- W2398495836 hasConceptScore W2398495836C134306372 @default.
- W2398495836 hasConceptScore W2398495836C135315306 @default.
- W2398495836 hasConceptScore W2398495836C154945302 @default.
- W2398495836 hasConceptScore W2398495836C158622935 @default.
- W2398495836 hasConceptScore W2398495836C176181172 @default.
- W2398495836 hasConceptScore W2398495836C2777212361 @default.
- W2398495836 hasConceptScore W2398495836C33923547 @default.
- W2398495836 hasConceptScore W2398495836C34388435 @default.
- W2398495836 hasConceptScore W2398495836C41008148 @default.
- W2398495836 hasConceptScore W2398495836C55689738 @default.
- W2398495836 hasConceptScore W2398495836C60640748 @default.
- W2398495836 hasConceptScore W2398495836C62520636 @default.
- W2398495836 hasConceptScore W2398495836C6802819 @default.
- W2398495836 hasLocation W23984958361 @default.
- W2398495836 hasOpenAccess W2398495836 @default.
- W2398495836 hasPrimaryLocation W23984958361 @default.
- W2398495836 hasRelatedWork W1523452604 @default.
- W2398495836 hasRelatedWork W1856550587 @default.
- W2398495836 hasRelatedWork W1996677885 @default.
- W2398495836 hasRelatedWork W2011979623 @default.
- W2398495836 hasRelatedWork W2048598811 @default.
- W2398495836 hasRelatedWork W2053980832 @default.
- W2398495836 hasRelatedWork W2067733097 @default.
- W2398495836 hasRelatedWork W2072229594 @default.
- W2398495836 hasRelatedWork W2074027094 @default.
- W2398495836 hasRelatedWork W2076908741 @default.
- W2398495836 hasRelatedWork W2104860213 @default.
- W2398495836 hasRelatedWork W2157304198 @default.
- W2398495836 hasRelatedWork W2158712198 @default.
- W2398495836 hasRelatedWork W2206499286 @default.
- W2398495836 hasRelatedWork W2570349895 @default.
- W2398495836 hasRelatedWork W2760958540 @default.
- W2398495836 hasRelatedWork W2963053577 @default.
- W2398495836 hasRelatedWork W3146509794 @default.
- W2398495836 hasRelatedWork W2022379774 @default.
- W2398495836 hasRelatedWork W2519515952 @default.
- W2398495836 isParatext "false" @default.
- W2398495836 isRetracted "false" @default.
- W2398495836 magId "2398495836" @default.
- W2398495836 workType "article" @default.