Abstract: A qualitative and quantitative (Q2) method for verifying safety of movement of complex learning-enabled cyber-physical systems (Le-CPS) using a computer is provided. The method includes determining an initial set of states of the Le-CPS. The computer is used for determining a reachable set of the Le-CPS using a probstar reachability algorithm saved in memory of the computer. The computer includes a Q2 algorithm saved in the memory that is configured is used to simultaneously check (i) if the reachable set satisfies a predetermined safety constraint (qualitative verification) and (ii) determine a probability of satisfaction that the reachable set will satisfy the predetermined safety constraint (quantitative verification). Movement of the Le-CPS is planned based on the step of using the computer including the Q2 algorithm.

Abstract: An energy harvesting system capable of using vibrational or mechanical energy to direct energy along a line to an energy receiver to transfer the vibrational energy. The energy harvesting system includes an energy transmitter capable of turning rotational or vibrational energy into a linear vibration that travels along the line to an energy receiver that takes the vibrational energy stored in the transverse wave and turns it into rotational motion. The rotational motion can then be used to drive an electric generator. A tension control unit provides tension to the line ensuring the amplitude of the transverse wave is at a maxima when it reaches the energy receiver.

Abstract: A mandrel-coiled twisted and coiled polymer fishing line (TCPFL) actuator, method, and computer program product for using the mandrel-coiled TCPFL actuator. A mandrel-coiled TCPFL actuator may be received, wherein the mandrel-coiled TCPFL actuator is fabricated from a plurality of mandrel-coiled TCPFL muscles coated with a synthesized PVA solution. The mandrel-coiled TCPFL actuator may be used to adjust a vehicle component.

Abstract: System, methods, and other embodiments described herein relate to implementing predictive, risk-aware control barrier functions, the effects of which certify using predicted future trajectories the probability of vehicles (such as tractor-trailers) becoming unsafe over a time interval remains bounded by a user-specified value.

Abstract: A therapeutic motion device includes a support structure including a first support portion and a second support portion. The first support portion rotatably coupled to the second support portion and at least one of the first support portion and the second support portion is movable relative to the other of the first support potion and the second support portion. First and second actuation arms extend from the first and second support portions, respectively. An artificial muscle drive unit couples the first actuation arm to the second actuation arm, the artificial muscle drive unit including one or more artificial muscles expandable in a movement direction to provide a movement force to at least one of the first support portion and the second support portion.

Abstract: A system is provided for use with a plurality of timed traces for performing a task. The system includes: a data receiver configured to receive the plurality of timed traces; a memory having instructions stored therein; and a processor configured to execute the instructions stored in the memory to cause the system to: store the received plurality of timed traces into the memory; generate a partial order graph of time constraints between all of the plurality of timed traces; generate a transitive reduced partial order graph from the partial order graph, the transitive reduced partial order graph not including redundant time constraints within the partial order graph; and generate a timed partial order graph from the transitive reduced partial order graph, the timed partial order graph having a minimum number of clocks required to explain the time constraints between all of the plurality of timed traces.

Abstract: Apparatuses, systems, and methods relate to technology to identify temporal logic that is associated with a controller of a physical system simulation, where the controller a first neural network. The technology generates a second neural network based on the temporal logic, and generates, with the second neural network, a robustness metric of the first neural network.

Abstract: An energy harvesting system capable of using vibrational or mechanical energy to direct energy along a line to an energy receiver to transfer the vibrational energy. The energy harvesting system includes an energy transmitter capable of turning rotational or vibrational energy into a linear vibration that travels along the line to an energy receiver that takes the vibrational energy stored in the transverse wave and turns it into rotational motion. The rotational motion can then be used to drive an electric generator. A tension control unit provides tension to the line ensuring the amplitude of the transverse wave is at a maxima when it reaches the energy receiver.

Abstract: A vehicle bumper assembly includes an adaptive energy absorption module operatively connected to a vehicle bumper body. The adaptive energy absorption module includes a primary deformable impact absorber member defining a primary impact chamber having a shape that is structurally adaptive or otherwise conforms to an impact force received by the bumper body. A secondary deformable impact absorber member is arranged in the primary impact chamber and defines a secondary impact chamber containing a shear thickening fluid that exhibits a decreasing viscosity responsive to the impact force. A plurality of fluidically connected tertiary deformable impact absorber members are arranged in an array the primary impact chamber and defines a plurality of tertiary impact chambers containing a volume of fluid, and has a shape that is structurally adaptive to the impact force.

Abstract: A vehicle bumper assembly includes an adaptive energy absorption module operatively connected to a vehicle bumper body. The adaptive energy absorption module includes a primary deformable impact absorber member defining a primary impact chamber having a shape that is structurally adaptive or otherwise conforms to an impact force received by the bumper body. A secondary deformable impact absorber member is arranged in the primary impact chamber and defines a secondary impact chamber containing a shear thickening fluid that exhibits a decreasing viscosity responsive to the impact force. A plurality of fluidically connected tertiary deformable impact absorber members are arranged in an array the primary impact chamber and defines a plurality of tertiary impact chambers containing a volume of fluid, and has a shape that is structurally adaptive to the impact force.

Abstract: Systems and methods of a seatbelt with head restraint are provided. A seatbelt assembly for a vehicle may include a plurality of airbags and an electrostatic clutch to control a deployment of the plurality of airbags. The electrostatic clutch may be operable to limit a movement of the plurality of airbags relative to each other to define a deployment shape of the airbags. Associated vehicles including the seatbelt assembly are provided. Associated methods are also provided.

