FRINK Linked Data Fragments server

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

• W4285498081 endingPage "104941" @default.
• W4285498081 startingPage "104941" @default.
• W4285498081 abstract "Parametric dynamical systems emerge as a formalism for modeling natural and engineered systems ranging from biology, epidemiology, and medicine to cyber-physics. Parameter tuning is a complex task usually performed exploiting heavy simulations having high computational complexity and not ensuring the correctness of the synthesized systems. We consider the problem of parameter synthesis for discrete-time polynomial systems. We propose a formal method based on Bernstein coefficients that allows refining the set of parameters according to a temporal specification defined as a Signal Temporal Logic formula. The synthesized system is correct with respect to the specification and we demonstrate the scalability of the approach by implementing it in the C++ library Sapo, also available within a stand-alone application and as a web application. Finally, we illustrate the tool usage and the interface through a simple yet realistic epidemiological model and consider an intriguing application enhancing accuracy of the verification of neural networks." @default.
• W4285498081 created "2022-07-15" @default.
• W4285498081 creator A5010958449 @default.
• W4285498081 creator A5027009916 @default.
• W4285498081 creator A5045373436 @default.
• W4285498081 creator A5046777407 @default.
• W4285498081 creator A5052391923 @default.
• W4285498081 creator A5084296935 @default.
• W4285498081 date "2022-11-01" @default.
• W4285498081 modified "2023-10-18" @default.
• W4285498081 title "Parameter synthesis of polynomial dynamical systems" @default.
• W4285498081 cites W1494737186 @default.
• W4285498081 cites W1933146504 @default.
• W4285498081 cites W2006538664 @default.
• W4285498081 cites W2032408017 @default.
• W4285498081 cites W2049399166 @default.
• W4285498081 cites W2073330885 @default.
• W4285498081 cites W2084777069 @default.
• W4285498081 cites W2092412604 @default.
• W4285498081 cites W2569352989 @default.
• W4285498081 cites W2802574492 @default.
• W4285498081 cites W2804498827 @default.
• W4285498081 cites W2956034981 @default.
• W4285498081 cites W2962692913 @default.
• W4285498081 cites W2980176926 @default.
• W4285498081 cites W3018782651 @default.
• W4285498081 cites W3100743289 @default.
• W4285498081 cites W3107034996 @default.
• W4285498081 cites W3112084805 @default.
• W4285498081 cites W3161524209 @default.
• W4285498081 cites W828139470 @default.
• W4285498081 doi "https://doi.org/10.1016/j.ic.2022.104941" @default.
• W4285498081 hasPublicationYear "2022" @default.
• W4285498081 type Work @default.
• W4285498081 citedByCount "1" @default.
• W4285498081 crossrefType "journal-article" @default.
• W4285498081 hasAuthorship W4285498081A5010958449 @default.
• W4285498081 hasAuthorship W4285498081A5027009916 @default.
• W4285498081 hasAuthorship W4285498081A5045373436 @default.
• W4285498081 hasAuthorship W4285498081A5046777407 @default.
• W4285498081 hasAuthorship W4285498081A5052391923 @default.
• W4285498081 hasAuthorship W4285498081A5084296935 @default.
• W4285498081 hasBestOaLocation W42854980811 @default.
• W4285498081 hasConcept C105795698 @default.
• W4285498081 hasConcept C11413529 @default.
• W4285498081 hasConcept C117251300 @default.
• W4285498081 hasConcept C121332964 @default.
• W4285498081 hasConcept C134306372 @default.
• W4285498081 hasConcept C142362112 @default.
• W4285498081 hasConcept C153349607 @default.
• W4285498081 hasConcept C154945302 @default.
• W4285498081 hasConcept C33923547 @default.
• W4285498081 hasConcept C41008148 @default.
• W4285498081 hasConcept C47822265 @default.
• W4285498081 hasConcept C48044578 @default.
• W4285498081 hasConcept C55439883 @default.
• W4285498081 hasConcept C558565934 @default.
• W4285498081 hasConcept C62520636 @default.
• W4285498081 hasConcept C73301696 @default.
• W4285498081 hasConcept C77088390 @default.
• W4285498081 hasConcept C79379906 @default.
• W4285498081 hasConcept C80444323 @default.
• W4285498081 hasConcept C90119067 @default.
• W4285498081 hasConceptScore W4285498081C105795698 @default.
• W4285498081 hasConceptScore W4285498081C11413529 @default.
• W4285498081 hasConceptScore W4285498081C117251300 @default.
• W4285498081 hasConceptScore W4285498081C121332964 @default.
• W4285498081 hasConceptScore W4285498081C134306372 @default.
• W4285498081 hasConceptScore W4285498081C142362112 @default.
• W4285498081 hasConceptScore W4285498081C153349607 @default.
• W4285498081 hasConceptScore W4285498081C154945302 @default.
• W4285498081 hasConceptScore W4285498081C33923547 @default.
• W4285498081 hasConceptScore W4285498081C41008148 @default.
• W4285498081 hasConceptScore W4285498081C47822265 @default.
• W4285498081 hasConceptScore W4285498081C48044578 @default.
• W4285498081 hasConceptScore W4285498081C55439883 @default.
• W4285498081 hasConceptScore W4285498081C558565934 @default.
• W4285498081 hasConceptScore W4285498081C62520636 @default.
• W4285498081 hasConceptScore W4285498081C73301696 @default.
• W4285498081 hasConceptScore W4285498081C77088390 @default.
• W4285498081 hasConceptScore W4285498081C79379906 @default.
• W4285498081 hasConceptScore W4285498081C80444323 @default.
• W4285498081 hasConceptScore W4285498081C90119067 @default.
• W4285498081 hasLocation W42854980811 @default.
• W4285498081 hasLocation W42854980812 @default.
• W4285498081 hasLocation W42854980813 @default.
• W4285498081 hasOpenAccess W4285498081 @default.
• W4285498081 hasPrimaryLocation W42854980811 @default.
• W4285498081 hasRelatedWork W1508895727 @default.
• W4285498081 hasRelatedWork W1667647204 @default.
• W4285498081 hasRelatedWork W2018477250 @default.
• W4285498081 hasRelatedWork W2404647514 @default.
• W4285498081 hasRelatedWork W2725786787 @default.
• W4285498081 hasRelatedWork W3008339103 @default.
• W4285498081 hasRelatedWork W3119814709 @default.
• W4285498081 hasRelatedWork W35919320 @default.
• W4285498081 hasRelatedWork W4241418540 @default.
• W4285498081 hasRelatedWork W4283160672 @default.

• next