Search Results

Digital twin technology has become impactful in Industry 4.0 as it enables engineers to design, simulate, and analyze complex systems and products. As a result of the synergy between physical and virtual realms, innovation in the “real twin” or actual product is more effectively fostered. The availability of verified computer models that describe the target system is important for realistic simulations that provide operating behaviors that can be leveraged for future design studies or predictive maintenance algorithms. In this paper, a digital twin is created for an offroad tracked vehicle that can operate in either autonomous or remote-control modes. Mathematical models are presented and implemented to describe the twin track and vehicle chassis governing dynamics. These components are interfaced through the nonlinear suspension elements and distributed bogies.

In the ever-evolving landscape of automotive technology, the need for robust security measures and dependable vehicle performance has become paramount with connected vehicles and autonomous driving. The Unified Diagnostic Services (UDS) protocol is the diagnostic communication layer between various vehicle components which serves as a critical interface for vehicle servicing and for software updates. Fuzz testing is a dynamic software testing technique that involves the barrage of unexpected and invalid inputs to uncover vulnerabilities and erratic behavior. This paper presents the implementation of fuzz testing methodologies on the UDS layer, revealing the potential vulnerabilities that could be exploited by malicious entities. By employing both open-source and commercial fuzzing tools and techniques, this paper simulates real-world scenarios to assess the UDS layer’s resilience against anomalous data inputs.

Robust communications are crucial for autonomous military fleets. Ground vehicles function as mobile local area networks utilizing Controller Area Network (CAN) backbones. Fleet coordination between autonomous platforms relies on the Robot Operating System (ROS) publish/subscribe robotic middleware for effective operation. To bridge communications between the CAN and ROS network segments, the CAN2ROS bridge software supports bidirectional data flow with message mapping and node translation. Fuzzing, a software testing technique, involves injecting randomized data inputs into the target system. This method plays a pivotal role in identifying vulnerabilities. It has proven effective in discovering vulnerabilities in online systems, such as the integrated CAN/ROS system. In our study, we consider ROS implementing zero-trust access control policies, running on a Gazebo test-bed connected to a CAN bus.

Integrated modeling of vehicle, tire and terrain is a fundamental challenge to be addressed for off-road autonomous navigation. The complexities arise due to lack of tools and techniques to predict the continuously varying terrain and environmental conditions and the resultant non-linearities. The solution to this challenge can now be found in the plethora of data driven modeling and control techniques that have gained traction in the last decade. Data driven modeling and control techniques rely on the system’s repeated interaction with the environment to generate a lot of data and then use a function approximator to fit a model for the physical system with the data. Getting good quality and quantity of data may involve extensive experimentation with the physical system impacting developer’s resource. The process is computationally expensive, and the overhead time required is high.

Access control enforces security policies for controlling critical resources. For V2X (Vehicle to Everything) autonomous military vehicle fleets, network middleware systems such as ROS (Robotic Operating System) expose system resources through networked publisher/subscriber and client/server paradigms. Without proper access control, these systems are vulnerable to attacks from compromised network nodes, which may perform data poisoning attacks, flood packets on a network, or attempt to gain lateral control of other resources. Access control for robotic middleware systems has been investigated in both ROS1 and ROS2. Still, these implementations do not have mechanisms for evaluating a policy's consistency and completeness or writing expressive policies for distributed fleets. We explore an RBAC (Role-Based Access Control) mechanism layered onto ROS environments that uses local permission caches with precomputed truth tables for fast policy evaluation.

The software architecture behind modern autonomous vehicles (AV) is becoming more complex steadily. Safety verification is now an imminent task prior to the large-scale deployment of such convoluted models. For safety-critical tasks in navigation, it becomes imperative to perform a verification procedure on the trajectories proposed by the planning algorithm prior to deployment. Signal Temporal Logic (STL) constraints can dictate the safety requirements for an AV. A combination of STL constraints is called a specification. A key difference between STL and other logic constraints is that STL allows us to work on continuous signals. We verify the satisfaction of the STL specifications by calculating the robustness value for each signal within the specification. Higher robustness values indicate a safer system. Model Predictive Control (MPC) is one of the most widely used methods to control the navigation of an AV, with an underlying set of state and input constraints.

In the United States and worldwide, 38,824 and 1.35 million people were killed in vehicle crashes during 2020. These statistics are tragic and indicative of an on-going public health crisis centered on automobiles and other ground transportation solutions. Although the long-term US vehicle fatality rate is slowly declining, it continues to be elevated compared to European countries. The introduction of vehicle safety systems and re-designed roadways has improved survivability and driving environment, but driver behavior has not been fully addressed. A non-confrontational approach is the evaluation of driver behavior using onboard sensors and computer algorithms to determine the vehicle’s “mistrust” level of the given operator and the safety of the individual operating the vehicle. This is an inversion of the classic human-machine trust paradigm in which the human evaluates whether the machine can safely operate in an automated fashion.