Abstract: Systems and methods are provided for implementing safety-aware artificial intelligence (AI) that can be used for autonomously controlling systems, such as an autonomous vehicle, in a manner that is proven to satisfy given safety constraints. Additionally, a safety-aware training technique can be applied to learned AI-based models, such as neural networks. The safety-aware training techniques can apply automated reasoning tools (ART) while the AI model is trained, in order to produce a model that is provable safe with respect to the safety constraints. The ART can integrate verification into the training process, and thereby dynamically re-train the model based on the safety verification in a feedback loop approach. The ART can be configured to either verify that the AI model is provably safety, or to provide updates to the training parameters used during to re-train the AI model in instances when the safety verification has failed.

Abstract: A support cushion liner includes a liner body having a cavity disposed between an outer layer and an inner layer and a plurality of artificial muscles disposed in the cavity of the liner body. Each of the plurality of artificial muscles include a housing having an electrode region and an expandable fluid region, a dielectric fluid housed within the housing, and an electrode pair positioned in the electrode region of the housing. The electrode pair includes a first electrode fixed to a first surface of the housing and a second electrode fixed to a second surface of the housing. The electrode pair is actuatable between a non-actuated state and an actuated state such that actuation from the non-actuated state to the actuated state directs the dielectric fluid into the expandable fluid region, expanding the expandable fluid region thereby applying pressure to the outer layer of the liner body.

Abstract: Methods and systems may provide for technology to identify, at a first vehicle, one or more driving factors associated with a potential future action of the first vehicle, determine that the one or more driving factors are to be stored as remotely accessible data and cause the remotely accessible data to be stored to an online storage in association with an identifier of the first vehicle. The technology may further, at a second vehicle, identify the identifier from sensor data, access the remotely accessible data based on the identifier, and one or more of cause at least part of the remotely accessible data to be presented to a user of the second vehicle or modify a driving parameter of the second vehicle based on the remotely accessible data.

Abstract: An adaptor for a sensor having a sensor connector. The adaptor includes a receptacle base configured to, upon insertion of the sensor connector, align with the structural shape, and/or size, and/or configuration of the sensor connector and establish a structural connection therewith. The adaptor may also include one or more receivers, configured to, in response to the conformance in the structural shape, and/or size, and/or configuration of the receptacle base, move relative to the receptacle base to align with axis of an optical arrangement or pin arrangement of the sensor connector. Such an alignment is to result in the mating of the adaptor and sensor connector which thereby establishes an electrical connection or an optical connection therewith. The adaptor may also include a processing device configured to determine one or more characteristics of output from the sensor connector.

Abstract: A therapeutic motion device includes a support structure including a first support portion and a second support portion. The first support portion rotatably coupled to the second support portion and at least one of the first support portion and the second support portion is movable relative to the other of the first support potion and the second support portion. First and second actuation arms extend from the first and second support portions, respectively. An artificial muscle drive unit couples the first actuation arm to the second actuation arm, the artificial muscle drive unit including one or more artificial muscles expandable in a movement direction to provide a movement force to at least one of the first support portion and the second support portion.

Abstract: A support cushion liner includes a liner body having a cavity disposed between an outer layer and an inner layer and a plurality of artificial muscles disposed in the cavity of the liner body. Each of the plurality of artificial muscles include a housing having an electrode region and an expandable fluid region, a dielectric fluid housed within the housing, and an electrode pair positioned in the electrode region of the housing. The electrode pair includes a first electrode fixed to a first surface of the housing and a second electrode fixed to a second surface of the housing. The electrode pair is actuatable between a non-actuated state and an actuated state such that actuation from the non-actuated state to the actuated state directs the dielectric fluid into the expandable fluid region, expanding the expandable fluid region thereby applying pressure to the outer layer of the liner body.

Abstract: Apparatuses, systems, and methods to identify a first communication transmitted based on a first communication identifier that identifies a first vehicle. The first communication originates from a second vehicle that includes a code associated with a second communication identifier that identifies the second vehicle. The technology identifies based on the first communication, a third communication identifier that identifies a third vehicle. The technology causes a second communication to be transmitted based on the third communication identifier.

Abstract: The present application relates to a calibration enclosure, systems that include a calibration enclosure, and methods of using the same. A calibration enclosure includes a body having an interior surface and one or more projections disposed at one or more locations on the interior surface of the body. Each one of the one or more projections provides an encoded signal that is usable for calibrating a vehicle sensor when the calibration enclosure is placed over a vehicle including the vehicle sensor such that the calibration enclosure covers the vehicle.

Abstract: An adaptor for a sensor having a sensor connector. The adaptor includes a receptacle base configured to, upon insertion of the sensor connector, align with the structural shape, and/or size, and/or configuration of the sensor connector and establish a structural connection therewith. The adaptor may also include one or more receivers, configured to, in response to the conformance in the structural shape, and/or size, and/or configuration of the receptacle base, move relative to the receptacle base to align with axis of an optical arrangement or pin arrangement of the sensor connector. Such an alignment is to result in the mating of the adaptor and sensor connector which thereby establishes an electrical connection or an optical connection therewith. The adaptor may also include a processing device configured to determine one or more characteristics of output from the sensor connector.