FRINK Linked Data Fragments server

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

• W3090501756 endingPage "180843" @default.
• W3090501756 startingPage "180825" @default.
• W3090501756 abstract "We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochastic disturbances. Our method derives digital controllers such that the corresponding closed-loop system, modeled as a sampled-data stochastic control system, satisfies a safety specification with probability above a given threshold. Our technique uses a fast solver and an optimization method to search for candidate controllers, which are then formally evaluated in closed-loop with the system in question by a verified solver. Unstable candidate controllers are discarded by efficiently checking a sufficient condition for Lyapunov stability of sampled-data nonlinear systems. We evaluate our technique on three case studies: an artificial pancreas model, a powertrain control model, and a quadruple-tank process." @default.
• W3090501756 created "2020-10-08" @default.
• W3090501756 creator A5003166096 @default.
• W3090501756 creator A5016140478 @default.
• W3090501756 creator A5017334634 @default.
• W3090501756 creator A5039202410 @default.
• W3090501756 creator A5050836932 @default.
• W3090501756 creator A5054022139 @default.
• W3090501756 creator A5075615651 @default.
• W3090501756 date "2020-01-01" @default.
• W3090501756 modified "2023-10-17" @default.
• W3090501756 title "Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems" @default.
• W3090501756 cites W1533557569 @default.
• W3090501756 cites W1577352482 @default.
• W3090501756 cites W1891592265 @default.
• W3090501756 cites W1964693647 @default.
• W3090501756 cites W1971476108 @default.
• W3090501756 cites W1991239884 @default.
• W3090501756 cites W2017676950 @default.
• W3090501756 cites W2064572756 @default.
• W3090501756 cites W2066778083 @default.
• W3090501756 cites W2068619069 @default.
• W3090501756 cites W2092884371 @default.
• W3090501756 cites W2095274657 @default.
• W3090501756 cites W2095901198 @default.
• W3090501756 cites W2128612513 @default.
• W3090501756 cites W2145731676 @default.
• W3090501756 cites W2149270119 @default.
• W3090501756 cites W2150436340 @default.
• W3090501756 cites W2154463567 @default.
• W3090501756 cites W2157967115 @default.
• W3090501756 cites W2166280160 @default.
• W3090501756 cites W2171282796 @default.
• W3090501756 cites W2470448410 @default.
• W3090501756 cites W2542635398 @default.
• W3090501756 cites W2621540998 @default.
• W3090501756 cites W2739464757 @default.
• W3090501756 cites W2760388230 @default.
• W3090501756 cites W2767794732 @default.
• W3090501756 cites W2783624664 @default.
• W3090501756 cites W2791775919 @default.
• W3090501756 cites W2883016037 @default.
• W3090501756 cites W2883239200 @default.
• W3090501756 cites W2891068820 @default.
• W3090501756 cites W2963450292 @default.
• W3090501756 cites W2963931816 @default.
• W3090501756 cites W2974430906 @default.
• W3090501756 cites W2990777660 @default.
• W3090501756 cites W3022427679 @default.
• W3090501756 cites W4253890920 @default.
• W3090501756 cites W55814457 @default.
• W3090501756 doi "https://doi.org/10.1109/access.2020.3028476" @default.
• W3090501756 hasPublicationYear "2020" @default.
• W3090501756 type Work @default.
• W3090501756 sameAs 3090501756 @default.
• W3090501756 citedByCount "4" @default.
• W3090501756 countsByYear W30905017562021 @default.
• W3090501756 countsByYear W30905017562022 @default.
• W3090501756 crossrefType "journal-article" @default.
• W3090501756 hasAuthorship W3090501756A5003166096 @default.
• W3090501756 hasAuthorship W3090501756A5016140478 @default.
• W3090501756 hasAuthorship W3090501756A5017334634 @default.
• W3090501756 hasAuthorship W3090501756A5039202410 @default.
• W3090501756 hasAuthorship W3090501756A5050836932 @default.
• W3090501756 hasAuthorship W3090501756A5054022139 @default.
• W3090501756 hasAuthorship W3090501756A5075615651 @default.
• W3090501756 hasBestOaLocation W30905017561 @default.
• W3090501756 hasConcept C119599485 @default.
• W3090501756 hasConcept C121332964 @default.
• W3090501756 hasConcept C126255220 @default.
• W3090501756 hasConcept C127413603 @default.
• W3090501756 hasConcept C133731056 @default.
• W3090501756 hasConcept C154945302 @default.
• W3090501756 hasConcept C158622935 @default.
• W3090501756 hasConcept C17500928 @default.
• W3090501756 hasConcept C199360897 @default.
• W3090501756 hasConcept C2775924081 @default.
• W3090501756 hasConcept C2778770139 @default.
• W3090501756 hasConcept C33923547 @default.
• W3090501756 hasConcept C41008148 @default.
• W3090501756 hasConcept C47446073 @default.
• W3090501756 hasConcept C60640748 @default.
• W3090501756 hasConcept C62520636 @default.
• W3090501756 hasConceptScore W3090501756C119599485 @default.
• W3090501756 hasConceptScore W3090501756C121332964 @default.
• W3090501756 hasConceptScore W3090501756C126255220 @default.
• W3090501756 hasConceptScore W3090501756C127413603 @default.
• W3090501756 hasConceptScore W3090501756C133731056 @default.
• W3090501756 hasConceptScore W3090501756C154945302 @default.
• W3090501756 hasConceptScore W3090501756C158622935 @default.
• W3090501756 hasConceptScore W3090501756C17500928 @default.
• W3090501756 hasConceptScore W3090501756C199360897 @default.
• W3090501756 hasConceptScore W3090501756C2775924081 @default.
• W3090501756 hasConceptScore W3090501756C2778770139 @default.
• W3090501756 hasConceptScore W3090501756C33923547 @default.
• W3090501756 hasConceptScore W3090501756C41008148 @default.
• W3090501756 hasConceptScore W3090501756C47446073 @default.
• W3090501756 hasConceptScore W3090501756C60640748 @default.

• next