Passenger comfort is a critical factor in user acceptance of autonomous vehicles (AVs). Despite existing methods for passenger comfort assessment, new approaches to assessing passenger comfort in AVs may be valuable to the automotive industry. In this paper, continuous pressing-based and discrete smartphone-based approaches for comfort assessment were designed and implemented in a user study. Participants used the two approaches to evaluate their comfort levels in an experimental study based on a high-fidelity autonomous driving simulator. Performances of the two approaches in assessing comfort levels were analyzed and compared. In general, the discrete approach showed better measurement repeatability and lower measurement bias than the continuous approach. The performance gap of the continuous approach could be reduced with proper post-processing measures. Discussions on the potential uses of the approaches were also raised.

Autonomous vehicles have the potential to transform lives by providing transportation to a wider range of users. However, with this new method of transportation, user acceptance and comfort are critical for widespread adoption. This exploratory study aims to investigate what makes passengers uncomfortable in existing vehicles to inform the design of future autonomous vehicles. In order to predict what may impact user acceptance for a diverse rider population for future autonomous vehicles, it is important to understand what makes a broad range of passengers uncomfortable today. In this study, interviews were conducted for a total of 75 participants from three diverse groups, including 20 automotive engineering graduate students who are building an autonomous concept vehicle, 21 non-technical adults, and 34 senior citizens. The results revealed both topics which made different groups of passengers uncomfortable as well as how these varied between the groups.

Fully autonomous vehicles have the potential to fundamentally transform the future transportation system. While previous research has examined individuals’ perceptions towards fully autonomous vehicles, a complete understanding of attitudes and opinions across the lifespan is unknown. Therefore, individuals’ awareness, acceptance, and preferences towards autonomous vehicles were obtained from 75 participants through interviews with three diverse groups of participants: 20 automotive engineering graduate students who were building an autonomous concept vehicle, 21 non-technical adults, and 34 senior citizens. The results showed that regardless of age, an individual’s readiness to ride in a fully autonomous vehicle and the vehicle’s requirements were influenced by the users’ understanding of autonomous vehicles.

Formal verification plays an important role in proving the safety of autonomous vehicles (AV). It is crucial to find errors in the AV system model to ensure safety critical features are not compromised. Model checking is a formal verification method which checks if the finite state machine (FSM) model meets system requirements. These requirements can be expressed as linear Temporal logic (LTL) formulae to describe a sequence of states with linear Temporal properties to be satisfied. NuSMV is a dedicated software for performing model checking based on Temporal logic formulae on FSM models. However, NuSMV does not provide model-based design. On the other hand, Stateflow in MATLAB/SIMULINK is a powerful tool for designing the model and offers an interactive Graphical User Interface (GUI) for the user/verifier but is not as efficient as NuSMV in model checking.

Testing any new safety technology of Autonomous Vehicles (AV) and Advanced Driver Assistance Systems (ADAS) requires simulation-based validation and verification. The specific scenarios used for testing, outline incidences of accidents or near-miss events. In order to simulate these scenarios, specific values for all the above parameters are required including the ego vehicle model. The ‘criticality’ of a scenario is defined in terms of the difficulty level of the safety maneuver. A scenario could be over-critical, critical, or under-critical. In over-critical scenarios, it is impossible to avoid a crash whereas, for under-critical scenarios, no action may be required to avoid a crash. The criticality of the scenario depends on various parameters e.g. speeds, distances, road/tire parameters, etc. In this paper, we propose a definition of criticality metric and identify the parameters such that a scenario becomes critical.

In this paper, a reinforcement learning-based method is proposed to adapt autonomous vehicle passengers’ expectation of comfort through in-situ human-vehicle interaction. Ride comfort has a significant influence on the user’s experience and thus acceptance of autonomous vehicles. There is plenty of research about the motion planning and control of autonomous vehicles. However, limited studies have explicitly considered the comfort of passengers in autonomous vehicles. This paper studies the comfort of humans in autonomous vehicles longitudinal autonomous driving. The paper models and then improves passengers’ feelings about autonomous driving behaviors. This proposed approach builds a control and adaptation strategy based on reinforcement learning using human’s in-situ feedback on autonomous driving. It also proposes an adaptation of humans to autonomous vehicles to account for improper human driving expectations.

