FRINK Linked Data Fragments server

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

• W2121921022 endingPage "274" @default.
• W2121921022 startingPage "269" @default.
• W2121921022 abstract "We use CLP(F), an Analytic Constraint Logic Programming (ACLP) language, to model hybrid systems. ACLP languages combine intervals, constraints, and ODEs (Ordinary Differential Equations) in a clean and natural way. CLP(F) provides an implementation of an ACLP language based on interval arithmetic. The semantics of CLP(F) rigorously handle non-linear ODEs and round-off error. The ODEs describing a hybrid system need only a minor change of syntax to become a CLP(F) program. This simple transformation from a physical description of a hybrid system to a program which can be used to provide a proof of safety properties of the system bridges the gap between practical tools and formal models, and allows one to easily prove statements about realworld systems. The combination of interval arithmetic with ACLP makes it easy to pose and answer many sorts of queries about a system. For example, “At what point does the system change from one state to another?”, or “What control settings result in a cycle with period t?”" @default.
• W2121921022 created "2016-06-24" @default.
• W2121921022 creator A5032254386 @default.
• W2121921022 creator A5081286845 @default.
• W2121921022 date "2004-01-01" @default.
• W2121921022 modified "2023-10-17" @default.
• W2121921022 title "Using Analytic CLP to Model and Analyze Hybrid Systems" @default.
• W2121921022 cites W136178533 @default.
• W2121921022 cites W1509363364 @default.
• W2121921022 cites W1548247611 @default.
• W2121921022 cites W1596400039 @default.
• W2121921022 cites W1601318832 @default.
• W2121921022 cites W1604594753 @default.
• W2121921022 cites W1823037702 @default.
• W2121921022 cites W1858911608 @default.
• W2121921022 cites W1990426442 @default.
• W2121921022 cites W2004463571 @default.
• W2121921022 cites W2033271549 @default.
• W2121921022 cites W2058405411 @default.
• W2121921022 cites W2060194546 @default.
• W2121921022 cites W2063727779 @default.
• W2121921022 cites W2102777317 @default.
• W2121921022 cites W2121096888 @default.
• W2121921022 cites W2123396057 @default.
• W2121921022 cites W2165276844 @default.
• W2121921022 cites W2178044126 @default.
• W2121921022 cites W2379095230 @default.
• W2121921022 cites W2478072027 @default.
• W2121921022 cites W2489001267 @default.
• W2121921022 cites W2565361214 @default.
• W2121921022 cites W2604427164 @default.
• W2121921022 cites W137684208 @default.
• W2121921022 hasPublicationYear "2004" @default.
• W2121921022 type Work @default.
• W2121921022 sameAs 2121921022 @default.
• W2121921022 citedByCount "5" @default.
• W2121921022 crossrefType "proceedings-article" @default.
• W2121921022 hasAuthorship W2121921022A5032254386 @default.
• W2121921022 hasAuthorship W2121921022A5081286845 @default.
• W2121921022 hasConcept C11413529 @default.
• W2121921022 hasConcept C114614502 @default.
• W2121921022 hasConcept C119857082 @default.
• W2121921022 hasConcept C134306372 @default.
• W2121921022 hasConcept C154945302 @default.
• W2121921022 hasConcept C176783269 @default.
• W2121921022 hasConcept C184337299 @default.
• W2121921022 hasConcept C199360897 @default.
• W2121921022 hasConcept C2524010 @default.
• W2121921022 hasConcept C2776036281 @default.
• W2121921022 hasConcept C2778067643 @default.
• W2121921022 hasConcept C28826006 @default.
• W2121921022 hasConcept C33923547 @default.
• W2121921022 hasConcept C34862557 @default.
• W2121921022 hasConcept C41008148 @default.
• W2121921022 hasConcept C44616089 @default.
• W2121921022 hasConcept C49937458 @default.
• W2121921022 hasConcept C50897621 @default.
• W2121921022 hasConcept C51544822 @default.
• W2121921022 hasConcept C60048249 @default.
• W2121921022 hasConcept C78045399 @default.
• W2121921022 hasConcept C80444323 @default.
• W2121921022 hasConceptScore W2121921022C11413529 @default.
• W2121921022 hasConceptScore W2121921022C114614502 @default.
• W2121921022 hasConceptScore W2121921022C119857082 @default.
• W2121921022 hasConceptScore W2121921022C134306372 @default.
• W2121921022 hasConceptScore W2121921022C154945302 @default.
• W2121921022 hasConceptScore W2121921022C176783269 @default.
• W2121921022 hasConceptScore W2121921022C184337299 @default.
• W2121921022 hasConceptScore W2121921022C199360897 @default.
• W2121921022 hasConceptScore W2121921022C2524010 @default.
• W2121921022 hasConceptScore W2121921022C2776036281 @default.
• W2121921022 hasConceptScore W2121921022C2778067643 @default.
• W2121921022 hasConceptScore W2121921022C28826006 @default.
• W2121921022 hasConceptScore W2121921022C33923547 @default.
• W2121921022 hasConceptScore W2121921022C34862557 @default.
• W2121921022 hasConceptScore W2121921022C41008148 @default.
• W2121921022 hasConceptScore W2121921022C44616089 @default.
• W2121921022 hasConceptScore W2121921022C49937458 @default.
• W2121921022 hasConceptScore W2121921022C50897621 @default.
• W2121921022 hasConceptScore W2121921022C51544822 @default.
• W2121921022 hasConceptScore W2121921022C60048249 @default.
• W2121921022 hasConceptScore W2121921022C78045399 @default.
• W2121921022 hasConceptScore W2121921022C80444323 @default.
• W2121921022 hasLocation W21219210221 @default.
• W2121921022 hasOpenAccess W2121921022 @default.
• W2121921022 hasPrimaryLocation W21219210221 @default.
• W2121921022 hasRelatedWork W1529673590 @default.
• W2121921022 hasRelatedWork W1549040679 @default.
• W2121921022 hasRelatedWork W1581559774 @default.
• W2121921022 hasRelatedWork W1590433112 @default.
• W2121921022 hasRelatedWork W1605651526 @default.
• W2121921022 hasRelatedWork W1989058323 @default.
• W2121921022 hasRelatedWork W1994179113 @default.
• W2121921022 hasRelatedWork W2005277728 @default.
• W2121921022 hasRelatedWork W2027825679 @default.
• W2121921022 hasRelatedWork W2043140417 @default.
• W2121921022 hasRelatedWork W2100622236 @default.
• W2121921022 hasRelatedWork W2109492598 @default.

• next