FRINK Linked Data Fragments server

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

• W2152441309 abstract "A hybrid automaton is one of the most popular formal models for hybrid system specification. The Chi language is a hybrid formalism for modeling, simulation and verification. It consists of a number of operators that operate on all process terms, including differential algebraic equations. This paper relates the two formalisms by means of a formal translation from a hybrid automaton model to a Chi model, and a comparison of the semantics of the two models in terms of their respective transition systems. The comparison is illustrated by means of three examples: a thermostat, a railroad gate controller, and dry friction." @default.
• W2152441309 created "2016-06-24" @default.
• W2152441309 creator A5001607560 @default.
• W2152441309 creator A5002957826 @default.
• W2152441309 creator A5011440155 @default.
• W2152441309 creator A5028578273 @default.
• W2152441309 creator A5050397042 @default.
• W2152441309 creator A5077951216 @default.
• W2152441309 date "2004-05-13" @default.
• W2152441309 modified "2023-09-26" @default.
• W2152441309 title "Relating Chi to hybrid automata" @default.
• W2152441309 cites W1501131047 @default.
• W2152441309 cites W1511578719 @default.
• W2152441309 cites W1518813203 @default.
• W2152441309 cites W1573444781 @default.
• W2152441309 cites W1596885258 @default.
• W2152441309 cites W2004463571 @default.
• W2152441309 cites W2068864491 @default.
• W2152441309 cites W2103128566 @default.
• W2152441309 cites W2112506985 @default.
• W2152441309 cites W2114556411 @default.
• W2152441309 cites W2118564542 @default.
• W2152441309 cites W2125614702 @default.
• W2152441309 cites W2147340401 @default.
• W2152441309 cites W2148727823 @default.
• W2152441309 cites W2809191488 @default.
• W2152441309 cites W3022429701 @default.
• W2152441309 cites W63140700 @default.
• W2152441309 cites W94396563 @default.
• W2152441309 doi "https://doi.org/10.1109/wsc.2003.1261478" @default.
• W2152441309 hasPublicationYear "2004" @default.
• W2152441309 type Work @default.
• W2152441309 sameAs 2152441309 @default.
• W2152441309 citedByCount "5" @default.
• W2152441309 crossrefType "proceedings-article" @default.
• W2152441309 hasAuthorship W2152441309A5001607560 @default.
• W2152441309 hasAuthorship W2152441309A5002957826 @default.
• W2152441309 hasAuthorship W2152441309A5011440155 @default.
• W2152441309 hasAuthorship W2152441309A5028578273 @default.
• W2152441309 hasAuthorship W2152441309A5050397042 @default.
• W2152441309 hasAuthorship W2152441309A5077951216 @default.
• W2152441309 hasConcept C111498074 @default.
• W2152441309 hasConcept C112505250 @default.
• W2152441309 hasConcept C11413529 @default.
• W2152441309 hasConcept C119857082 @default.
• W2152441309 hasConcept C127413603 @default.
• W2152441309 hasConcept C134306372 @default.
• W2152441309 hasConcept C142362112 @default.
• W2152441309 hasConcept C153349607 @default.
• W2152441309 hasConcept C167822520 @default.
• W2152441309 hasConcept C171018156 @default.
• W2152441309 hasConcept C184337299 @default.
• W2152441309 hasConcept C187819001 @default.
• W2152441309 hasConcept C199360897 @default.
• W2152441309 hasConcept C2524010 @default.
• W2152441309 hasConcept C2776028153 @default.
• W2152441309 hasConcept C2779167558 @default.
• W2152441309 hasConcept C33923547 @default.
• W2152441309 hasConcept C41008148 @default.
• W2152441309 hasConcept C50897621 @default.
• W2152441309 hasConcept C558565934 @default.
• W2152441309 hasConcept C73301696 @default.
• W2152441309 hasConcept C78519656 @default.
• W2152441309 hasConcept C80444323 @default.
• W2152441309 hasConcept C9376300 @default.
• W2152441309 hasConceptScore W2152441309C111498074 @default.
• W2152441309 hasConceptScore W2152441309C112505250 @default.
• W2152441309 hasConceptScore W2152441309C11413529 @default.
• W2152441309 hasConceptScore W2152441309C119857082 @default.
• W2152441309 hasConceptScore W2152441309C127413603 @default.
• W2152441309 hasConceptScore W2152441309C134306372 @default.
• W2152441309 hasConceptScore W2152441309C142362112 @default.
• W2152441309 hasConceptScore W2152441309C153349607 @default.
• W2152441309 hasConceptScore W2152441309C167822520 @default.
• W2152441309 hasConceptScore W2152441309C171018156 @default.
• W2152441309 hasConceptScore W2152441309C184337299 @default.
• W2152441309 hasConceptScore W2152441309C187819001 @default.
• W2152441309 hasConceptScore W2152441309C199360897 @default.
• W2152441309 hasConceptScore W2152441309C2524010 @default.
• W2152441309 hasConceptScore W2152441309C2776028153 @default.
• W2152441309 hasConceptScore W2152441309C2779167558 @default.
• W2152441309 hasConceptScore W2152441309C33923547 @default.
• W2152441309 hasConceptScore W2152441309C41008148 @default.
• W2152441309 hasConceptScore W2152441309C50897621 @default.
• W2152441309 hasConceptScore W2152441309C558565934 @default.
• W2152441309 hasConceptScore W2152441309C73301696 @default.
• W2152441309 hasConceptScore W2152441309C78519656 @default.
• W2152441309 hasConceptScore W2152441309C80444323 @default.
• W2152441309 hasConceptScore W2152441309C9376300 @default.
• W2152441309 hasLocation W21524413091 @default.
• W2152441309 hasOpenAccess W2152441309 @default.
• W2152441309 hasPrimaryLocation W21524413091 @default.
• W2152441309 hasRelatedWork W1510603033 @default.
• W2152441309 hasRelatedWork W1513862247 @default.
• W2152441309 hasRelatedWork W1861897023 @default.
• W2152441309 hasRelatedWork W1905380539 @default.
• W2152441309 hasRelatedWork W1985766456 @default.
• W2152441309 hasRelatedWork W1995691455 @default.
• W2152441309 hasRelatedWork W2016235928 @default.
• W2152441309 hasRelatedWork W2027302341 @default.

• next