Enabling self-driving vehicles to efficiently and autonomously navigate through an obstacle-filled environment remains a topic of significant contemporary research interest. Motion-planning frameworks, encapsulating both path- and trajectory-planning, have played a dominant role in realizing the deployment of a “sense-think-act” intelligence for autonomous vehicles. However, verification and validation of such intelligence on actual self-driving autonomous vehicles has been limited. Simulation-based verification and validation has the advantage of permitting diverse scenario-based testing and comprehensive “what-if” analyses - but is ultimately limited by the simulation fidelity and realism. In contrast, testing on full-scale real-world systems is constrained by the usual challenges of time, space, and cost engendered in reproducing diverse scenarios in practice.

The integration of electric motors into ground vehicle propulsion systems requires the effective removal of heat from the motor shell. As the torque demand varies based on operating cycles, the generated heat from the motor windings and stator slots must be rejected to the surroundings to ensure electric machine reliability. In this paper, an electric motor cooling system design will be optimized for a light duty autonomous vehicle. The design variables include the motor cradle volume, the number of heat pipes, the coolant reservoir dimensions, and the heat exchanger size while the cost function represents the system weight, overall size, and performance. The imposed requirements include the required heat transfer per operating cycle (6, 9, 12kW) and vehicle size, component durability requirement, and material selection. The application of a nonlinear optimization package enabled the cooling system design to be optimized.

Recent trends in autonomy have emphasized end-to-end deep-learning-based methods that have shown a lot of promise in overcoming the requirements and limitations of feature-engineering. However, while promising, the black-box nature of deep-learning frameworks now exacerbates the need for testing with end-to-end deployments. Further, as exemplars of systems-of-systems, autonomous vehicles (AVs) engender numerous interconnected component-, subsystem and system-level interactions. The ensuing complexity creates challenges for verification and validation at the various component, subsystem- and system-levels as well as end-to-end testing. While simulation-based testing is one promising avenue, oftentimes the lack of adequate fidelity of AV and environmental modeling limits the generalizability. In contrast, full-scale AV testing presents the usual limitations of time-, space-, and cost.

Vehicular control systems are characterized with numerous complex interactions with a steady rise of autonomous functions, which makes it more challenging for designers and safety engineers to identify unexpected failures. These systems tend to be highly integrated and exhibit features like concurrency for which traditional verification and validation techniques (i.e. testing and simulation) are insufficient to provide rigorous and complete assessment. Model Checking, a well-known formal verification technique, can be used to rigorously prove the correctness of such systems according to design Requirements. In particular, Model Checking is a method for formally verifying finite-state concurrent systems. Specifications about the system are expressed as temporal logic formulas, and efficient symbolic algorithms are used to traverse the model defined by the system and check if the specification holds or not.

Over the years, the complexity of autonomous vehicle development (and concurrently the verification and validation) has grown tremendously in terms of component-, subsystem- and system-level interactions between autonomy and the human users. Simulation-based testing holds significant promise in helping to identify both problematic interactions between component-, subsystem-, and system-levels as well as overcoming delays typically introduced by the default full-scale on-road testing. Software in Loop (SiL) simulation is utilized as an intermediate step towards software deployment for autonomous vehicles (AV) to make them reliable. SiL efforts can help reduce the resources required for successful deployment by helping to validate the software for millions of road miles. A key enabler for accelerating SiL processes is the ability to use Simulation as a Service (SaaS) rather than just isolated instances of software.

Over the last decade, tremendous amount of research and progress has been made towards developing smart technologies for autonomous vehicles such as adaptive cruise control, lane keeping assist, lane following algorithms, and decision-making algorithms. One of the fundamental objectives for the development of such technologies is to enable autonomous vehicles with the capability to avoid obstacles and maintain safety. Automobiles are real-world dynamical systems - possessing inertia, operating at varying speeds, with finite accelerations/decelerations during operations. Deployment of autonomy in vehicles increases in complexity multi-fold especially when high DOF vehicle models need to be considered for robust control. Model Predictive Control (MPC) is a powerful tool that is used extensively to control the behavior of complex, dynamic systems. As a model-based approach, the fidelity of the model and selection of model-parameters plays a role in ultimate performance.

Simultaneous Localization and Mapping (SLAM) algorithms are extensively utilized within the field of autonomous navigation. In particular, numerous open-source Robot Operating System (ROS) based SLAM solutions, such as Gmapping, Hector, Cartographer etc., have simplified deployments in application. However, establishing the accuracy and precision of these ‘out-of-the-box’ SLAM algorithms is necessary for improving the accuracy and precision of further applications such as planning, navigation, controls. Existing benchmarking literature largely focused on validating SLAM algorithms based upon the quality of the generated maps. In this paper, however, we focus on examining the localization accuracy of existing 2-dimensional LiDAR based indoor SLAM algorithms. The fidelity of these implementations is compared against the OptiTrack motion capture system which is capable of tracking moving objects at sub-millimeter level precision.