FRINK Linked Data Fragments server

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

• W2115032016 abstract "We propose a procedure for the synthesis of control protocols for systems governed by nonlinear differential equations and constrained by temporal logic specifications. This procedure relies on a particular finite-state abstraction of the underlying continuous dynamics and a discrete representation of the external environmental signals. A two-player game formulation provides computationally efficient means to construct a discrete strategy based on the finite-state model. We focus on systems with differentially flat outputs, which, in a straightforward manner, allows the construction of continuous control signals from the discrete transitions dictated by the discrete strategy. The resulting continuous-time output trajectories are provably guaranteed to robustly satisfy the original specifications." @default.
• W2115032016 created "2016-06-24" @default.
• W2115032016 creator A5027835055 @default.
• W2115032016 creator A5054418471 @default.
• W2115032016 creator A5055901264 @default.
• W2115032016 creator A5068441112 @default.
• W2115032016 date "2012-12-01" @default.
• W2115032016 modified "2023-09-23" @default.
• W2115032016 title "Reactive controllers for differentially flat systems with temporal logic constraints" @default.
• W2115032016 cites W1506588809 @default.
• W2115032016 cites W1517771483 @default.
• W2115032016 cites W1971727916 @default.
• W2115032016 cites W1978100913 @default.
• W2115032016 cites W1995433848 @default.
• W2115032016 cites W2011979623 @default.
• W2115032016 cites W2018123312 @default.
• W2115032016 cites W2023808162 @default.
• W2115032016 cites W2035309264 @default.
• W2115032016 cites W2041701185 @default.
• W2115032016 cites W2041960188 @default.
• W2115032016 cites W2044323243 @default.
• W2115032016 cites W2064572756 @default.
• W2115032016 cites W2065297540 @default.
• W2115032016 cites W2071797744 @default.
• W2115032016 cites W2076313089 @default.
• W2115032016 cites W2079042739 @default.
• W2115032016 cites W2107343873 @default.
• W2115032016 cites W2116647221 @default.
• W2115032016 cites W2117218135 @default.
• W2115032016 cites W2150335178 @default.
• W2115032016 cites W2151958719 @default.
• W2115032016 cites W2165364079 @default.
• W2115032016 cites W2165748475 @default.
• W2115032016 cites W2166691751 @default.
• W2115032016 cites W2169289043 @default.
• W2115032016 cites W2172806547 @default.
• W2115032016 cites W2487779201 @default.
• W2115032016 cites W3103706207 @default.
• W2115032016 cites W4205731808 @default.
• W2115032016 cites W4232303308 @default.
• W2115032016 doi "https://doi.org/10.1109/cdc.2012.6425981" @default.
• W2115032016 hasPublicationYear "2012" @default.
• W2115032016 type Work @default.
• W2115032016 sameAs 2115032016 @default.
• W2115032016 citedByCount "12" @default.
• W2115032016 countsByYear W21150320162014 @default.
• W2115032016 countsByYear W21150320162015 @default.
• W2115032016 countsByYear W21150320162016 @default.
• W2115032016 countsByYear W21150320162017 @default.
• W2115032016 countsByYear W21150320162021 @default.
• W2115032016 countsByYear W21150320162022 @default.
• W2115032016 crossrefType "proceedings-article" @default.
• W2115032016 hasAuthorship W2115032016A5027835055 @default.
• W2115032016 hasAuthorship W2115032016A5054418471 @default.
• W2115032016 hasAuthorship W2115032016A5055901264 @default.
• W2115032016 hasAuthorship W2115032016A5068441112 @default.
• W2115032016 hasConcept C105795698 @default.
• W2115032016 hasConcept C111472728 @default.
• W2115032016 hasConcept C11413529 @default.
• W2115032016 hasConcept C120665830 @default.
• W2115032016 hasConcept C121332964 @default.
• W2115032016 hasConcept C124304363 @default.
• W2115032016 hasConcept C138885662 @default.
• W2115032016 hasConcept C154945302 @default.
• W2115032016 hasConcept C158622935 @default.
• W2115032016 hasConcept C167822520 @default.
• W2115032016 hasConcept C17744445 @default.
• W2115032016 hasConcept C192209626 @default.
• W2115032016 hasConcept C199360897 @default.
• W2115032016 hasConcept C199539241 @default.
• W2115032016 hasConcept C25016198 @default.
• W2115032016 hasConcept C2775924081 @default.
• W2115032016 hasConcept C2776359362 @default.
• W2115032016 hasConcept C2780801425 @default.
• W2115032016 hasConcept C32866371 @default.
• W2115032016 hasConcept C33923547 @default.
• W2115032016 hasConcept C41008148 @default.
• W2115032016 hasConcept C47446073 @default.
• W2115032016 hasConcept C4777664 @default.
• W2115032016 hasConcept C48103436 @default.
• W2115032016 hasConcept C55689738 @default.
• W2115032016 hasConcept C62520636 @default.
• W2115032016 hasConcept C80444323 @default.
• W2115032016 hasConcept C94625758 @default.
• W2115032016 hasConcept C96314035 @default.
• W2115032016 hasConceptScore W2115032016C105795698 @default.
• W2115032016 hasConceptScore W2115032016C111472728 @default.
• W2115032016 hasConceptScore W2115032016C11413529 @default.
• W2115032016 hasConceptScore W2115032016C120665830 @default.
• W2115032016 hasConceptScore W2115032016C121332964 @default.
• W2115032016 hasConceptScore W2115032016C124304363 @default.
• W2115032016 hasConceptScore W2115032016C138885662 @default.
• W2115032016 hasConceptScore W2115032016C154945302 @default.
• W2115032016 hasConceptScore W2115032016C158622935 @default.
• W2115032016 hasConceptScore W2115032016C167822520 @default.
• W2115032016 hasConceptScore W2115032016C17744445 @default.
• W2115032016 hasConceptScore W2115032016C192209626 @default.
• W2115032016 hasConceptScore W2115032016C199360897 @default.
• W2115032016 hasConceptScore W2115032016C199539241 @default.
• W2115032016 hasConceptScore W2115032016C25016198 @default.

• next