this paper presents a new framework for generating test-case scenarios for autonomous vehicles. We address two challenges in automatic test-case generation: first, a formal notion of test-case complexity, and second, ...
详细信息
ISBN:
(纸本)9781665409674
this paper presents a new framework for generating test-case scenarios for autonomous vehicles. We address two challenges in automatic test-case generation: first, a formal notion of test-case complexity, and second, an algorithm to generate more-complex test-cases. We characterize the complexity of a test-case by its set of solutions, and compare two complexities by the subset relation. the novelty of our definition is that it only relies on the pass-fail criteria of the test-case, rather than indirect or subjective assessments of what may challenge an ego vehicle to pass a test-case. Given a testcase, we model the problem of generating a more complex test-case as a constraint-satisfaction search problem. the search variables are the changes to the given test-case, and the search constraints define a solution to the search problem. the constraints include steering geometry of cars, the geometry of lanes, the shape of cars, traffic rules, bounds on longitudinal acceleration of cars, etc. To conquer the computational challenge, we divide the constraints to three categories and satisfy them with simulation, answer set programming, and SMT solving. We have implemented our algorithm using the Scenic libraries and the CARLA simulator and generate test-cases for several 3-way and 4-way intersections with different topologies. Our experiments demonstrate that both CARLA's autopilot and autopilot-plus-RSS (Responsibility-Sensitive Safety) can fail as the complexity of test-cases increase.
Combining the growth characteristics and psychological characteristics of high-level compound tax talents, on the basis of summarizing the status quo of the construction of tax informatization system, based on the bas...
详细信息
the Faculty of Science, Sriracha Campus is in the Eastern Economic Corridor (EEC) to recognize the importance of the development of Industry4.0, therefore it has been developed a control and data analysis program base...
详细信息
the Industrial Modeling and programming Language (IMPL) is a sophisticated computational system for tackling large-scale and complex-scope data analytics and decision-making problems in the engineering and operations ...
详细信息
[3] and [7] generalize the notion of probability measures and belief functions to Belnap-Dunn (BD) logic, respectively. this work aims at providing an alternative way to treat contradictory information by relying on a...
详细信息
ISBN:
(纸本)9783031178016;9783031178009
[3] and [7] generalize the notion of probability measures and belief functions to Belnap-Dunn (BD) logic, respectively. this work aims at providing an alternative way to treat contradictory information by relying on a logicthat was introduced to reason about incomplete and contradictory information rather than on classical logic. In this article, we study how to update belief functions over BD logic with new pieces of information. We present a first approach via a frame semantics of BD logic. this frame semantics relying on sets, we can use Bayesian update and Dempster-Shafer combination rule over powerset algebras to define their corresponding updates within the framework of BD logic.
Despite enduring criticisms spanning several decades, jump statements such as goto, break, continue, and return remain prevalent in imperative programming languages, including but not limited to C++, Java, and Python....
详细信息
In the present digital world, we depend on information technology more than ever. Our economy, health, well-being and even our lives depend on it. Information security is a basic requirement, with access control playi...
详细信息
Mobile robot technology has advanced rapidly and can be used in a variety of industries due to its capacity to accomplish certain duties quickly and productively. Deep sea exploration, outer space adventure, military,...
详细信息
ISBN:
(数字)9781665403870
ISBN:
(纸本)9781665403870
Mobile robot technology has advanced rapidly and can be used in a variety of industries due to its capacity to accomplish certain duties quickly and productively. Deep sea exploration, outer space adventure, military, surveillance, disaster environment, scouting, petroleum operations, advanced robotics, and manufacturing all have a high demand for mobile robots. the purpose of this project is to build a mobile robot that can automatically move from one location to another. AIOR:21 and LFR:21 are two types of multifunction robots that have been developed. To function properly, this robot must be equipped with smart technology, and modifications are required on a regular basis. In the suggested robot system, fuzzy logic control is employed to assess and process the operator's voice commands more accurately and effectively. the proposed robot is equipped with an Arduino Uno microcontroller, L298N motor driver, SG90 DC motor, HC-05 Bluetooth module, ultrasonic sensor, and 4-channel infrared remote relays. Furthermore, line tracking robot technology is used as a guide for automated moving robots. Wireless communication and robot monitoring can be accomplished with IoT via cellphones. Withthis function, the operator can remotely watch the robot's behavior, and all sensor data can be stored in the internet cloud storage. Several experiments have been conducted to assess the capacity of the robots to identify lines and avoid colliding with objects. the limits of this project are also discussed in the concluding section for the researchers to consider for future improvement.
the article is devoted to the development of a module for automating the planning of trajectories for painting aircraft fuselage elements. the scientific problem of the lack of modern control methods and technologies ...
详细信息
By using the methods of triple-I reasoning for all implication, we give the solutions of generalized MP rules and MT rules in attribute logic, and propose some approximate reasoning methods based on generalized MP rul...
详细信息
暂无评论