Connected and automated road vehicles: state of the art and future challenges
Vehicle System DynamicsPublished 29 March 2020
Tulga Ersal, Ilya Kolmanovsky, Neda Masoud, Necmiye Özay, Jeffrey T. Scruggs, Ram Vasudevan
Citations131
SJR quartileQ1
SJR score1.40
SNIP2.41
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
(2020). Connected and automated road vehicles: state of the art and future challenges. Vehicle System Dynamics: Vol. 58, Connected and Automated Road Vehicles guest edited by: Gabor Orosz and Ilya Kolmanovsky, pp. 672-704.
Keywords
Engineering
Journal of the Association for Information Science and TechnologyThe sharing economy: Why people participate in collaborative consumption
3,278 Citations2015Juho Hamari, Mimmi Sjöklint +1 more
The results show that participation in CC is motivated by many factors such as its sustainability, enjoyment of the activity as well as economic gains, and suggest that in CC an attitude‐behavior gap might exist; people perceive the activity positively and say good things about it, but this good attitude does not necessary translate into action.
IEEE Transactions on Intelligent VehiclesA Survey of Motion Planning and Control Techniques for Self-Driving Urban Vehicles
2,431 Citations2016B. Paden, Michal Čáp +3 more
The objective of this paper is to survey the current state of the art on planning and control algorithms with particular regard to the urban setting and to gain insight into the strengths and limitations of the reviewed approaches.
AutomaticaSet invariance in control
2,314 Citations1999Franco Blanchini
An overview of the literature concerning positively invariant sets and their application to the analysis and synthesis of control systems is provided.
IEEE Transactions on Automatic ControlControl Barrier Function Based Quadratic Programs for Safety Critical Systems
1,978 Citations2016Aaron D. Ames, Xiangru Xu +2 more
This paper develops a methodology that allows safety conditions—expression as control barrier functions—to be unified with performance objectives—expressed as control Lyapunov functions—in the context of real-time optimization-based controllers.
IEEE Transactions on Intelligent Transportation SystemsA Review of Motion Planning Techniques for Automated Vehicles
1,586 Citations2015David González, Joshué Perez +2 more
A review of motion planning techniques implemented in the intelligent vehicles literature, with a description of the technique used by research teams, their contributions in motion planning, and a comparison among these techniques is presented.
Transportation Research Part C Emerging TechnologiesInfluence of connected and autonomous vehicles on traffic flow stability and throughput
1,353 Citations2016Alireza Talebpour, Hani S. Mahmassani
The analysis reveals that connected and autonomous vehicles can improve string stability and automation is found to be more effective in preventing shockwave formation and propagation under the model’s assumptions, suggesting substantial potential throughput increases under certain penetration scenarios.
IEEE Transactions on Control Systems TechnologyPredictive Active Steering Control for Autonomous Vehicle Systems
1,337 Citations2007Paolo Falcone, Francesco Borrelli +3 more
The effectiveness of the proposed MPC formulation is demonstrated by simulation and experimental tests up to 21 m/s on icy roads, and two approaches with different computational complexities are presented.
Applied Mechanics ReviewsNonholonomic Mechanics and Control
1,123 Citations2004AM Bloch, Bernard Brogliato
IEEE Transactions on Intelligent Transportation SystemsCooperative Adaptive Cruise Control in Real Traffic Situations
1,089 Citations2013Vicente Milanés, Steven E Shladover +4 more
The design, development, implementation, and testing of a CACC system, which consists of two controllers, one to manage the approaching maneuver to the leading vehicle and the other to regulate car-following once the vehicle joins the platoon, is presented.
Control barrier function based quadratic programs with application to adaptive cruise control
891 Citations2014Aaron D. Ames, Jessy W. Grizzle +1 more
A control methodology that unifies control barrier functions and control Lyapunov functions through quadratic programs is developed, which allows for the simultaneous achievement of control objectives subject to conditions on the admissible states of the system.
Interdisciplinary applied mathematicsNonholonomic Mechanics and Control
869 Citations2003Anthony M. Bloch
IEEE Transactions on Control Systems TechnologyReal-Time Motion Planning With Applications to Autonomous Urban Driving
869 Citations2009Yoshiaki Kuwata, Sertaç Karaman +4 more
The proposed algorithm was at the core of the planning and control software for Team MIT's entry for the 2007 DARPA Urban Challenge, where the vehicle demonstrated the ability to complete a 60 mile simulated military supply mission, while safely interacting with other autonomous and human driven vehicles.
Anytime Motion Planning using the RRT*
856 Citations2011Sertaç Karaman, Matthew R. Walter +3 more
This paper presents two key extensions to the RRT*, committed trajectories and branch-and-bound tree adaptation, that together enable the algorithm to make more efficient use of computation time online, resulting in an anytime algorithm for real-time implementation.
Transportation Research Part C Emerging TechnologiesAutonomous vehicle perception: The technology of today and tomorrow
832 Citations2018Jessica Van Brummelen, Marie O’Brien +2 more
A comprehensive review of the state-of-the-art AV perception technology available today, which highlights future research areas and draws conclusions about the most effective methods for AV perception and its effect on localization and mapping.
IEEE Transactions on Intelligent Transportation SystemsA Survey on the Coordination of Connected and Automated Vehicles at Intersections and Merging at Highway On-Ramps
774 Citations2016Jackeline Rios-Torres, Andreas A. Malikopoulos
The developments and the research trends in coordination with the CAVs that have been reported in the literature to date are summarized and remaining challenges and potential future research directions are discussed.
IEEE Transactions on Intelligent Transportation SystemsStability and Scalability of Homogeneous Vehicular Platoon: Study on the Influence of Information Flow Topologies
746 Citations2015Yang Zheng, Shengbo Eben Li +3 more
Under linear feedback controllers, a unified internal stability theorem is proved by using the algebraic graph theory and Routh-Hurwitz stability criterion, and the stabilizing thresholds of linear controller gains for platoons are established under a large class of different information flow topologies.
Transportation Research Part C Emerging TechnologiesDissipation of stop-and-go waves via control of autonomous vehicles: Field experiments
734 Citations2018Raphael Stern, Shumo Cui +12 more
It is demonstrated experimentally that intelligent control of an autonomous vehicle is able to dampen stop-and-go waves that can arise even in the absence of geometric or lane changing triggers, suggesting a paradigm shift in traffic management.
IEEE Transactions on Control Systems TechnologyLp String Stability of Cascaded Systems: Application to Vehicle Platooning
657 Citations2014Jeroen Ploeg, Nathan van de Wouw +1 more
A novel definition for string stability of nonlinear cascaded systems is proposed, using input-output properties, and is shown to result in well-known string stability conditions for linear cascading systems.
GAIA - Ecological Perspectives for Science and SocietySharing Economy: A Potential New Pathway to Sustainability
654 Citations2013Harald Heinrichs
Annual Reviews in ControlControl of connected and automated vehicles: State of the art and future challenges
613 Citations2018Jacopo Guanetti, Yeojun Kim +1 more
A control and planning architecture for CAVs is introduced, and the state of the art on each functional block therein is surveyed; the main focus is on techniques to improve energy efficiency.
Annual Reviews in ControlString stability for vehicular platoon control: Definitions and analysis methods
591 Citations2019Shuo Feng, Yi Zhang +4 more
This paper aims to clarify the relationship of ambiguous definitions and various analysis methods, providing a rigorous foundation for future studies on platoon control, and provides insights for practical selection of analyzing methods for vehicle platoons.
IEEE Transactions on Control Systems TechnologyDistributed Model Predictive Control for Heterogeneous Vehicle Platoons Under Unidirectional Topologies
536 Citations2016Yang Zheng, Shengbo Eben Li +3 more
It is proved that asymptotic stability of such a DMPC can be achieved through an explicit sufficient condition on the weights of the cost functions, by using the sum of local cost functions as a Lyapunov candidate.
Lecture notes in computer scienceThe nuXmv Symbolic Model Checker
527 Citations2014Roberto Cavada, Alessandro Cimatti +7 more
The nuXmv symbolic model checker for finite- and infinite-state synchronous transition systems is described, which complements the basic verification techniques of nu Xmv with state-of-the-art verification algorithms.
Transportation Research Part C Emerging TechnologiesEnergy saving potentials of connected and automated vehicles
501 Citations2018Ardalan Vahidi, Antonio Sciarretta
This paper is an attempt to highlight the energy saving potential of connected and automated vehicles based on first principles of motion, optimal control theory, and a review of the vast but scattered eco-driving literature.
Vehicle System DynamicsRecursive least squares with forgetting for online estimation of vehicle mass and road grade: theory and experiments
479 Citations2005Ardalan Vahidi, Anna G. Stefanopoulou +1 more
Lecture notes in computer scienceBreach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
456 Citations2010Alexandre Donzé
Breach is described, a Matlab/C++ toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems to facilitate the computation and the property investigation of large sets of trajectories.
Transportation Research Part C Emerging TechnologiesDynamics of connected vehicle systems with delayed acceleration feedback
449 Citations2014Jin I. Ge, Gábor Orosz
It is shown that inserting a few CCC vehicles with appropriately designed gains and delays into the flow, one can stabilize otherwise string unstable vehicle platoons and provide robust performance and remains scalable for large systems of connected vehicles.
IEEE Transactions on Intelligent Transportation SystemsController Synthesis for String Stability of Vehicle Platoons
445 Citations2014Jeroen Ploeg, Dipan P. Shukla +2 more
A controller design method is developed that allows for explicit inclusion of the string stability requirement in the controller synthesis specifications, and L2 string-stable platooning strategies are obtained in both cases, revealing that the two-vehicle look-ahead topology is particularly effective at a larger communication delay.
IEEE Transactions on Control Systems TechnologyModel Predictive Control for Vehicle Stabilization at the Limits of Handling
437 Citations2012Craig E. Beal, J. Christian Gerdes
This paper presents an approach to vehicle stabilization that leverages estimates to define state boundaries that exclude unstable vehicle dynamics and utilizes a model predictive envelope controller to bound the vehicle motion within this stable region of the state space.
Lecture notes in computer scienceS-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
431 Citations2011Yashwanth Annpureddy, Che Liu +2 more
S-TaLiRo is a Matlab toolbox that searches for trajectories of minimal robustness in Simulink/Stateflow diagrams using randomized testing based on stochastic optimization techniques including Monte-Carlo methods and Ant-Colony Optimization.
IEEE Transactions on Control Systems TechnologyCooperative Look-Ahead Control for Fuel-Efficient and Safe Heavy-Duty Vehicle Platooning
412 Citations2016Valerio Turri, Bart Besselink +1 more
A two-layer control architecture for heavy-duty vehicle platooning aimed to safely and fuel-efficiently coordinate the vehicles in the platoon is proposed and a distributed model predictive control framework is developed for the real-time control of the vehicles.
IEEE Transactions on Intelligent Transportation SystemsCooperative Adaptive Cruise Control: Network-Aware Analysis of String Stability
409 Citations2014Sinan Öncü, Jeroen Ploeg +2 more
This paper approaches the design of a CACC system from a Networked Control System (NCS) perspective and presents an NCS modeling framework that incorporates the effect of sampling, hold, and network delays that occur due to wireless communication and sampled-data implementation of the CACC controller over this wireless link.
IEEE Transactions on RoboticsOnline Verification of Automated Road Vehicles Using Reachability Analysis
389 Citations2014Matthias Althoff, John M. Dolan
An approach for formally verifying the safety of automated vehicles is proposed, which applies reachability analysis to consider all possible behaviors of mathematical models considering uncertain inputs and partially unknown initial states.
AutomaticaA decentralized energy-optimal control framework for connected automated vehicles at signal-free intersections
382 Citations2018Andreas A. Malikopoulos, Christos G. Cassandras +1 more
The solution of the throughput maximization problem depends only on the hard safety constraints imposed on CAVs and its structure enables a decentralized optimal control problem formulation for energy minimization, which shows substantial dual benefits of the proposed decentralized framework.
IEEE Control SystemsHeavy-Duty Vehicle Platooning for Sustainable Freight Transportation: A Cooperative Method to Enhance Safety and Efficiency
380 Citations2015Assad Alam, Bart Besselink +3 more
IEEE Transactions on Intelligent Transportation SystemsDesign, Analysis, and Experiments of Preview Path Tracking Control for Autonomous Vehicles
377 Citations2019Shaobing Xu, Huei Peng
The experimental and simulation results are presented to demonstrate the improved performance in tracking accuracy, steering smoothness, and computational efficiency compared to the MPC and the full-state feedback control.
Vehicle System DynamicsMPC-based yaw and lateral stabilisation via active front steering and braking
376 Citations2008Paolo Falcone, H. Eric Tseng +3 more
A path following Model Predictive Control-based (MPC) scheme utilising steering and braking to track a desired path for obstacle avoidance manoeuvre, by a combined use of braking and steering.
IEEE Transactions on Automatic ControlString Stability and a Delay-Based Spacing Policy for Vehicle Platoons Subject to Disturbances
361 Citations2017Bart Besselink, Karl Henrik Johansson
A control design approach in the spatial domain is presented that achieves tracking of the desired spacing policy and guarantees disturbance string stability with respect to a spatially varying reference velocity.
Transportation Research Record Journal of the Transportation Research BoardCooperative Adaptive Cruise Control
360 Citations2015Steven E Shladover, Christopher Nowakowski +2 more
Motion planning for autonomous driving with a conformal spatiotemporal lattice
357 Citations2011Matthew McNaughton, Chris Urmson +2 more
A search space representation is presented that allows the search algorithm to systematically and efficiently explore both spatial and temporal dimensions in real time and allows the low-level trajectory planner to assume greater responsibility in planning to follow a leading vehicle, perform lane changes, and merge between other vehicles.
Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering SciencesAutonomous driving in urban environments: approaches, lessons and challenges
351 Citations2010Mark Campbell, Magnus Egerstedt +2 more
The paper briefly summarizes the approaches that different teams used in the 2007 DARPA Urban Challenge, with the goal of describing some of the challenges that the teams faced in driving in urban environments.
Physical Review EEffect of adaptive cruise control systems on traffic flow
282 Citations2004L.C. Davis
The flow of traffic composed of vehicles that are equipped with adaptive cruise control (ACC) is studied using simulations and a state closely related to the synchronized flow phase found in manually driven vehicular traffic has been observed.
Vehicle System DynamicsConnected cruise control: modelling, delay effects, and nonlinear behaviour
256 Citations2016Gábor Orosz
Transportation Research Part C Emerging TechnologiesRolling horizon control framework for driver assistance systems. Part II: Cooperative sensing and cooperative control
248 Citations2014Meng Wang, Winnie Daamen +2 more
The dynamic characteristics of the proposed controllers provide new insights into the potential impact of cooperative systems on traffic flow operations, particularly at the congestion head and tail.
Cambridge University Press eBooksAutomotive Control Systems
238 Citations2012A. Galip Ulsoy, Huei Peng +1 more
Ground Vehicle Dynamics
226 Citations2010Karl Popp, Werner Schiehlen
System Definition and Modeling, Models for Support and Guidance Systems, and Guideway Models for Vehicle-Guideway-Systems are described.
IEEE Transactions on Intelligent Transportation SystemsMotif-Based Design for Connected Vehicle Systems in Presence of Heterogeneous Connectivity Structures and Time Delays
221 Citations2016Linjun Zhang, Gábor Orosz
The results demonstrate the advantages of C CC vehicles in improving traffic efficiency, but also show that increasing the penetration of CCC vehicles does not necessarily improve the robustness if the connectivity structure or the control gains are not appropriately designed.
Predictive Control of Autonomous Ground Vehicles With Obstacle Avoidance on Slippery Roads
212 Citations2010Yiqi Gao, Theresa Lin +3 more
Two frameworks based on Model Predictive Control for obstacle avoidance with autonomous vehicles are presented and the design and comparison of both approaches, the method for implementing them, and successful experimental results on icy roads are presented.
Journal of Field RoboticsState space sampling of feasible motions for high‐performance mobile robot navigation in complex environments
207 Citations2008Thomas M. Howard, Colin J. Green +2 more
An effective algorithm for state space sampling utilizing a model‐based trajectory generation approach is presented that enables high‐speed navigation in highly constrained and/or partially known environments such as trails, roadways, and dense off‐road obstacle fields.
SCOTS
199 Citations2016Matthias Rungger, Majid Zamani
SCOTS a software tool for the automatic controller synthesis for nonlinear control systems based on symbolic models, also known as discrete abstractions, which natively provides algorithms to synthesize controllers with respect to invariance and reachability specifications.
Transportation Research Part C Emerging TechnologiesExperimental validation of connected automated vehicle design among human-driven vehicles
191 Citations2018Jin I. Ge, Sergei S. Avedisov +4 more
It is demonstrated that both safety and energy efficiency can be significantly improved for theconnected automated vehicle as well as for the neighboring human-driven vehicles and that the connected automated vehicle may bring additional societal benefits by mitigating traffic waves.
IEEE Transactions on Automation Science and EngineeringCorrectness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control
186 Citations2017Xiangru Xu, Jessy W. Grizzle +2 more
This paper develops a control approach with correctness guarantees for the simultaneous operation of lane keeping and adaptive cruise control, and employs an assume-guarantee formalism between these two subsystems, such that they can be considered individually.
IEEE Transactions on Intelligent Transportation SystemsCooperative Car-Following Control: Distributed Algorithm and Impact on Moving Jam Features
174 Citations2015Meng Wang, Winnie Daamen +2 more
The simulation shows that the proposed decentralized CFC and distributed C-CFC algorithms are implementable in microscopic simulations, and the assessment reveals that C FC and C- CFC systems change moving jam characteristics substantially.
Powertrain control verification benchmark
174 Citations2014Xiaoqing Jin, Jyotirmoy V. Deshmukh +3 more
This work presents three models of a fuel control system, each with a unique level of complexity, along with representative requirements in signal temporal logic (STL), and provides results obtained by applying a state of the art analysis tool to them.
IEEE Transactions on Control Systems TechnologyCorrect-by-Construction Adaptive Cruise Control: Two Approaches
157 Citations2015Petter Nilsson, Omar Hussien +7 more
Two different control software synthesis methods for adaptive cruise control are discussed, each of which produces a controller that is correct-by-construction, meaning that trajectories of the closed-loop systems provably meet the specification.
Lecture notes in computer sciencePESSOA: A Tool for Embedded Controller Synthesis
152 Citations2010Manuel Mazo, Anna Davitian +1 more
Pessoa is presented, a tool for the synthesis of correct-by-design embedded control software that relies on recent results on approximate abstractions of control systems to reduceThe synthesis of control software to the synthesisation of reactive controllers for finite-state models.
IEEE Transactions on Vehicular TechnologyRobust Multirate Control Scheme With Predictive Virtual Lanes for Lane-Keeping System of Autonomous Highway Driving
142 Citations2014Young Seop Son, Wonhee Kim +2 more
A new approach for a robust multirate lane-keeping control scheme with predictive virtual lanes, and a virtual lane prediction method that compensates for the momentary failure of lane detection from unexpected problems.
Stabilizing Traffic with Autonomous Vehicles
133 Citations2018Cathy Wu, Alexandre M. Bayen +1 more
This article introduces two conditions which simultaneously stabilize traffic while imposing a safety constraint on the autonomous vehicle and limiting degradation of performance, and formalizes the problem in terms of linear string stability, derive optimality conditions from frequency-domain analysis, and pose the resulting nonlinear optimization problem.
Transportation Research Board 94th Annual MeetingCOOPERATIVE ADAPTIVE CRUISE CONTROL (CACC) DEFINITIONS AND OPERATING CONCEPTS
133 Citations2015Steven E Shladover, Christopher Nowakowski +2 more
Some of the challenges that must be overcome to implement the clustering strategies, and strategies for separating CACC clusters as they approach their destinations, are discussed, since potential traffic improvements from CACC will be negated if the vehicles cannot disperse effectively.
IEEE Transactions on Vehicular TechnologyCombined Speed and Steering Control in High-Speed Autonomous Ground Vehicles for Obstacle Avoidance Using Model Predictive Control
130 Citations2017Jiechao Liu, Paramsothy Jayakumar +2 more
Simulation results show that the proposed algorithm is capable of safely exploiting the dynamic limits of the vehicle while navigating the vehicle through sensed obstacles of different sizes and numbers and can significantly improve performance by allowing navigation of obstacle fields that would otherwise not be cleared with steering control alone.
Focused Trajectory Planning for autonomous on-road driving
127 Citations2013Tianyu Gu, Jarrod Snider +2 more
A novel two-step motion planning system that addresses both urban and highway driving in a single framework is proposed that retains most of the performance advantages of an exhaustive spatiotemporal planner while significantly reducing computation.
Online vehicle mass estimation using recursive least squares and supervisory data extraction
126 Citations2008Hosam K. Fathy, Dongsoo Kang +1 more
An algorithm is proposed that builds on the simple idea, inspired by perturbation theory, that inertial dynamics dominate vehicle motion over certain types of maneuvers and feeds the resulting filtered data into a recursive least squares-based mass estimator and conservative mass error estimator.
Vehicle Dynamics
118 Citations2014Dieter Schramm, Manfred Hiller +1 more
IEEE Transactions on Intelligent Transportation SystemsSemiautonomous Vehicular Control Using Driver Modeling
117 Citations2014Victor Shia, Yiqi Gao +5 more
This paper describes a real-time semiautonomous system that utilizes empirical observations of a driver's pose to inform an autonomous controller that corrects aDriver's input when possible in a safe manner and measures the performance using several metrics that evaluate the informativeness of the prediction and the utility of the intervention procedure.
Vehicle System DynamicsAnalysis of Automatic Steering Control for Highway Vehicles with Look-down Lateral Reference Systems
114 Citations1996Jürgen Guldner, Han-Shue Tan +1 more
Journal of Dynamic Systems Measurement and ControlLyapunov Based Performance Guarantees for the Potential Field Lane-keeping Assistance System
103 Citations2005Eric J. Rossetter, J. Christian Gerdes
This paper develops such a controller and demonstrates that with appropriate choice of a preview or look-ahead distance, the lateral and yaw dynamics effectively decouple, enabling a tight energy-based bound on lateral error.
Lecture notes in computer scienceOn-Road Motion Planning for Autonomous Vehicles
99 Citations2012Tianyu Gu, John M. Dolan
A computationally efficient planner which handles dynamic environments generically and greatly reduces the search space for autonomous on-road driving, especially on highways is presented.
IEEE Transactions on Intelligent VehiclesString Stable Model Predictive Cooperative Adaptive Cruise Control for Heterogeneous Platoons
96 Citations2019Ellen van Nunen, Joey Reinders +2 more
A model predictive control approach in combination with a feed-forward control design, which is based on a shared vector of predicted accelerations over a finite time horizon, is shown to be applicable to a heterogeneous sequence of vehicles, while the vehicle parameters remain confidential.
Transportation Research Part C Emerging TechnologiesBehaviorally stable vehicle platooning for energy savings
89 Citations2019Xiaotong Sun, Yafeng Yin
This study investigates optimal platoon formation to maximize the platooning benefit and then determines a mechanism to redistribute the benefit to incentivize vehicles to form and maintain the desired platoon formation.
IEEE Transactions on Intelligent Transportation SystemsFuel-Optimal Cruising Strategy for Road Vehicles With Step-Gear Mechanical Transmission
88 Citations2015Shaobing Xu, Shengbo Eben Li +3 more
A near-optimal practical rule that enables a driver and/or an automatic control system to fast select gear positions and engine torque profile is proposed with only slightly deteriorated fuel saving.
IEEE Transactions on Intelligent Transportation SystemsApplication of Predictor Feedback to Compensate Time Delays in Connected Cruise Control
80 Citations2017Tamás G. Molnár, Wubing B. Qin +2 more
This paper proposes two predictor feedback control strategies that overcome the destabilizing effect of the time delay caused by the sample-and-hold unit and packet losses and determines the minimum achievable time gap below which stability cannot be achieved.
Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox
80 Citations2016Ioannis Filippidis, Sumanth Dathathri +3 more
This tutorial describes TuLiP, the Temporal Logic Planning toolbox, a collection of tools for designing controllers for hybrid systems from specifications in temporal logic, organized into specification frontends and backends that implement algorithms for abstraction, solving games, and interfaces to other tools.
Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules
80 Citations2017Christian Pek, Peter Zahn +1 more
This work presents a novel approach for verifying the safety of lane change maneuvers, using formalized traffic rules according to the Vienna Convention on Road Traffic, which allows it to provide additional guarantees that if a collision occurs, the self-driving vehicle is not responsible.
SAE technical papers on CD-ROM/SAE technical paper seriesVehicle Driveability Assessment using Neural Networks for Development, Calibration and Quality Tests
73 Citations2000Peter Schoeggl, Erich Ramschak
Journal of Computational and Nonlinear DynamicsFuel Consumption Optimization of Heavy-Duty Vehicles With Grade, Wind, and Traffic Information
68 Citations2016Chaozhe R. He, Helmut Maurer +1 more
A mathematical framework is established that allows to optimize the speed profile and select the optimal gears for heavy-duty vehicles (HDVs) traveling on highways while varying parameters and enables real-time optimization in dynamic traffic conditions.
Transportation Research Part E Logistics and Transportation ReviewAutonomous or driver-less vehicles: Implementation strategies and operational concerns
65 Citations2017Neda Masoud, R. Jayakrishnan
IEEE Transactions on Control Systems TechnologyReal-Time Control for Autonomous Racing Based on Viability Theory
64 Citations2017Alexander Liniger, John Lygeros
Both simulation and experimental results suggest that the more conservative approximation using the discriminating kernel results in safer driving style at the cost of a small increase in lap time.
1Traffic Network Control from Temporal Logic Specifications
62 Citations2016Samuel Coogan, Ebru Aydın Göl +2 more
IEEE Transactions on Control Systems TechnologyExperimental Validation of String Stability for Connected Vehicles Subject to Information Delay
59 Citations2020Wubing B. Qin, Gábor Orosz
It is demonstrated that by designing a controller for each individual vehicle in the chain plant stability and string stability can be guaranteed despite the time delays in the control loop, the results lay a foundation for connected vehicle system design with flexible connectivity topologies.
IEEE Transactions on Control of Network SystemsTraffic Network Control From Temporal Logic Specifications
51 Citations2015Samuel Coogan, Ebru Aydin Gol +2 more
A correct-by-construction controller is obtained that is guaranteed to satisfy complex specifications using techniques from model checking and formal methods and structural properties particular to traffic networks that allow for efficient computation of a finite-state abstraction.
Proceedings of the IEEEControl, Computing and Communications: Technologies for the Twenty-First Century Model T
51 Citations2007J.A. Cook, Ilya Kolmanovsky +3 more
Advances in control for safety, fuel economy and reduction of tailpipe emissions, and new directions in computing, communication and software are reviewed, including the interaction of the automobile with consumer electronic devices and the intelligent transportation infrastructure.
Sequential optimization of speed, thermal load, and power split in connected HEVs
50 Citations2019Mohammad Reza Amini, Xun Gong +4 more
A sequential optimization solution for eco-driving speed trajectory planning, air conditioning (A/C) thermal load planning (eco-cooling), and powertrain control in hybrid electric CAVs to evaluate the individual as well as the collective energy savings through proactive usage of traffic data for vehicle speed prediction is presented.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsUsing Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving
48 Citations2018Glen Chou, Yunus Emre Sahin +4 more
This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification to find interesting falsifying trajectories for classical control designs like proportional controllers, proportional integral controllers and model predictive controllers as well as an open source real-world autonomous driving package.
Moving obstacle avoidance for large, high-speed autonomous ground vehicles
48 Citations2017Huckleberry Febbo, Jiechao Liu +3 more
Results indicate that the hard constraints approach outperforms the soft constraints approach both in terms of obstacle avoidance performance and optimization time.
MechatronicsDevelopment and model-based transparency analysis of an Internet-distributed hardware-in-the-loop simulation platform
48 Citations2010Tulga Ersal, Mark Brudnak +4 more
It is found that different signals in the system can exhibit different levels of transparency, and an observer-free solution is feasible for integrating the two pieces of hardware over the Internet in a transparent manner, even if the nominal delay is increased by four times.
Interdependence quantification for compositional control synthesis with an application in vehicle safety systems
44 Citations2016Stanley W. Smith, Petter Nilsson +1 more
This paper proposes a method for synthesis of controlled invariant sets and associated controllers, that is robust against affine parametric uncertainties in the system matrices, and demonstrates how controllers for lane-keeping and adaptive cruise control can be synthesized in a compositional way using this method.
IEEE/ASME Transactions on MechatronicsA Predictor-Based Framework for Delay Compensation in Networked Closed-Loop Systems
43 Citations2018Yingshi Zheng, Mark Brudnak +3 more
In this paper, the predictor structure is extended to the varying delay case and its stability is established for the first time for varying delays in a sufficient but not very conservative range by leveraging a Markov chain based approach from the literature.
Transportation Research Record Journal of the Transportation Research BoardPeer-to-Peer Ridesharing with Ride-Back on High-Occupancy-Vehicle Lanes: Toward a Practical Alternative Mode for Daily Commuting
40 Citations2017Roger Lloret-Batlle, Neda Masoud +1 more
A matching and pricing mechanism for a peer-to-peer ridesharing system that ensures a ride-back for matched riders is presented as an alternative to driving alone for daily commuting and has a revenue surplus over most of the reserve-price parameter space.
IEEE Control SystemsFormal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models
37 Citations2017Samuel Coogan, Murat Arcak +1 more
This work states that the next generation of transportation systems will include connected vehicles, connected infrastructure, and increased automation, and these advances must coexist with legacy technology into the foreseeable future.
Control Engineering PracticeHardware-in-the-loop validation of a power management strategy for hybrid powertrains
35 Citations2014Youngki Kim, Ashwin Salvi +4 more
Transportation Research Record Journal of the Transportation Research BoardCar2work: Shared Mobility Concept to Connect Commuters with Workplaces
35 Citations2016Robert Regué, Neda Masoud +1 more
Automated driving: Safe motion planning using positively invariant sets
34 Citations2017Karl Berntorp, Avishai Weiss +3 more
An autonomous highway-driving example with a receding-horizon implementation shows that the method developed is capable of generating safe dynamically feasible trajectories in real-time while accounting for obstacles in the environment and modeling errors.
Formal methods for semi-autonomous driving
34 Citations2015Sanjit A. Seshia, Dorsa Sadigh +1 more
An overview of the main challenges in the specification, design, and verification of human cyber-physical systems, with a special focus on semi-autonomous vehicles, is given.
IEEE Transactions on Vehicular TechnologyInternet-Distributed Vehicle-in-the-Loop Simulation for HEVs
30 Citations2018Yi Zhang, Shuai Lu +2 more
The proposed ID-VIL configuration makes it possible that the EV which does not contain any hybrid powertrain can simulate the output of an HEV's power system, meanwhile the subsystems of HEV that are actually deployed on HIL platforms can work just the same as on board.
Mechanical EngineeringSeeing Beyond the Line of Site – Controlling Connected Automated Vehicles
29 Citations2017Gábor Orosz, Jin I. Ge +4 more
Journal of Dynamic Systems Measurement and ControlAn Iterative Learning Control Approach to Improving Fidelity in Internet-Distributed Hardware-in-the-Loop Simulation
24 Citations2014Tulga Ersal, Mark Brudnak +4 more
The development of an iterative learning control based approach to improve fidelity of networked system integration by proposing a new metric for characterizing fidelity, which does not require knowledge about the reference dynamics.
Safety Guaranteed Connected Cruise Control
24 Citations2018Chaozhe R. He, Gábor Orosz
A connected cruise controller with safety guarantees using a control safety function in order to guarantee the safety of a given control law and establishing the notion of safety chart to graphically represent the safe combinations of control parameters.
IEEE Transactions on Control Systems TechnologyOptimal Gear Shift Schedule Design for Automated Vehicles: Hybrid System Based Analytical Approach
24 Citations2017Chaozhe R. He, Wubing B. Qin +2 more
A systematic design framework for gear shift schedule using hybrid system theory primarily intended for automated vehicles is presented and the resulting dynamics is proven to be stable in the presence of constraints.
The International Journal of Robotics ResearchBridging the gap between safety and real-time performance in receding-horizon trajectory design for mobile robots
24 Citations2020Shreyas Kousik, Sean Vaskov +3 more
The Reachability-based Trajectory Design (RTD) method for trajectory planning is presented, which is safe and persistently feasible across thousands of simulations and dozens of real-world hardware demos.
…