Matches in SemOpenAlex for { <https://semopenalex.org/work/W1640669519> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1640669519 abstract "Symbolic algebraic analysis techniques are applied to the landing gear subsystem in the Swedish fighter aircraft, JAS 39 Gripen. Our methods are based on polynomials over finite fields (with Boolean algebra and propositional logic as special cases). Polynomials are used to represent the basic dynamic equations for the processes (controller and plant) as well as static properties of these. Temporal algebra (or temporal logic) is used to represent specifications of system behaviour. These specifications are verified both on a model of the landing gear controller, and a model of the closed loop behaviour of the landing gear controller connected to a plant. The model of the landing gear controller is made from the actual implementation in Pascal. The tools used are developed by the authors in Mathematica and uses an efficient implementation of binary decision diagrams." @default.
- W1640669519 created "2016-06-24" @default.
- W1640669519 creator A5016517896 @default.
- W1640669519 creator A5023975753 @default.
- W1640669519 date "2002-12-24" @default.
- W1640669519 modified "2023-09-25" @default.
- W1640669519 title "Dynamic verification of a large discrete system [aircraft landing gear controller]" @default.
- W1640669519 cites W1515139305 @default.
- W1640669519 cites W1552484923 @default.
- W1640669519 cites W1938962722 @default.
- W1640669519 cites W2117189826 @default.
- W1640669519 cites W2122419224 @default.
- W1640669519 cites W2135453964 @default.
- W1640669519 doi "https://doi.org/10.1109/cdc.1996.573663" @default.
- W1640669519 hasPublicationYear "2002" @default.
- W1640669519 type Work @default.
- W1640669519 sameAs 1640669519 @default.
- W1640669519 citedByCount "0" @default.
- W1640669519 crossrefType "proceedings-article" @default.
- W1640669519 hasAuthorship W1640669519A5016517896 @default.
- W1640669519 hasAuthorship W1640669519A5023975753 @default.
- W1640669519 hasConcept C127413603 @default.
- W1640669519 hasConcept C133731056 @default.
- W1640669519 hasConcept C136119220 @default.
- W1640669519 hasConcept C146978453 @default.
- W1640669519 hasConcept C154945302 @default.
- W1640669519 hasConcept C199360897 @default.
- W1640669519 hasConcept C202444582 @default.
- W1640669519 hasConcept C203479927 @default.
- W1640669519 hasConcept C2775924081 @default.
- W1640669519 hasConcept C2779688405 @default.
- W1640669519 hasConcept C33923547 @default.
- W1640669519 hasConcept C41008148 @default.
- W1640669519 hasConcept C47446073 @default.
- W1640669519 hasConcept C6557445 @default.
- W1640669519 hasConcept C75608658 @default.
- W1640669519 hasConcept C86803240 @default.
- W1640669519 hasConceptScore W1640669519C127413603 @default.
- W1640669519 hasConceptScore W1640669519C133731056 @default.
- W1640669519 hasConceptScore W1640669519C136119220 @default.
- W1640669519 hasConceptScore W1640669519C146978453 @default.
- W1640669519 hasConceptScore W1640669519C154945302 @default.
- W1640669519 hasConceptScore W1640669519C199360897 @default.
- W1640669519 hasConceptScore W1640669519C202444582 @default.
- W1640669519 hasConceptScore W1640669519C203479927 @default.
- W1640669519 hasConceptScore W1640669519C2775924081 @default.
- W1640669519 hasConceptScore W1640669519C2779688405 @default.
- W1640669519 hasConceptScore W1640669519C33923547 @default.
- W1640669519 hasConceptScore W1640669519C41008148 @default.
- W1640669519 hasConceptScore W1640669519C47446073 @default.
- W1640669519 hasConceptScore W1640669519C6557445 @default.
- W1640669519 hasConceptScore W1640669519C75608658 @default.
- W1640669519 hasConceptScore W1640669519C86803240 @default.
- W1640669519 hasLocation W16406695191 @default.
- W1640669519 hasOpenAccess W1640669519 @default.
- W1640669519 hasPrimaryLocation W16406695191 @default.
- W1640669519 hasRelatedWork W145300732 @default.
- W1640669519 hasRelatedWork W1508449984 @default.
- W1640669519 hasRelatedWork W1515139305 @default.
- W1640669519 hasRelatedWork W1517574867 @default.
- W1640669519 hasRelatedWork W1558787545 @default.
- W1640669519 hasRelatedWork W1645053729 @default.
- W1640669519 hasRelatedWork W2002373312 @default.
- W1640669519 hasRelatedWork W2005085176 @default.
- W1640669519 hasRelatedWork W2008788675 @default.
- W1640669519 hasRelatedWork W2022580009 @default.
- W1640669519 hasRelatedWork W2032649619 @default.
- W1640669519 hasRelatedWork W2056988080 @default.
- W1640669519 hasRelatedWork W205709327 @default.
- W1640669519 hasRelatedWork W2101695807 @default.
- W1640669519 hasRelatedWork W2141495889 @default.
- W1640669519 hasRelatedWork W2144275718 @default.
- W1640669519 hasRelatedWork W2158297115 @default.
- W1640669519 hasRelatedWork W2190557454 @default.
- W1640669519 hasRelatedWork W563112704 @default.
- W1640669519 hasRelatedWork W595902572 @default.
- W1640669519 isParatext "false" @default.
- W1640669519 isRetracted "false" @default.
- W1640669519 magId "1640669519" @default.
- W1640669519 workType "article" @default.