FRINK Linked Data Fragments server

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

• W2570756997 abstract "Safety control constitutes an important aspect of hybrid systems and control. Invariance controllers guarantee that a system can stay within a given safe set for all future time. While abstraction-based approach to control synthesis takes the advantages of formal methods in automatic synthesis, abstractions often introduce spurious transitions that can lead to failure of controller synthesis for a given specification, even though the original system can be controlled to satisfy this specification. For discrete-time switched systems, this paper presents an interval arithmetic-based approach for invariance control synthesis. The main synthesis algorithms rely on partition refinement techniques and backward reachable set computation using interval analysis. The use of rigorous numerics allow us to prove formal guarantees of finding an invariance controller via abstraction refinement, provided that a robustly invariant condition is satisfied for the original switched system. The results are illustrated with polynomial dynamics." @default.
• W2570756997 created "2017-01-13" @default.
• W2570756997 creator A5000093771 @default.
• W2570756997 creator A5027835055 @default.
• W2570756997 date "2016-12-01" @default.
• W2570756997 modified "2023-09-26" @default.
• W2570756997 title "An interval analysis approach to invariance control synthesis for discrete-time switched systems" @default.
• W2570756997 cites W1481666617 @default.
• W2570756997 cites W1552094772 @default.
• W2570756997 cites W1678380195 @default.
• W2570756997 cites W1791240938 @default.
• W2570756997 cites W180677656 @default.
• W2570756997 cites W1985919024 @default.
• W2570756997 cites W1988535797 @default.
• W2570756997 cites W1989103660 @default.
• W2570756997 cites W2018380024 @default.
• W2570756997 cites W2020883449 @default.
• W2570756997 cites W2026290247 @default.
• W2570756997 cites W2033535773 @default.
• W2570756997 cites W2062584330 @default.
• W2570756997 cites W2075665799 @default.
• W2570756997 cites W2079042739 @default.
• W2570756997 cites W2110915954 @default.
• W2570756997 cites W2116361461 @default.
• W2570756997 cites W2150335178 @default.
• W2570756997 cites W2151958719 @default.
• W2570756997 cites W2158345050 @default.
• W2570756997 cites W2165748475 @default.
• W2570756997 cites W2169289043 @default.
• W2570756997 cites W2963857949 @default.
• W2570756997 doi "https://doi.org/10.1109/cdc.2016.7799252" @default.
• W2570756997 hasPublicationYear "2016" @default.
• W2570756997 type Work @default.
• W2570756997 sameAs 2570756997 @default.
• W2570756997 citedByCount "2" @default.
• W2570756997 countsByYear W25707569972019 @default.
• W2570756997 crossrefType "proceedings-article" @default.
• W2570756997 hasAuthorship W2570756997A5000093771 @default.
• W2570756997 hasAuthorship W2570756997A5027835055 @default.
• W2570756997 hasConcept C105795698 @default.
• W2570756997 hasConcept C111472728 @default.
• W2570756997 hasConcept C111498074 @default.
• W2570756997 hasConcept C11413529 @default.
• W2570756997 hasConcept C114614502 @default.
• W2570756997 hasConcept C119857082 @default.
• W2570756997 hasConcept C124304363 @default.
• W2570756997 hasConcept C134306372 @default.
• W2570756997 hasConcept C138885662 @default.
• W2570756997 hasConcept C177264268 @default.
• W2570756997 hasConcept C190470478 @default.
• W2570756997 hasConcept C191252586 @default.
• W2570756997 hasConcept C199360897 @default.
• W2570756997 hasConcept C203479927 @default.
• W2570756997 hasConcept C2778067643 @default.
• W2570756997 hasConcept C32278780 @default.
• W2570756997 hasConcept C33923547 @default.
• W2570756997 hasConcept C34388435 @default.
• W2570756997 hasConcept C37914503 @default.
• W2570756997 hasConcept C41008148 @default.
• W2570756997 hasConcept C42812 @default.
• W2570756997 hasConcept C55689738 @default.
• W2570756997 hasConcept C6557445 @default.
• W2570756997 hasConcept C80444323 @default.
• W2570756997 hasConcept C86803240 @default.
• W2570756997 hasConcept C97256817 @default.
• W2570756997 hasConceptScore W2570756997C105795698 @default.
• W2570756997 hasConceptScore W2570756997C111472728 @default.
• W2570756997 hasConceptScore W2570756997C111498074 @default.
• W2570756997 hasConceptScore W2570756997C11413529 @default.
• W2570756997 hasConceptScore W2570756997C114614502 @default.
• W2570756997 hasConceptScore W2570756997C119857082 @default.
• W2570756997 hasConceptScore W2570756997C124304363 @default.
• W2570756997 hasConceptScore W2570756997C134306372 @default.
• W2570756997 hasConceptScore W2570756997C138885662 @default.
• W2570756997 hasConceptScore W2570756997C177264268 @default.
• W2570756997 hasConceptScore W2570756997C190470478 @default.
• W2570756997 hasConceptScore W2570756997C191252586 @default.
• W2570756997 hasConceptScore W2570756997C199360897 @default.
• W2570756997 hasConceptScore W2570756997C203479927 @default.
• W2570756997 hasConceptScore W2570756997C2778067643 @default.
• W2570756997 hasConceptScore W2570756997C32278780 @default.
• W2570756997 hasConceptScore W2570756997C33923547 @default.
• W2570756997 hasConceptScore W2570756997C34388435 @default.
• W2570756997 hasConceptScore W2570756997C37914503 @default.
• W2570756997 hasConceptScore W2570756997C41008148 @default.
• W2570756997 hasConceptScore W2570756997C42812 @default.
• W2570756997 hasConceptScore W2570756997C55689738 @default.
• W2570756997 hasConceptScore W2570756997C6557445 @default.
• W2570756997 hasConceptScore W2570756997C80444323 @default.
• W2570756997 hasConceptScore W2570756997C86803240 @default.
• W2570756997 hasConceptScore W2570756997C97256817 @default.
• W2570756997 hasLocation W25707569971 @default.
• W2570756997 hasOpenAccess W2570756997 @default.
• W2570756997 hasPrimaryLocation W25707569971 @default.
• W2570756997 hasRelatedWork W1486130007 @default.
• W2570756997 hasRelatedWork W2047975196 @default.
• W2570756997 hasRelatedWork W2078577032 @default.
• W2570756997 hasRelatedWork W2109455455 @default.
• W2570756997 hasRelatedWork W2119621879 @default.
• W2570756997 hasRelatedWork W2120088319 @default.

• next