Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998778815> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1998778815 abstract "Complex embedded systems consist of software and hardware components that operate autonomous devices interacting with the physical environment. The complexity of such systems makes the design very challenging and demands for advanced validation techniques. Hybrid automata are a clean and consolidated formal language for modeling embedded systems which include discrete and continuous dynamics. They are based on a finite-state automaton structure enriched with invariant and flow conditions to model the continuous dynamics. In this paper, we propose a new language, HYDI, for modeling Hybrid systems with Discrete Interaction. The purpose of the language is to apply state-of-the-art symbolic model checkers for infinite-state systems to the verification of complex embedded systems design. HYDI extends the standard symbolic language SMV with timing and synchronization aspects. The language distinguishes between discrete and continuous variables. Variables inside SMV modules evolve synchronously. Top-level modules represent the asynchronous components of a network and use explicit events to synchronize. The new language is automatically compiled into equivalent discrete-time infinite-state transition systems." @default.
- W1998778815 created "2016-06-24" @default.
- W1998778815 creator A5017426974 @default.
- W1998778815 creator A5018618502 @default.
- W1998778815 creator A5023894417 @default.
- W1998778815 date "2011-08-01" @default.
- W1998778815 modified "2023-09-26" @default.
- W1998778815 title "HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction" @default.
- W1998778815 cites W1483379332 @default.
- W1998778815 cites W1490609548 @default.
- W1998778815 cites W2028025798 @default.
- W1998778815 cites W2046239089 @default.
- W1998778815 cites W2086163366 @default.
- W1998778815 cites W2094530979 @default.
- W1998778815 cites W2105708535 @default.
- W1998778815 cites W2121909093 @default.
- W1998778815 cites W2130705439 @default.
- W1998778815 cites W2139720682 @default.
- W1998778815 cites W2147340401 @default.
- W1998778815 cites W2149007581 @default.
- W1998778815 cites W2152533774 @default.
- W1998778815 cites W4300021588 @default.
- W1998778815 doi "https://doi.org/10.1109/seaa.2011.49" @default.
- W1998778815 hasPublicationYear "2011" @default.
- W1998778815 type Work @default.
- W1998778815 sameAs 1998778815 @default.
- W1998778815 citedByCount "19" @default.
- W1998778815 countsByYear W19987788152012 @default.
- W1998778815 countsByYear W19987788152013 @default.
- W1998778815 countsByYear W19987788152014 @default.
- W1998778815 countsByYear W19987788152015 @default.
- W1998778815 countsByYear W19987788152018 @default.
- W1998778815 countsByYear W19987788152020 @default.
- W1998778815 countsByYear W19987788152022 @default.
- W1998778815 crossrefType "proceedings-article" @default.
- W1998778815 hasAuthorship W1998778815A5017426974 @default.
- W1998778815 hasAuthorship W1998778815A5018618502 @default.
- W1998778815 hasAuthorship W1998778815A5023894417 @default.
- W1998778815 hasConcept C110251889 @default.
- W1998778815 hasConcept C111498074 @default.
- W1998778815 hasConcept C112505250 @default.
- W1998778815 hasConcept C119857082 @default.
- W1998778815 hasConcept C127162648 @default.
- W1998778815 hasConcept C151319957 @default.
- W1998778815 hasConcept C167822520 @default.
- W1998778815 hasConcept C179603123 @default.
- W1998778815 hasConcept C199360897 @default.
- W1998778815 hasConcept C201677973 @default.
- W1998778815 hasConcept C2776028153 @default.
- W1998778815 hasConcept C2777904410 @default.
- W1998778815 hasConcept C2778562939 @default.
- W1998778815 hasConcept C31258907 @default.
- W1998778815 hasConcept C41008148 @default.
- W1998778815 hasConcept C50897621 @default.
- W1998778815 hasConcept C80444323 @default.
- W1998778815 hasConceptScore W1998778815C110251889 @default.
- W1998778815 hasConceptScore W1998778815C111498074 @default.
- W1998778815 hasConceptScore W1998778815C112505250 @default.
- W1998778815 hasConceptScore W1998778815C119857082 @default.
- W1998778815 hasConceptScore W1998778815C127162648 @default.
- W1998778815 hasConceptScore W1998778815C151319957 @default.
- W1998778815 hasConceptScore W1998778815C167822520 @default.
- W1998778815 hasConceptScore W1998778815C179603123 @default.
- W1998778815 hasConceptScore W1998778815C199360897 @default.
- W1998778815 hasConceptScore W1998778815C201677973 @default.
- W1998778815 hasConceptScore W1998778815C2776028153 @default.
- W1998778815 hasConceptScore W1998778815C2777904410 @default.
- W1998778815 hasConceptScore W1998778815C2778562939 @default.
- W1998778815 hasConceptScore W1998778815C31258907 @default.
- W1998778815 hasConceptScore W1998778815C41008148 @default.
- W1998778815 hasConceptScore W1998778815C50897621 @default.
- W1998778815 hasConceptScore W1998778815C80444323 @default.
- W1998778815 hasLocation W19987788151 @default.
- W1998778815 hasOpenAccess W1998778815 @default.
- W1998778815 hasPrimaryLocation W19987788151 @default.
- W1998778815 hasRelatedWork W1527862632 @default.
- W1998778815 hasRelatedWork W1532058475 @default.
- W1998778815 hasRelatedWork W1652311832 @default.
- W1998778815 hasRelatedWork W2118300983 @default.
- W1998778815 hasRelatedWork W2135396778 @default.
- W1998778815 hasRelatedWork W2243428364 @default.
- W1998778815 hasRelatedWork W2462453872 @default.
- W1998778815 hasRelatedWork W3207171446 @default.
- W1998778815 hasRelatedWork W4243252198 @default.
- W1998778815 hasRelatedWork W4245713008 @default.
- W1998778815 isParatext "false" @default.
- W1998778815 isRetracted "false" @default.
- W1998778815 magId "1998778815" @default.
- W1998778815 workType "article" @default.