Matches in SemOpenAlex for { <https://semopenalex.org/work/W2119907432> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2119907432 endingPage "195" @default.
- W2119907432 startingPage "187" @default.
- W2119907432 abstract "Hybrid systems are a clean modeling framework for embedded systems, which feature integrated discrete and continuous dynamics. A well-known source of complexity comes from the time invariants, which represent an implicit quantification of a constraint over all time points of a continuous transition. Emerging techniques based on Satisfiability Modulo Theory (SMT) have been found promising for the verification and validation of hybrid systems because they combine discrete reasoning with solvers for first-order theories. However, these techniques are efficient for quantifier-free theories and the current approaches have so far either ignored time invariants or have been limited to linear hybrid automata1. In this paper, we propose a new method that encodes a class of hybrid systems into transition systems with quantifier-free formulas. The method does not rely on expensive quantifier elimination procedures. Rather, it exploits the sequential nature of the transition system to split the continuous evolution enforcing the invariants on the discrete time points. This pushes the application of SMT-based techniques beyond the standard linear case." @default.
- W2119907432 created "2016-06-24" @default.
- W2119907432 creator A5017426974 @default.
- W2119907432 creator A5018618502 @default.
- W2119907432 creator A5023894417 @default.
- W2119907432 date "2012-10-01" @default.
- W2119907432 modified "2023-09-24" @default.
- W2119907432 title "A quantifier-free SMT encoding of non-linear hybrid automata" @default.
- W2119907432 hasPublicationYear "2012" @default.
- W2119907432 type Work @default.
- W2119907432 sameAs 2119907432 @default.
- W2119907432 citedByCount "4" @default.
- W2119907432 countsByYear W21199074322013 @default.
- W2119907432 countsByYear W21199074322015 @default.
- W2119907432 countsByYear W21199074322017 @default.
- W2119907432 crossrefType "proceedings-article" @default.
- W2119907432 hasAuthorship W2119907432A5017426974 @default.
- W2119907432 hasAuthorship W2119907432A5018618502 @default.
- W2119907432 hasAuthorship W2119907432A5023894417 @default.
- W2119907432 hasConcept C112505250 @default.
- W2119907432 hasConcept C11413529 @default.
- W2119907432 hasConcept C118615104 @default.
- W2119907432 hasConcept C119857082 @default.
- W2119907432 hasConcept C125411270 @default.
- W2119907432 hasConcept C138885662 @default.
- W2119907432 hasConcept C152062344 @default.
- W2119907432 hasConcept C154945302 @default.
- W2119907432 hasConcept C164155591 @default.
- W2119907432 hasConcept C168773769 @default.
- W2119907432 hasConcept C199360897 @default.
- W2119907432 hasConcept C2524010 @default.
- W2119907432 hasConcept C2776028153 @default.
- W2119907432 hasConcept C2776036281 @default.
- W2119907432 hasConcept C2776401178 @default.
- W2119907432 hasConcept C2778523021 @default.
- W2119907432 hasConcept C2779167558 @default.
- W2119907432 hasConcept C32278780 @default.
- W2119907432 hasConcept C33923547 @default.
- W2119907432 hasConcept C41008148 @default.
- W2119907432 hasConcept C41895202 @default.
- W2119907432 hasConcept C50897621 @default.
- W2119907432 hasConcept C54732982 @default.
- W2119907432 hasConcept C80444323 @default.
- W2119907432 hasConceptScore W2119907432C112505250 @default.
- W2119907432 hasConceptScore W2119907432C11413529 @default.
- W2119907432 hasConceptScore W2119907432C118615104 @default.
- W2119907432 hasConceptScore W2119907432C119857082 @default.
- W2119907432 hasConceptScore W2119907432C125411270 @default.
- W2119907432 hasConceptScore W2119907432C138885662 @default.
- W2119907432 hasConceptScore W2119907432C152062344 @default.
- W2119907432 hasConceptScore W2119907432C154945302 @default.
- W2119907432 hasConceptScore W2119907432C164155591 @default.
- W2119907432 hasConceptScore W2119907432C168773769 @default.
- W2119907432 hasConceptScore W2119907432C199360897 @default.
- W2119907432 hasConceptScore W2119907432C2524010 @default.
- W2119907432 hasConceptScore W2119907432C2776028153 @default.
- W2119907432 hasConceptScore W2119907432C2776036281 @default.
- W2119907432 hasConceptScore W2119907432C2776401178 @default.
- W2119907432 hasConceptScore W2119907432C2778523021 @default.
- W2119907432 hasConceptScore W2119907432C2779167558 @default.
- W2119907432 hasConceptScore W2119907432C32278780 @default.
- W2119907432 hasConceptScore W2119907432C33923547 @default.
- W2119907432 hasConceptScore W2119907432C41008148 @default.
- W2119907432 hasConceptScore W2119907432C41895202 @default.
- W2119907432 hasConceptScore W2119907432C50897621 @default.
- W2119907432 hasConceptScore W2119907432C54732982 @default.
- W2119907432 hasConceptScore W2119907432C80444323 @default.
- W2119907432 hasLocation W21199074321 @default.
- W2119907432 hasOpenAccess W2119907432 @default.
- W2119907432 hasPrimaryLocation W21199074321 @default.
- W2119907432 hasRelatedWork W1481397690 @default.
- W2119907432 hasRelatedWork W1546076553 @default.
- W2119907432 hasRelatedWork W1549499010 @default.
- W2119907432 hasRelatedWork W160316085 @default.
- W2119907432 hasRelatedWork W1861897023 @default.
- W2119907432 hasRelatedWork W1865218796 @default.
- W2119907432 hasRelatedWork W1977444293 @default.
- W2119907432 hasRelatedWork W1995691455 @default.
- W2119907432 hasRelatedWork W2016235928 @default.
- W2119907432 hasRelatedWork W2118424907 @default.
- W2119907432 hasRelatedWork W2126053898 @default.
- W2119907432 hasRelatedWork W2133514269 @default.
- W2119907432 hasRelatedWork W213397635 @default.
- W2119907432 hasRelatedWork W2147340401 @default.
- W2119907432 hasRelatedWork W2166280160 @default.
- W2119907432 hasRelatedWork W2767591044 @default.
- W2119907432 hasRelatedWork W2912137848 @default.
- W2119907432 hasRelatedWork W63768794 @default.
- W2119907432 hasRelatedWork W856973001 @default.
- W2119907432 hasRelatedWork W1574909761 @default.
- W2119907432 isParatext "false" @default.
- W2119907432 isRetracted "false" @default.
- W2119907432 magId "2119907432" @default.
- W2119907432 workType "article" @default.