Matches in SemOpenAlex for { <https://semopenalex.org/work/W1696263757> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1696263757 endingPage "978" @default.
- W1696263757 startingPage "971" @default.
- W1696263757 abstract "This paper describes Livingstone, an implemented kernel for a model-based reactive self-configuring autonomous system. It presents a formal characterization of Livingstone's representation formalism, and reports on our experience with the implementation in a variety of domains. Livingstone provides a reactive system that performs significant deduction in the sense/response loop by drawing on our past experience at building fast propositional conflict-based algorithms for model-based diagnosis, and by framing a model-based configuration manager as a propositional feedback controller that generates focused, optimal responses. Livingstone's representation formalism achieves broad coverage of hybrid hardware/software systems by coupling the transition system models underlying concurrent reactive languages with the qualitative representations developed in model-based reasoning. Livingstone automates a wide variety of tasks using a single model and a single core algorithm, thus making significant progress towards achieving a central goal of model-based reasoning. Livingstone, together with the HSTS planning and scheduling engine and the RAPS executive, has been selected as part of the core autonomy architecture for NASA's first New Millennium spacecraft." @default.
- W1696263757 created "2016-06-24" @default.
- W1696263757 creator A5029004077 @default.
- W1696263757 creator A5045579410 @default.
- W1696263757 date "1996-08-04" @default.
- W1696263757 modified "2023-10-13" @default.
- W1696263757 title "A model-based approach to reactive self-configuring systems" @default.
- W1696263757 cites W1506588809 @default.
- W1696263757 cites W1519683110 @default.
- W1696263757 cites W1567176099 @default.
- W1696263757 cites W1652032257 @default.
- W1696263757 cites W1889333569 @default.
- W1696263757 cites W19472512 @default.
- W1696263757 cites W1982842086 @default.
- W1696263757 cites W199176224 @default.
- W1696263757 cites W2003956828 @default.
- W1696263757 cites W2028061029 @default.
- W1696263757 cites W2042707287 @default.
- W1696263757 cites W2093916942 @default.
- W1696263757 cites W2126693329 @default.
- W1696263757 cites W2144386448 @default.
- W1696263757 cites W2150114901 @default.
- W1696263757 cites W2171701192 @default.
- W1696263757 cites W2189270353 @default.
- W1696263757 cites W72468468 @default.
- W1696263757 hasPublicationYear "1996" @default.
- W1696263757 type Work @default.
- W1696263757 sameAs 1696263757 @default.
- W1696263757 citedByCount "307" @default.
- W1696263757 countsByYear W16962637572012 @default.
- W1696263757 countsByYear W16962637572013 @default.
- W1696263757 countsByYear W16962637572014 @default.
- W1696263757 countsByYear W16962637572015 @default.
- W1696263757 countsByYear W16962637572016 @default.
- W1696263757 countsByYear W16962637572017 @default.
- W1696263757 countsByYear W16962637572019 @default.
- W1696263757 countsByYear W16962637572020 @default.
- W1696263757 crossrefType "proceedings-article" @default.
- W1696263757 hasAuthorship W1696263757A5029004077 @default.
- W1696263757 hasAuthorship W1696263757A5045579410 @default.
- W1696263757 hasConcept C115903868 @default.
- W1696263757 hasConcept C120314980 @default.
- W1696263757 hasConcept C127413603 @default.
- W1696263757 hasConcept C142362112 @default.
- W1696263757 hasConcept C153349607 @default.
- W1696263757 hasConcept C154945302 @default.
- W1696263757 hasConcept C169087156 @default.
- W1696263757 hasConcept C199360897 @default.
- W1696263757 hasConcept C41008148 @default.
- W1696263757 hasConcept C558565934 @default.
- W1696263757 hasConcept C66938386 @default.
- W1696263757 hasConcept C73301696 @default.
- W1696263757 hasConcept C80444323 @default.
- W1696263757 hasConceptScore W1696263757C115903868 @default.
- W1696263757 hasConceptScore W1696263757C120314980 @default.
- W1696263757 hasConceptScore W1696263757C127413603 @default.
- W1696263757 hasConceptScore W1696263757C142362112 @default.
- W1696263757 hasConceptScore W1696263757C153349607 @default.
- W1696263757 hasConceptScore W1696263757C154945302 @default.
- W1696263757 hasConceptScore W1696263757C169087156 @default.
- W1696263757 hasConceptScore W1696263757C199360897 @default.
- W1696263757 hasConceptScore W1696263757C41008148 @default.
- W1696263757 hasConceptScore W1696263757C558565934 @default.
- W1696263757 hasConceptScore W1696263757C66938386 @default.
- W1696263757 hasConceptScore W1696263757C73301696 @default.
- W1696263757 hasConceptScore W1696263757C80444323 @default.
- W1696263757 hasLocation W16962637571 @default.
- W1696263757 hasOpenAccess W1696263757 @default.
- W1696263757 hasPrimaryLocation W16962637571 @default.
- W1696263757 hasRelatedWork W1519683110 @default.
- W1696263757 hasRelatedWork W1533012984 @default.
- W1696263757 hasRelatedWork W1567176099 @default.
- W1696263757 hasRelatedWork W1592367452 @default.
- W1696263757 hasRelatedWork W1784944639 @default.
- W1696263757 hasRelatedWork W1797873548 @default.
- W1696263757 hasRelatedWork W1868569611 @default.
- W1696263757 hasRelatedWork W1985787415 @default.
- W1696263757 hasRelatedWork W2003116861 @default.
- W1696263757 hasRelatedWork W2049934619 @default.
- W1696263757 hasRelatedWork W2069503920 @default.
- W1696263757 hasRelatedWork W2076310380 @default.
- W1696263757 hasRelatedWork W2097421357 @default.
- W1696263757 hasRelatedWork W2101330213 @default.
- W1696263757 hasRelatedWork W2108309071 @default.
- W1696263757 hasRelatedWork W2122410182 @default.
- W1696263757 hasRelatedWork W2133558947 @default.
- W1696263757 hasRelatedWork W2144386448 @default.
- W1696263757 hasRelatedWork W2149626391 @default.
- W1696263757 hasRelatedWork W2171701192 @default.
- W1696263757 isParatext "false" @default.
- W1696263757 isRetracted "false" @default.
- W1696263757 magId "1696263757" @default.
- W1696263757 workType "article" @default.