Trajectory generation using temporal logic and tree search

    公开(公告)号:US11360477B2

    公开(公告)日:2022-06-14

    申请号:US16908389

    申请日:2020-06-22

    Applicant: Zoox, Inc.

    Abstract: Techniques for determining a trajectory for an autonomous vehicle are described herein. In general, determining a route can include utilizing a search algorithm such as Monte Carlo Tree Search (MCTS) to search for possible trajectories, while using temporal logic formulas, such as Linear Temporal Logic (LTL), to validate or reject the possible trajectories. Trajectories can be selected based on various costs and constraints optimized for performance. Determining a trajectory can include determining a current state of the autonomous vehicle, which can include determining static and dynamic symbols in an environment. A context of an environment can be populated with the symbols, features, predicates, and LTL formula. Rabin automata can be based on the LTL formula, and the automata can be used to evaluate various candidate trajectories. Nodes of the MCTS can be generated and actions can be explored based on machine learning implemented as, for example, a deep neural network.

    Independent control of vehicle wheels

    公开(公告)号:US11136021B1

    公开(公告)日:2021-10-05

    申请号:US15787474

    申请日:2017-10-18

    Applicant: Zoox, Inc.

    Abstract: An over actuated system capable of controlling wheel parameters, such as speed (e.g., by torque and braking), steering angles, caster angles, camber angles, and toe angles, of wheels in an associated vehicle. The system may determine the associated vehicle is in a rollover state and adjust wheel parameters to prevent vehicle rollover. Additionally, the system may determine a driving state and dynamically adjust wheel parameters to optimize driving, including, for example, cornering and parking. Such a system may also dynamically detect wheel misalignment and provide alignment and/or corrective driving solutions. Further, by utilizing degenerate solutions for driving, the system may also estimate tire-surface parameterization data for various road surfaces and make such estimates available for other vehicles via a network.

    Trajectory generation using temporal logic and tree search

    公开(公告)号:US10691127B2

    公开(公告)日:2020-06-23

    申请号:US16193801

    申请日:2018-11-16

    Applicant: Zoox, Inc.

    Abstract: Techniques for determining a trajectory for an autonomous vehicle are described herein. In general, determining a route can include utilizing a search algorithm such as Monte Carlo Tree Search (MCTS) to search for possible trajectories, while using temporal logic formulas, such as Linear Temporal Logic (LTL), to validate or reject the possible trajectories. Trajectories can be selected based on various costs and constraints optimized for performance. Determining a trajectory can include determining a current state of the autonomous vehicle, which can include determining static and dynamic symbols in an environment. A context of an environment can be populated with the symbols, features, predicates, and LTL formula. Rabin automata can be based on the LTL formula, and the automata can be used to evaluate various candidate trajectories. Nodes of the MCTS can be generated and actions can be explored based on machine learning implemented as, for example, a deep neural network.

    Trajectory Generation Using Temporal Logic and Tree Search

    公开(公告)号:US20190101919A1

    公开(公告)日:2019-04-04

    申请号:US16193801

    申请日:2018-11-16

    Applicant: Zoox, Inc.

    Abstract: Techniques for determining a trajectory for an autonomous vehicle are described herein. In general, determining a route can include utilizing a search algorithm such as Monte Carlo Tree Search (MCTS) to search for possible trajectories, while using temporal logic formulas, such as Linear Temporal Logic (LTL), to validate or reject the possible trajectories. Trajectories can be selected based on various costs and constraints optimized for performance. Determining a trajectory can include determining a current state of the autonomous vehicle, which can include determining static and dynamic symbols in an environment. A context of an environment can be populated with the symbols, features, predicates, and LTL formula. Rabin automata can be based on the LTL formula, and the automata can be used to evaluate various candidate trajectories. Nodes of the MCTS can be generated and actions can be explored based on machine learning implemented as, for example, a deep neural network.

    Independent control of vehicle wheels

    公开(公告)号:US12258004B2

    公开(公告)日:2025-03-25

    申请号:US17468499

    申请日:2021-09-07

    Applicant: Zoox, Inc.

    Abstract: An over actuated system capable of controlling wheel parameters, such as speed (e.g., by torque and braking), steering angles, caster angles, camber angles, and toe angles, of wheels in an associated vehicle. The system may determine the associated vehicle is in a rollover state and adjust wheel parameters to prevent vehicle rollover. Additionally, the system may determine a driving state and dynamically adjust wheel parameters to optimize driving, including, for example, cornering and parking. Such a system may also dynamically detect wheel misalignment and provide alignment and/or corrective driving solutions. Further, by utilizing degenerate solutions for driving, the system may also estimate tire-surface parameterization data for various road surfaces and make such estimates available for other vehicles via a network.

    Trajectory prediction of third-party objects using temporal logic and tree search

    公开(公告)号:US10671076B1

    公开(公告)日:2020-06-02

    申请号:US15833715

    申请日:2017-12-06

    Applicant: Zoox, Inc.

    Abstract: Techniques for generating trajectories for autonomous vehicles and for predicting trajectories for third-party objects using temporal logic and tree search are described herein. Perception data about an environment can be captured to determine static objects and dynamic objects. For a particular dynamic object, which can represent a third-party vehicle, predictive trajectories can be generated to represent possible trajectories based on available options and rules of the road. Operations can include determining probabilities that a third-party vehicle will execute a predictive trajectory and updating the probabilities over time as motion data is captured. Predictive trajectories can be provided to the autonomous vehicle and commands for the autonomous vehicle can be based on the predictive trajectories. Further, determining a trajectory can include utilizing a Monte Carlo Tree Search (MCTS) to search for possible trajectories, while using Linear Temporal Logic (LTL) formulas to validate or reject the possible trajectories.

    INDEPENDENT CONTROL OF VEHICLE WHEELS

    公开(公告)号:US20210402984A1

    公开(公告)日:2021-12-30

    申请号:US17468499

    申请日:2021-09-07

    Applicant: Zoox, Inc.

    Abstract: An over actuated system capable of controlling wheel parameters, such as speed (e.g., by torque and braking), steering angles, caster angles, camber angles, and toe angles, of wheels in an associated vehicle. The system may determine the associated vehicle is in a rollover state and adjust wheel parameters to prevent vehicle rollover. Additionally, the system may determine a driving state and dynamically adjust wheel parameters to optimize driving, including, for example, cornering and parking. Such a system may also dynamically detect wheel misalignment and provide alignment and/or corrective driving solutions. Further, by utilizing degenerate solutions for driving, the system may also estimate tire-surface parameterization data for various road surfaces and make such estimates available for other vehicles via a network.

    Communicating reasons for vehicle actions

    公开(公告)号:US10372130B1

    公开(公告)日:2019-08-06

    申请号:US15600258

    申请日:2017-05-19

    Applicant: Zoox, Inc.

    Abstract: Techniques for communicating feedback to passengers of autonomous vehicles regarding reasons for actions taken by autonomous vehicles to build trust with passengers are described herein. For instance, an autonomous vehicle may associate various objects with symbols and/or predicates while traversing a path to evaluate Linear Temporal Logic (LTL) formulae. Events along the path may require the autonomous vehicle to perform an action. The vehicle may determine to communicate the event and/or action to the passenger to provide a reason as to why the autonomous vehicle took the action, based on evaluation of the LTL formulae. In some examples, the autonomous vehicle may communicate with passengers via one or more of visual cues, auditory cues, and/or haptic cues. In this way, autonomous vehicles may build trust with passengers by reassuring and informing passengers of reasons for taking actions either before, during, or after the action is taken.

    Trajectory generation using temporal logic and tree search

    公开(公告)号:US10133275B1

    公开(公告)日:2018-11-20

    申请号:US15632147

    申请日:2017-06-23

    Applicant: Zoox, Inc.

    Abstract: Techniques for determining a trajectory for an autonomous vehicle are described herein. In general, determining a route can include utilizing a search algorithm such as Monte Carlo Tree Search (MCTS) to search for possible trajectories, while using temporal logic formulas, such as Linear Temporal Logic (LTL), to validate or reject the possible trajectories. Trajectories can be selected based on various costs and constraints optimized for performance. Determining a trajectory can include determining a current state of the autonomous vehicle, which can include determining static and dynamic symbols in an environment. A context of an environment can be populated with the symbols, features, predicates, and LTL formula. Rabin automata can be based on the LTL formula, and the automata can be used to evaluate various candidate trajectories. Nodes of the MCTS can be generated and actions can be explored based on machine learning implemented as, for example, a deep neural network.

Patent Agency Ranking