Abstract: Systems and methods for a powered, robotic exoskeleton, or exosuit, for a user's limbs and body are provided. The exosuit may be equipped with airbag devices mounted at various locations on the suit. The exosuit may include on-board computing equipment that can sense, compute control commands in real-time, and actuate limbs and airbags to restore stability (fall prevention) and minimize injuries due to falls, should they happen (fall protection).

Abstract: An artificial intelligence perception system for detecting one or more objects includes one or more processors, at least one sensor, and a memory device. The memory device includes an image capture module, an object identifying module, and a logical scaffold module. The image capture module and the object identifying module cause the one or more processors to obtain sensor information of a field of view from a sensor, identify an object within the sensor information, and determine at least one property of the object. The logical scaffold module causes the one or more processors to determine, by a logical scaffold, when the at least one property of the object as determined by the object identifying module is one of a true condition or a false condition.

Abstract: A method for certified control of a self-driving ego vehicle is described. The method includes analyzing a safety situation of the self-driving ego vehicle to determine a proposed vehicle control action using a main controller of the self-driving ego vehicle. The method also includes presenting, by the main controller, the proposed vehicle control action to an interlock controller, including a certificate of the proposed vehicle control action. The method further includes checking a safety certification evidence from the certificate by the interlock controller using a predefined safety argument to verify the safety certification evidence of the certificate. The method also includes directing, by a low-level controller, the self-driving ego vehicle to perform a certified vehicle control action.

Abstract: System, methods, and other embodiments described herein relate to modeling dynamic agents in a surrounding environment of an ego vehicle. In one embodiment, a method includes, in response to receiving sensor data including present observations of a road agent of the dynamic agents in the surrounding environment, identifying previous observations of the road agent from an electronic data store. The method includes estimating a future state of the road agent using at least the present observations and the previous observations of the road agent to compute the future state according to a probabilistic model comprised of a transition model that accounts for dynamic behaviors of the road agent to characterize transitions between states, and an agent model that accounts for actions of the road agent. The method includes controlling one or more vehicle systems of the ego vehicle according to the future state of the road agent.

Abstract: A method for synthesizing parameters for control of a closed loop system based on a differentiable simulation model of the closed loop system includes determining requirements/specifications for the closed loop system in signal temporal logic (STL). The method also includes selecting a parametric control law having a differentiable parameter control function. The method also includes converting the requirements in signal temporal logic into differentiable computational graph. The method further includes building the differentiable simulation model as a differentiable computational graph. Furthermore, the method includes automatically learning values of parameters for the differentiable parameter control function of the closed loop system by backpropagating an error.

Abstract: A personalized notification method for a mobility as a service (MaaS) vehicle includes receiving conditional personalized notification features from a passenger of the MaaS vehicle. The method also includes monitoring current driving environment of the MaaS vehicle to determine whether a condition of the conditional personalized notification features is satisfied. The method further includes notifying the passenger when the condition is satisfied via at least one localized output device in a compartment of the MaaS vehicle.

Abstract: Systems and methods for generating and evaluating driving scenarios with varying difficulty levels is provided. The disclosed systems and methods may be used to develop a suite of regression tests that track the progress of an autonomous driving stack. A robustness trace of a temporal logic formula may be computed from an always-eventually fragment using a computation graph. The robustness trace may be approximated by a smoothly differentiable computation graph, which can be implemented in existing machine learning programming frameworks. The systems and methods provided herein may be useful in automatic test case generation for autonomous or semi-autonomous vehicles.

Abstract: System, methods, and other embodiments described herein relate to improving situational awareness of a user. In one embodiment, a method includes, in response to acquiring, in a personal device, sensor data from a set of sensors that perceive a surrounding environment of the user, identifying from the sensor data one or more objects in the surrounding environment relative to the user. The method includes determining a threat to the user from the one or more objects according to at least trajectories of the one or more objects embodied in the sensor data. The method includes generating, via the personal device, an indicator to inform the user of the one or more objects according to the threat.

Abstract: System, methods, and other embodiments described herein relate to modeling dynamic agents in a surrounding environment of an ego vehicle. In one embodiment, a method includes, in response to receiving sensor data including present observations of a road agent of the dynamic agents in the surrounding environment, identifying previous observations of the road agent from an electronic data store. The method includes estimating a future state of the road agent using at least the present observations and the previous observations of the road agent to compute the future state according to a probabilistic model comprised of a transition model that accounts for dynamic behaviors of the road agent to characterize transitions between states, and an agent model that accounts for actions of the road agent. The method includes controlling one or more vehicle systems of the ego vehicle according to the future state of the road agent.

Abstract: The disclosure includes embodiments for providing a virtual feature to a vehicle including an augmented reality (“AR”) headset and an AR glove. A method according to some embodiments includes causing the AR headset to display the virtual object which includes a three-dimensional image of a control element operable to control the virtual feature. The method includes monitoring a motion of the AR glove relative to a space in a real-world that appears to the driver to be occupied by the three-dimensional image of the control element when the driver views the space through the AR headset. The method includes providing, using the AR glove, haptic feedback so that the driver feels the control element upon touching the space that appears to include the control element. The method includes providing the virtual feature in accordance with the motion of the AR glove relative to the control element.

Abstract: The technology can advantageously improve the speed of software verification using an approximation of a datastore storing a multiplicity of indexed data. An example method may determine data point(s), suspected to violate a specification of a software program being verified, using approximation(s) of datastore(s) of the software program. Data ranges reflecting subset(s) of data from the approximation(s) that contain the data points may be determined and data entries stored in the datastore(s) may be searched for the data point(s) suspected to violate the specification. The data entries lie within the data range(s) and the method determines whether the data point(s) are in violation of the specification based on the searching.

Abstract: The technology can advantageously improve the speed of software verification using an approximation of a datastore storing a multiplicity of indexed data. An example method may determine data point(s), suspected to violate a specification of a software program being verified, using approximation(s) of datastore(s) of the software program. Data ranges reflecting subset(s) of data from the approximation(s) that contain the data points may be determined and data entries stored in the datastore(s) may be searched for the data point(s) suspected to violate the specification. The data entries lie within the data range(s) and the method determines whether the data point(s) are in violation of the specification based on the searching.

Abstract: The disclosure includes embodiments for providing a virtual feature to a vehicle including an augmented reality (“AR”) headset and an AR glove. A method according to some embodiments includes causing the AR headset to display the virtual object which includes a three-dimensional image of a control element operable to control the virtual feature. The method includes monitoring a motion of the AR glove relative to a space in a real-world that appears to the driver to be occupied by the three-dimensional image of the control element when the driver views the space through the AR headset. The method includes providing, using the AR glove, haptic feedback so that the driver feels the control element upon touching the space that appears to include the control element. The method includes providing the virtual feature in accordance with the motion of the AR glove relative to the control element.

Abstract: The technology can compute an approximation of a datastore storing a multiplicity of indexed data. An example method can a template including programming logic that, when executed, calculates output(s) based on input(s) and undetermined parameter(s). The undetermined parameter(s) are input into a machine learning framework. Data entries reflecting one or more inputs are retrieved from a datastore and input into the machine learning framework, which determines value(s) for the undetermined parameter(s), respectively (making them determined parameters). The example method generates an approximation of the datastore using the determined parameter(s) and the input(s).