FRINK Linked Data Fragments server

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

• W2036698896 endingPage "256" @default.
• W2036698896 startingPage "250" @default.
• W2036698896 abstract "A formal technique, DMOD, for modeling hybrid systems is presented. It is based on utilizing intuitions about the causality relation, and the logic of definite clauses with the SLD-resolution proof procedure. An algorithm to simulate with DMOD models is presented. Then, a general framework in which temporal properties of hybrid systems can be formulated and proved (given that those systems are modeled using DMOD) is outlined. These ideas are illustrated by proving a liveness property about a railroad crossing. >" @default.
• W2036698896 created "2016-06-24" @default.
• W2036698896 creator A5036403959 @default.
• W2036698896 creator A5056755374 @default.
• W2036698896 date "1990-12-01" @default.
• W2036698896 modified "2023-09-26" @default.
• W2036698896 title "Proving temporal properties of hybrid systems" @default.
• W2036698896 cites W129310766 @default.
• W2036698896 cites W145520746 @default.
• W2036698896 cites W1491475668 @default.
• W2036698896 cites W1503477597 @default.
• W2036698896 cites W1519711570 @default.
• W2036698896 cites W1541434994 @default.
• W2036698896 cites W1584571167 @default.
• W2036698896 cites W1600408058 @default.
• W2036698896 cites W1815004123 @default.
• W2036698896 cites W1968947022 @default.
• W2036698896 cites W1970603830 @default.
• W2036698896 cites W1977244892 @default.
• W2036698896 cites W1984725964 @default.
• W2036698896 cites W199132894 @default.
• W2036698896 cites W2005678616 @default.
• W2036698896 cites W2017103958 @default.
• W2036698896 cites W2023808162 @default.
• W2036698896 cites W2024016936 @default.
• W2036698896 cites W2053190303 @default.
• W2036698896 cites W2056359803 @default.
• W2036698896 cites W2072261297 @default.
• W2036698896 cites W2073559935 @default.
• W2036698896 cites W2104351678 @default.
• W2036698896 cites W2115905318 @default.
• W2036698896 cites W2118900647 @default.
• W2036698896 cites W2134218152 @default.
• W2036698896 cites W2138162238 @default.
• W2036698896 cites W2138708630 @default.
• W2036698896 cites W2143382644 @default.
• W2036698896 cites W2159259393 @default.
• W2036698896 cites W2166656159 @default.
• W2036698896 cites W2174287231 @default.
• W2036698896 cites W2176685946 @default.
• W2036698896 cites W2212036697 @default.
• W2036698896 cites W2280029332 @default.
• W2036698896 cites W2296636214 @default.
• W2036698896 cites W2571737579 @default.
• W2036698896 cites W2899987233 @default.
• W2036698896 cites W2912848477 @default.
• W2036698896 cites W53126112 @default.
• W2036698896 doi "https://doi.org/10.5555/328885.328980" @default.
• W2036698896 hasPublicationYear "1990" @default.
• W2036698896 type Work @default.
• W2036698896 sameAs 2036698896 @default.
• W2036698896 citedByCount "3" @default.
• W2036698896 crossrefType "proceedings-article" @default.
• W2036698896 hasAuthorship W2036698896A5036403959 @default.
• W2036698896 hasAuthorship W2036698896A5056755374 @default.
• W2036698896 hasConcept C110251889 @default.
• W2036698896 hasConcept C111472728 @default.
• W2036698896 hasConcept C111498074 @default.
• W2036698896 hasConcept C11413529 @default.
• W2036698896 hasConcept C119857082 @default.
• W2036698896 hasConcept C121332964 @default.
• W2036698896 hasConcept C124101348 @default.
• W2036698896 hasConcept C138268822 @default.
• W2036698896 hasConcept C138885662 @default.
• W2036698896 hasConcept C15569618 @default.
• W2036698896 hasConcept C189950617 @default.
• W2036698896 hasConcept C198008173 @default.
• W2036698896 hasConcept C199360897 @default.
• W2036698896 hasConcept C206880738 @default.
• W2036698896 hasConcept C25016198 @default.
• W2036698896 hasConcept C25343380 @default.
• W2036698896 hasConcept C41008148 @default.
• W2036698896 hasConcept C4777664 @default.
• W2036698896 hasConcept C50897621 @default.
• W2036698896 hasConcept C62520636 @default.
• W2036698896 hasConcept C64357122 @default.
• W2036698896 hasConcept C80444323 @default.
• W2036698896 hasConceptScore W2036698896C110251889 @default.
• W2036698896 hasConceptScore W2036698896C111472728 @default.
• W2036698896 hasConceptScore W2036698896C111498074 @default.
• W2036698896 hasConceptScore W2036698896C11413529 @default.
• W2036698896 hasConceptScore W2036698896C119857082 @default.
• W2036698896 hasConceptScore W2036698896C121332964 @default.
• W2036698896 hasConceptScore W2036698896C124101348 @default.
• W2036698896 hasConceptScore W2036698896C138268822 @default.
• W2036698896 hasConceptScore W2036698896C138885662 @default.
• W2036698896 hasConceptScore W2036698896C15569618 @default.
• W2036698896 hasConceptScore W2036698896C189950617 @default.
• W2036698896 hasConceptScore W2036698896C198008173 @default.
• W2036698896 hasConceptScore W2036698896C199360897 @default.
• W2036698896 hasConceptScore W2036698896C206880738 @default.
• W2036698896 hasConceptScore W2036698896C25016198 @default.
• W2036698896 hasConceptScore W2036698896C25343380 @default.
• W2036698896 hasConceptScore W2036698896C41008148 @default.
• W2036698896 hasConceptScore W2036698896C4777664 @default.
• W2036698896 hasConceptScore W2036698896C50897621 @default.
• W2036698896 hasConceptScore W2036698896C62520636 @default.
• W2036698896 hasConceptScore W2036698896C64357122 @default.

• next