Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000367304> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2000367304 endingPage "13" @default.
- W2000367304 startingPage "2" @default.
- W2000367304 abstract "Computation has quickly become of paramount importance in the design of engineered systems, both to support their features as well as their design. Tool support for high-level modeling formalisms has endowed design specifications with executable semantics. Such specifications typically include not only discrete-time and discrete-event behavior, but also continuous-time behavior that is stiff from a numerical integration perspective. The resulting stiff hybrid dynamic systems necessitate variable-step solvers to simulate the continuous-time behavior as well as solver algorithms for the simulation of discrete-time and discrete-event behavior. The combined solvers rely on complex computer code which makes it difficult to directly solve design tasks with the executable specifications. To further leverage the executable specifications in design, this work aims to formalize the semantics of stiff hybrid dynamic systems at a declarative level by removing implementation detail and only retaining ‘what’ the computer code does and not ‘how’ it does it. A stream-based approach is adopted to formalize variable-step solver semantics and to establish a computational model of time that supports discrete-time and discrete-event behavior. The corresponding declarative formalization is amenable to computational methods and it is shown how model checking can automatically generate, or synthesize, a feedforward control strategy for a stiff hybrid dynamic system. Specifically, a stamper in a surface mount device is controlled to maintain a low acceleration of the stamped component for a prescribed minimum duration of time." @default.
- W2000367304 created "2016-06-24" @default.
- W2000367304 creator A5011967036 @default.
- W2000367304 creator A5023756735 @default.
- W2000367304 creator A5041803068 @default.
- W2000367304 creator A5084815619 @default.
- W2000367304 date "2012-01-01" @default.
- W2000367304 modified "2023-09-23" @default.
- W2000367304 title "A computational model of time for stiff hybrid systems applied to control synthesis" @default.
- W2000367304 cites W1984922264 @default.
- W2000367304 cites W1998667631 @default.
- W2000367304 cites W2007062176 @default.
- W2000367304 cites W2033351919 @default.
- W2000367304 cites W2087241018 @default.
- W2000367304 cites W2093827679 @default.
- W2000367304 cites W2101987112 @default.
- W2000367304 cites W2127335869 @default.
- W2000367304 cites W2148437017 @default.
- W2000367304 cites W2152634721 @default.
- W2000367304 cites W2159756676 @default.
- W2000367304 cites W2172307690 @default.
- W2000367304 cites W2296636214 @default.
- W2000367304 cites W4292318939 @default.
- W2000367304 doi "https://doi.org/10.1016/j.conengprac.2011.04.013" @default.
- W2000367304 hasPublicationYear "2012" @default.
- W2000367304 type Work @default.
- W2000367304 sameAs 2000367304 @default.
- W2000367304 citedByCount "21" @default.
- W2000367304 countsByYear W20003673042012 @default.
- W2000367304 countsByYear W20003673042013 @default.
- W2000367304 countsByYear W20003673042014 @default.
- W2000367304 countsByYear W20003673042015 @default.
- W2000367304 countsByYear W20003673042016 @default.
- W2000367304 countsByYear W20003673042017 @default.
- W2000367304 countsByYear W20003673042018 @default.
- W2000367304 countsByYear W20003673042020 @default.
- W2000367304 crossrefType "journal-article" @default.
- W2000367304 hasAuthorship W2000367304A5011967036 @default.
- W2000367304 hasAuthorship W2000367304A5023756735 @default.
- W2000367304 hasAuthorship W2000367304A5041803068 @default.
- W2000367304 hasAuthorship W2000367304A5084815619 @default.
- W2000367304 hasConcept C119857082 @default.
- W2000367304 hasConcept C153083717 @default.
- W2000367304 hasConcept C154945302 @default.
- W2000367304 hasConcept C160145156 @default.
- W2000367304 hasConcept C171018156 @default.
- W2000367304 hasConcept C184337299 @default.
- W2000367304 hasConcept C199360897 @default.
- W2000367304 hasConcept C2524010 @default.
- W2000367304 hasConcept C2778770139 @default.
- W2000367304 hasConcept C33923547 @default.
- W2000367304 hasConcept C41008148 @default.
- W2000367304 hasConcept C50897621 @default.
- W2000367304 hasConceptScore W2000367304C119857082 @default.
- W2000367304 hasConceptScore W2000367304C153083717 @default.
- W2000367304 hasConceptScore W2000367304C154945302 @default.
- W2000367304 hasConceptScore W2000367304C160145156 @default.
- W2000367304 hasConceptScore W2000367304C171018156 @default.
- W2000367304 hasConceptScore W2000367304C184337299 @default.
- W2000367304 hasConceptScore W2000367304C199360897 @default.
- W2000367304 hasConceptScore W2000367304C2524010 @default.
- W2000367304 hasConceptScore W2000367304C2778770139 @default.
- W2000367304 hasConceptScore W2000367304C33923547 @default.
- W2000367304 hasConceptScore W2000367304C41008148 @default.
- W2000367304 hasConceptScore W2000367304C50897621 @default.
- W2000367304 hasIssue "1" @default.
- W2000367304 hasLocation W20003673041 @default.
- W2000367304 hasOpenAccess W2000367304 @default.
- W2000367304 hasPrimaryLocation W20003673041 @default.
- W2000367304 hasRelatedWork W12785170 @default.
- W2000367304 hasRelatedWork W135410659 @default.
- W2000367304 hasRelatedWork W1855927527 @default.
- W2000367304 hasRelatedWork W1965910013 @default.
- W2000367304 hasRelatedWork W1967499492 @default.
- W2000367304 hasRelatedWork W2113239343 @default.
- W2000367304 hasRelatedWork W2125784002 @default.
- W2000367304 hasRelatedWork W2244075056 @default.
- W2000367304 hasRelatedWork W2288921482 @default.
- W2000367304 hasRelatedWork W2999589555 @default.
- W2000367304 hasVolume "20" @default.
- W2000367304 isParatext "false" @default.
- W2000367304 isRetracted "false" @default.
- W2000367304 magId "2000367304" @default.
- W2000367304 workType "article" @default.