Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher.
Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?
Some links on this page may take you to non-federal websites. Their policies may differ from this site.
-
Free, publicly-accessible full text available July 1, 2023
-
he Simplex Architecture is a runtime assurance framework where control authority may switch from an unverified and potentially unsafe advanced controller to a backup baseline controller in order to maintain the safety of an autonomous cyber-physical system. In this work, we show that runtime checks can replace the requirement to statically verify safety of the baseline controller. This is important as there are many powerful control techniques, such as model-predictive control and neural network controllers, that work well in practice but are difficult to statically verify. Since the method does not use internal information about the advanced or baseline controller,more »Free, publicly-accessible full text available May 20, 2023
-
Free, publicly-accessible full text available April 1, 2023
-
Free, publicly-accessible full text available April 1, 2023
-
Free, publicly-accessible full text available January 1, 2023
-
Abstract Direct tests of gene function have historically been performed in a limited number of model organisms. The CRISPR/Cas system is species-agnostic, offering the ability to manipulate genes in a range of models, enabling insights into evolution, development, and physiology. Astatotilapia burtoni , a cichlid fish from the rivers and shoreline around Lake Tanganyika, has been extensively studied in the laboratory to understand evolution and the neural control of behavior. Here we develop protocols for the creation of CRISPR-edited cichlids and create a broadly useful mutant line. By manipulating the Tyrosinase gene, which is necessary for eumelanin pigment production, wemore »Free, publicly-accessible full text available December 1, 2022
-
We present the Distributed Simplex Architecture (DSA), a new runtime assurance technique that provides safety guarantees for multi-agent systems (MASs). DSA is inspired by the Simplex control architecture of Sha et al., but with some significant differences. The traditional Simplex approach is limited to single-agent systems or a MAS with a centralized control scheme. DSA addresses this limitation by extending the scope of Simplex to include MASs under distributed control. In DSA, each agent runs a local instance of traditional Simplex such that the preservation of safety in the local instances implies safety for the entire MAS. Control Barrier Functionsmore »Free, publicly-accessible full text available November 18, 2022
-
Free, publicly-accessible full text available April 8, 2023
-
Free, publicly-accessible full text available April 1, 2023
-
Free, publicly-accessible full text available September 10, 2022