Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004463571> ?p ?o ?g. }
- W2004463571 endingPage "34" @default.
- W2004463571 startingPage "3" @default.
- W2004463571 abstract "We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata equipped with variables that evolve continuously with time according to dynamical laws. For verification purposes, we restrict ourselves to linear hybrid systems, where all variables follow piecewise-linear trajectories. We provide decidability and undecidability results for classes of linear hybrid systems, and we show that standard program-analysis techniques can be adapted to linear hybrid systems. In particular, we consider symbolic model-checking and minimization procedures that are based on the reachability analysis of an infinite state space. The procedures iteratively compute state sets that are definable as unions of convex polyhedra in multidimensional real space. We also present approximation techniques for dealing with systems for which the iterative procedures do not converge." @default.
- W2004463571 created "2016-06-24" @default.
- W2004463571 creator A5005174253 @default.
- W2004463571 creator A5025693758 @default.
- W2004463571 creator A5035938284 @default.
- W2004463571 creator A5059880822 @default.
- W2004463571 creator A5065059795 @default.
- W2004463571 creator A5075454664 @default.
- W2004463571 creator A5077284423 @default.
- W2004463571 creator A5080555605 @default.
- W2004463571 creator A5080577181 @default.
- W2004463571 date "1995-02-01" @default.
- W2004463571 modified "2023-10-18" @default.
- W2004463571 title "The algorithmic analysis of hybrid systems" @default.
- W2004463571 cites W1981808971 @default.
- W2004463571 cites W2011694130 @default.
- W2004463571 cites W2101508170 @default.
- W2004463571 cites W2130773092 @default.
- W2004463571 cites W2135120182 @default.
- W2004463571 cites W2152815305 @default.
- W2004463571 cites W2166071597 @default.
- W2004463571 cites W2167467151 @default.
- W2004463571 doi "https://doi.org/10.1016/0304-3975(94)00202-t" @default.
- W2004463571 hasPublicationYear "1995" @default.
- W2004463571 type Work @default.
- W2004463571 sameAs 2004463571 @default.
- W2004463571 citedByCount "1736" @default.
- W2004463571 countsByYear W20044635712012 @default.
- W2004463571 countsByYear W20044635712013 @default.
- W2004463571 countsByYear W20044635712014 @default.
- W2004463571 countsByYear W20044635712015 @default.
- W2004463571 countsByYear W20044635712016 @default.
- W2004463571 countsByYear W20044635712017 @default.
- W2004463571 countsByYear W20044635712018 @default.
- W2004463571 countsByYear W20044635712019 @default.
- W2004463571 countsByYear W20044635712020 @default.
- W2004463571 countsByYear W20044635712021 @default.
- W2004463571 countsByYear W20044635712022 @default.
- W2004463571 countsByYear W20044635712023 @default.
- W2004463571 crossrefType "journal-article" @default.
- W2004463571 hasAuthorship W2004463571A5005174253 @default.
- W2004463571 hasAuthorship W2004463571A5025693758 @default.
- W2004463571 hasAuthorship W2004463571A5035938284 @default.
- W2004463571 hasAuthorship W2004463571A5059880822 @default.
- W2004463571 hasAuthorship W2004463571A5065059795 @default.
- W2004463571 hasAuthorship W2004463571A5075454664 @default.
- W2004463571 hasAuthorship W2004463571A5077284423 @default.
- W2004463571 hasAuthorship W2004463571A5080555605 @default.
- W2004463571 hasAuthorship W2004463571A5080577181 @default.
- W2004463571 hasBestOaLocation W20044635711 @default.
- W2004463571 hasConcept C105795698 @default.
- W2004463571 hasConcept C110251889 @default.
- W2004463571 hasConcept C112505250 @default.
- W2004463571 hasConcept C112680207 @default.
- W2004463571 hasConcept C11413529 @default.
- W2004463571 hasConcept C119857082 @default.
- W2004463571 hasConcept C121332964 @default.
- W2004463571 hasConcept C134306372 @default.
- W2004463571 hasConcept C136643341 @default.
- W2004463571 hasConcept C153269930 @default.
- W2004463571 hasConcept C17095337 @default.
- W2004463571 hasConcept C2524010 @default.
- W2004463571 hasConcept C2776028153 @default.
- W2004463571 hasConcept C2777669093 @default.
- W2004463571 hasConcept C33923547 @default.
- W2004463571 hasConcept C41008148 @default.
- W2004463571 hasConcept C50897621 @default.
- W2004463571 hasConcept C54829058 @default.
- W2004463571 hasConcept C62520636 @default.
- W2004463571 hasConcept C6802819 @default.
- W2004463571 hasConcept C72434380 @default.
- W2004463571 hasConcept C79379906 @default.
- W2004463571 hasConcept C80444323 @default.
- W2004463571 hasConceptScore W2004463571C105795698 @default.
- W2004463571 hasConceptScore W2004463571C110251889 @default.
- W2004463571 hasConceptScore W2004463571C112505250 @default.
- W2004463571 hasConceptScore W2004463571C112680207 @default.
- W2004463571 hasConceptScore W2004463571C11413529 @default.
- W2004463571 hasConceptScore W2004463571C119857082 @default.
- W2004463571 hasConceptScore W2004463571C121332964 @default.
- W2004463571 hasConceptScore W2004463571C134306372 @default.
- W2004463571 hasConceptScore W2004463571C136643341 @default.
- W2004463571 hasConceptScore W2004463571C153269930 @default.
- W2004463571 hasConceptScore W2004463571C17095337 @default.
- W2004463571 hasConceptScore W2004463571C2524010 @default.
- W2004463571 hasConceptScore W2004463571C2776028153 @default.
- W2004463571 hasConceptScore W2004463571C2777669093 @default.
- W2004463571 hasConceptScore W2004463571C33923547 @default.
- W2004463571 hasConceptScore W2004463571C41008148 @default.
- W2004463571 hasConceptScore W2004463571C50897621 @default.
- W2004463571 hasConceptScore W2004463571C54829058 @default.
- W2004463571 hasConceptScore W2004463571C62520636 @default.
- W2004463571 hasConceptScore W2004463571C6802819 @default.
- W2004463571 hasConceptScore W2004463571C72434380 @default.
- W2004463571 hasConceptScore W2004463571C79379906 @default.
- W2004463571 hasConceptScore W2004463571C80444323 @default.
- W2004463571 hasIssue "1" @default.
- W2004463571 hasLocation W20044635711 @default.