Heavy-duty vehicle platooning for sustainable freight transportation: A cooperative method to enhance safety and efficiency, IEEE Control Systems, vol.35, issue.6, pp.34-56, 2015. ,
Set-based computation of vehicle behaviors for the online verification of autonomous vehicles, 14th International IEEE Conference on Intelligent Transportation Systems (ITSC), pp.1162-1167, 2011. ,
Online verification of automated road vehicles using reachability analysis, IEEE Transactions on Robotics, vol.30, issue.4, pp.903-918, 2014. ,
Implementation of interval arithmetic in {CORA} 2016, Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, 2016. ,
, Control barrier functions: Theory and applications, 2019.
Control barrier function based quadratic programs with application to adaptive cruise control, 53rd IEEE Conference on Decision and Control, pp.6271-6278, 2014. ,
A differentially private ensemble kalman filter for road traffic estimation, 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp.6409-6413, 2017. ,
Resurrection of second order models of traffic flow, SIAM J. Appl. Math, vol.60, pp.916-944, 2000. ,
Dynamical model of traffic congestion and numerical simulation, Physical Review E, vol.51, issue.2, pp.1035-1042, 1995. ,
Highway traffic state estimation with mixed connected and conventional vehicles using speed measurements, Proceedings of the IEEE International Conference on Intelligent Transportation Systems, pp.2806-2811, 2015. ,
Highway traffic state estimation with mixed connected and conventional vehicles, IEEE Transactions on Intelligent Transportation Systems, vol.99, pp.1-14, 2016. ,
An overview of systems studies of automated highway systems, IEEE Transactions on Vehicular Technology, vol.40, issue.1, pp.82-99, 1991. ,
String stability and a delay-based spacing policy for vehicle platoons subject to disturbances, IEEE Transactions on Automatic Control, 2017. ,
Dissipation of emergent traffic waves in stop-and-go traffic using a supervisory controller, 57th IEEE Conference on Decision and Control, vol.57, 2018. ,
On sequential data assimilation for scalar macroscopic traffic flow models, Physica D: Nonlinear Phenomena, vol.241, issue.17, pp.1421-1440, 2012. ,
Analysis of traffic flow with mixed manual and semiautomated vehicles, IEEE Transactions on Intelligent Transportation Systems, vol.4, issue.4, pp.173-188, 2003. ,
Car-following : a historical review, Transportation Research Part F: Traffic Psychology and Behaviour, vol.2, issue.4, pp.181-196, 1999. ,
The DARPA urban challenge: autonomous vehicles in city traffic, vol.56, 2009. ,
Traffic Dynamics: Studies in Car Following, Operations Research, vol.6, issue.2, pp.165-184, 1958. ,
Obstacle avoidance for low-speed autonomous vehicles with barrier function, IEEE Transactions on Control Systems Technology, vol.26, issue.1, pp.194-206, 2017. ,
Traffic circles and timing of traffic lights for cars flow, Discrete and Continuous Dynamical Systems-Series B, vol.5, issue.3, pp.599-630, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-02320776
Traffic Flow on a Road Network, SIAM Journal on Mathematical Analysis, vol.36, issue.6, pp.1862-1886, 2005. ,
A well posed conservation law with a variable unilateral constraint, J. Differential Equations, vol.234, issue.2, pp.654-675, 2007. ,
A Hölder continuous ODE related to traffic flow, Proc. Roy. Soc. Edinburgh Sect. A, vol.133, issue.4, pp.759-772, 2003. ,
Quality of traffic observability on highways with lagrangian sensors, IEEE Transactions on Automation Science and Engineering, 2017. ,
Parameter identification for a traffic flow model, Automatica, vol.17, issue.6, pp.837-843, 1981. ,
Moving bottlenecks: A numerical method that converges in flows, Transportation Research Part B, vol.39, pp.855-863, 2004. ,
On the numerical treatement of moving bottlenecks, Transportation Research Part B, vol.39, pp.31-46, 2005. ,
The cell transmission model: A dynamic representation of highway traffic consistent with the hydrodynamic theory, Transportation Research Part B: Methodological, vol.28, issue.4, pp.269-287, 1994. ,
The cell transmission model, part II: network traffic, Transportation Research Part B: Methodological, vol.29, issue.2, pp.79-93, 1995. ,
Intelligent cruise control systems and traffic flow stability, Transportation Research Part C: Emerging Technologies, vol.7, issue.6, pp.329-352, 1999. ,
Effect of adaptive cruise control systems on traffic flow, Physical Review E, vol.69, issue.6, p.66110, 2004. ,
Traffic estimation and prediction based on real time floating car data, Proceedings of the IEEE Conference on Intelligent Transportation Systems, pp.197-203, 2008. ,
Macroscopic traffic flow modeling with adaptive cruise control: Development and numerical solution, Computers & Mathematics with Applications, vol.70, issue.8, pp.1921-1947, 2015. ,
Simulation of the penetration rate effects of acc and cacc on macroscopic traffic dynamics, Proceedings of the 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), pp.336-341, 2016. ,
Scalar conservation laws with moving constraints arising in traffic flow modeling: An existence result, Journal of Differential Equations, vol.257, issue.11, pp.4015-4029, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00976855
Traffic reconstruction using autonomous vehicles, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01882309
A PDE-ODE Model for a Junction with Ramp Buffer, SIAM Journal on Applied Mathematics, vol.74, issue.1, pp.22-39, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00786002
Overview and analysis of vehicle automation and communication systems from a motorway traffic management perspective, Transportation Research Part A: Policy and Practice, vol.75, pp.147-165, 2015. ,
Efficient and collision-free anticipative cruise control in randomly mixed strings, IEEE Transactions on Intelligent Vehicles, vol.3, issue.4, pp.439-452, 2018. ,
Automated highway studies at the Ohio State University-an overview, IEEE transactions on Vehicular Technology, vol.40, issue.1, pp.100-113, 1991. ,
Freeway traffic modelling and control, 2018. ,
Ordinary differential equations with discontinuous right-hand sides, vol.30, 1994. ,
Self-sustained nonlinear waves in traffic flow, Phys. Rev. E, vol.79, issue.5, p.56113, 2009. ,
Planning, fast and slow: A framework for adaptive real-time safe trajectory planning, 2018 IEEE International Conference on Robotics and Automation (ICRA), pp.387-394, 2018. ,
The Cauchy problem at a node with buffer, Discrete and Continuous Dynamical Systems -Series A, vol.32, issue.6, pp.1915-1938, 2012. ,
URL : https://hal.archives-ouvertes.fr/inria-00556954
Traffic Flow on a Road Network Using the Aw-Rascle Model, Communications in Partial Differential Equations, vol.31, pp.243-275, 2006. ,
Traffic flow on networks, vol.1, 2006. ,
Annales de l'Institut Henri Poincare (C) Analyse Non Lineaire, vol.26, pp.1925-1951, 2009. ,
Vehicular traffic flow dynamics on a bus route, Multiscale Model. Simul, vol.11, issue.3, pp.925-942, 2013. ,
On-line estimation of traffic densities from time-series of flow and speed data, Transportation Science, vol.5, issue.3, pp.283-301, 1971. ,
Prise en compte des transports en commun de surface dans la modélisation macroscopique de l'écoulement du trafic, 2002. ,
A traffic flow model for urban traffic analysis: extensions of the LWR model for urban and environmental applications, Proceeding of the 15th International Symposium on Transportation and Traffic Theory, pp.393-416, 2002. ,
A difference method for the numerical calculation of discontinuous solutions of hydrodynamic equations, Mathematics Sbornik, vol.47, issue.3, pp.271-306, 1959. ,
A study of traffic capacity, Proc. Highway Res. Bd, vol.14, p.448, 1935. ,
, Are commercially implemented adaptive cruise control systems string stable? arXiv preprint, 2019.
A model based approach to determine string stability of adaptive cruise control systems using field data, 2019. ,
Freeway capacity drop and the definition of capacity, Transportation research record, issue.1320, 1991. ,
Variable speed limit control at fixed freeway bottlenecks using connected vehicles, Transportation Research Part B: Methodological, vol.98, pp.113-134, 2017. ,
Model predictive control for optimal coordination of ramp metering and variable speed limits, Transportation Research Part C: Emerging Technologies, vol.13, issue.3, pp.185-209, 2005. ,
Fastrack: A modular framework for fast and guaranteed safe motion planning, 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pp.1517-1522, 2017. ,
Incorporation of lagrangian measurements in freeway traffic state estimation, Transportation Research Part B: Methodological, vol.44, issue.4, pp.460-481, 2010. ,
Evaluation of traffic data obtained via GPS-enabled mobile phones: the Mobile Century experiment, Transportation Research Part C: Emerging Technologies, vol.18, issue.4, pp.568-583, 2010. ,
Modeling, Simulation, and Optimization of Traffic Flow Networks, SIAM Journal on Scientific Computing, vol.25, issue.3, pp.1066-1087, 2003. ,
A Mathematical Model of Traffic Flow on a Network of Unidirectional Roads, SIAM Journal on Mathematical Analysis, vol.26, issue.4, pp.999-1017, 1995. ,
Automated highway systems, 2013. ,
Intelligent cruise control: theory and experiment, Proceedings of the 32nd IEEE Conference on Decision and Control, pp.1885-1890, 1993. ,
Autonomous intelligent cruise control, IEEE Transactions on Vehicular technology, vol.42, issue.4, pp.657-672, 1993. ,
A stochastic model of traffic flow: Gaussian approximation and estimation, Transportation Research Part B: Methodological, vol.47, pp.15-41, 2013. ,
Connected cruise control among human-driven vehicles: Experiment-based parameter estimation and optimal control design, Transportation Research Part C: Emerging Technologies, vol.95, pp.445-459, 2018. ,
On the ill-posedness of certain vehicular platoon control problems, IEEE Transactions on Automatic Control, vol.50, issue.9, pp.1307-1321, 2005. ,
Enhanced intelligent driver model to access the impact of driving strategies on traffic capacity, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.368, pp.4585-4605, 1928. ,
Variable speed limit: A microscopic analysis in a connected vehicle environment, Transportation Research Part C: Emerging Technologies, vol.58, pp.146-159, 2015. ,
Platoon of sae level-2 automated vehicles on public roads: Setup, traffic interactions, and stability, Transportation Research Record, 2019. ,
Bridging the gap between safety and real-time performance in receding-horizon trajectory design for mobile robots, 2018. ,
Set-valued estimation of freeway traffic density, IFAC Proceedings Volumes, vol.42, pp.271-277, 2009. ,
Guaranteed prediction and estimation of the state of a road network, Transportation research part C: emerging technologies, vol.21, pp.163-180, 2012. ,
Moving Bottlenecks in Car Traffic Flow: A PDE-ODE Coupled Model, SIAM Journal on Mathematical Analysis, vol.43, issue.1, pp.50-67, 2011. ,
Moving bottlenecks in car traffic flow: a PDE-ODE coupled model, SIAM J. Math. Anal, vol.43, issue.1, pp.50-67, 2011. ,
Introducing buses into first-order macroscopic traffic flow models, Transportation Reasearch Record, vol.1644, pp.70-79, 1998. ,
A multiclass cell transmission model for shared human and autonomous vehicle roads, Transportation Research Part C: Emerging Technologies, vol.62, pp.103-116, 2016. ,
On the optimal error regulation of a string of moving vehicles, IEEE Transactions on Automatic Control, vol.11, issue.3, pp.355-361, 1966. ,
Modeling of traffic flow of automated vehicles, IEEE Transactions on Intelligent Transportation Systems, vol.5, issue.2, pp.99-113, 2004. ,
Optimal adaptive cruise control with guaranteed string stability, Vehicle System Dynamics, vol.32, issue.4-5, pp.313-330, 1999. ,
On Kinematic Waves. II. A Theory of Traffic Flow on Long Crowded Roads, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.229, pp.317-345, 1178. ,
Real-time control for autonomous racing based on viability theory, IEEE Transactions on Control Systems Technology, issue.99, pp.1-15, 2017. ,
Robust online motion planning with regions of finite time invariance, Algorithmic Foundations of Robotics X, pp.543-558, 2013. ,
Funnel libraries for real-time robust feedback motion planning. The International, Journal of Robotics Research, vol.36, issue.8, pp.947-982, 2017. ,
A Fluid Dynamic Model for T -Junctions, SIAM Journal on Mathematical Analysis, vol.39, issue.6, pp.2016-2032, 2008. ,
String instability in classes of linear time invariant formation control with limited communication range, IEEE Transactions on Automatic Control, vol.55, issue.7, pp.1519-1530, 2010. ,
A particle filter for freeway traffic estimation, Proceedings of the IEEE Conference on Decision and Control, pp.2106-2111, 2004. ,
An unscented Kalman filter for freeway traffic estimation, Proceedings of the 11th IFAC Symposium on Control in Transportation Systems, pp.31-36, 2006. ,
Freeway traffic estimation within particle filtering framework. Automatica, vol.43, pp.290-300, 2007. ,
Parallelized particle and Gaussian sum particle filters for large-scale freeway traffic systems, IEEE Transactions on Intelligent Transportation Systems, vol.13, issue.1, pp.36-48, 2012. ,
Cooperative adaptive cruise control in real traffic situations, IEEE Transactions on Intelligent Transportation Systems, vol.15, issue.1, pp.296-305, 2014. ,
L 2 and L ? stability analysis of heterogeneous traffic with application to parameter optimization for the control of automated vehicles, IEEE Transactions on Control Systems Technology, 2018. ,
Highway traffic model-based density estimation, Proceedings of the American Control Conference, vol.3, pp.2012-2017, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00581801
Piecewise-linearized cell transmission model and parameter calibration methodology, Transportation Research Record, pp.183-191, 1965. ,
String-stable CACC design and experimental validation: A frequency-domain approach, IEEE Transactions on Vehicular Technology, vol.59, issue.9, pp.4268-4279, 2010. ,
Application of gas-kinetic theory to modelling mixed traffic of manual and ACC vehicles, Transportmetrica, vol.8, issue.1, pp.43-60, 2012. ,
Instability of cooperative adaptive cruise control traffic flow: a macroscopic approach, Communications in Nonlinear Science and Numerical Simulation, vol.18, issue.10, pp.2838-2851, 2013. ,
Correct-by-construction adaptive cruise control: Two approaches, IEEE Transactions on Control Systems Technology, vol.24, issue.4, pp.1294-1307, 2015. ,
Bifurcations and multiple traffic jams in a car-following model with reaction-time delay, Physica D: Nonlinear Phenomena, vol.211, issue.3-4, pp.277-293, 2005. ,
Applications of Automatic Control Concepts to Traffic Flow Modeling and Control, 1983. ,
Review of road traffic control strategies, Proceedings of the IEEE, vol.91, issue.12, pp.2043-2067, 2003. ,
Freeway ramp metering: An overview, IEEE transactions on intelligent transportation systems, vol.3, issue.4, pp.271-281, 2002. ,
Models of freeway traffic and control, Simulation Council Proceedings, vol.1, pp.51-61, 1971. ,
An operational analysis of traffic dynamics, Journal of applied physics, vol.24, issue.3, pp.274-281, 1953. ,
An operational analysis of traffic dynamics, Journal of Applied Physics, vol.24, pp.274-281, 1953. ,
Design and experimental evaluation of cooperative adaptive cruise control, Proceedings of the 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC), pp.260-265, 2011. ,
Bayesian analysis of traffic flow on interstate I-55: The LWR model, 2014. ,
Design and experimental implementation of control for a platoon of automated vehicles, AMSE Journal of Dynamic Systems, Measurement, and Control, vol.122, issue.3, pp.470-476, 1998. ,
Vehicle movements in a platoon, Oesterreichisches Ingenieur-Archir, vol.4, pp.193-215, 1950. ,
Vehicle movements in a platoon with uniform acceleration or deceleration of the lead vehicle, Zeitschrift des Oesterreichischen Ingenieur-und Architekten-Vereines, vol.95, pp.50-62, 1950. ,
Shock waves on the highway, Operations Research, vol.4, issue.1, pp.42-51, 1956. ,
Highway traffic state estimation using speed measurements: Case studies on NGSIM data and Highway A20 in the Netherlands, Proceedings of the Transportation Research Board 95th Annual Meeting, pp.16-2071, 2016. ,
Particle filter-based real-time estimation and prediction of traffic conditions, Applied Stochastic Models and Data Analysis, vol.12, 2007. ,
Cellular automation models and traffic flow, Journal of Physics A: Mathematical and General, vol.26, issue.15, 1993. ,
Disturbance propagation in vehicle strings, IEEE Transactions on automatic control, vol.49, issue.10, pp.1835-1842, 2004. ,
Traffic state estimation on highway: A comprehensive survey, Annual Reviews in Control, vol.43, pp.128-151, 2017. ,
Review of the state of development of advanced vehicle control systems (avcs), vol.24, pp.551-595, 1995. ,
Automated vehicle control developments in the PATH program, IEEE Transactions on vehicular technology, vol.40, issue.1, pp.114-130, 1991. ,
Impacts of cooperative adaptive cruise control on freeway traffic flow, Transportation Research Record, vol.2324, issue.1, pp.63-70, 2012. ,
Robust tracking with model mismatch for fast and safe planning: an sos optimization approach, 2018. ,
Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments, Transportation Research Part C: Emerging Technologies, vol.89, pp.205-221, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01614638
Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments, Transportation Research Part C: Emerging Technologies, vol.89, pp.205-221, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01614638
Traffic jams without bottlenecks -experimental evidence for the physical mechanism of the formation of a jam, New Journal of Physics, vol.10, issue.3, p.33001, 2008. ,
Highway traffic state estimation using improved mixture Kalman filters for effective ramp metering control, 42nd IEEE International Conference on Decision and Control, vol.6, pp.6333-6338, 2003. ,
Mixture Kalman filter based highway congestion mode and vehicle density estimator and its application, Proceedings of the American Control Conference, vol.3, pp.2098-2103, 2004. ,
A distributed local kalman consensus filter for traffic estimation, Proceedings of the IEEE Conference on Decision and Control, pp.6484-6491, 2014. ,
Error bounds for Kalman filters on traffic networks, Networks & Heterogeneous Media, vol.13, issue.2, pp.261-295, 2018. ,
Scaling the kalman filter for large-scale traffic estimation, IEEE Transactions on Control of Network Systems, vol.5, issue.3, pp.968-980, 2018. ,
String stability of interconnected systems, IEEE Transactions on Automatic Control, vol.41, issue.3, pp.349-357, 1996. ,
Application of kalman filtering to the surveillance and control of traffic systems, Transportation Science, vol.6, issue.4, pp.419-439, 1972. ,
Influence of autonomous and connected vehicles on stability of traffic flow, Transportation Research Board 94th Annual Meeting, pp.15-5971, 2015. ,
Influence of connected and autonomous vehicles on traffic flow stability and throughput, Transportation Research Part C: Emerging Technologies, vol.71, pp.143-163, 2016. ,
The impact of cooperative adaptive cruise control on trafficflow characteristics, IEEE Transactions on Intelligent Transportation Systems, vol.7, issue.4, pp.429-436, 2006. ,
Towards provably not-at-fault control of autonomous robots in arbitrary dynamic environments, Robotics: Science and Systems, 2019. ,
Guaranteed safe reachabilitybased trajectory design for a high-fidelity model of an autonomous passenger vehicle, American Conference on Control, 2019. ,
Distributed consensus-based switched observers for freeway traffic density estimation, Decision and Control (CDC), 2015 IEEE 54th Annual Conference on, pp.3445-3450, 2015. ,
Efficient multiple model particle filtering for joint traffic state estimation and incident detection, Transportation Research Part C: Emerging Technologies, vol.71, pp.521-537, 2016. ,
Comparing traffic state estimators for mixed human and automated traffic flows, Transportation Research Part C: Emerging Technologies, vol.78, pp.95-110, 2017. ,
Multiple model particle filter for traffic estimation and incident detection, IEEE Transactions on Intelligent Transportation Systems, issue.99, pp.1-10, 2016. ,
Real-time freeway traffic state estimation based on extended Kalman filter: a general approach, Transportation Research Part B: Methodological, vol.39, issue.2, pp.141-167, 2005. ,
An adaptive freeway traffic state estimator, Automatica, vol.45, issue.1, pp.10-24, 2009. ,
An ensemble Kalman filtering approach to highway traffic estimation using GPS enabled mobile devices, Proc. of the 47th IEEE Conference on Decision and Control, pp.2141-2147, 2008. ,
A traffic model for velocity data assimilation, Applied Mathematics Research eXpress, vol.2010, issue.1, pp.1-35, 2010. ,
A traffic model for velocity data assimilation, Applied Mathematics Research eXpress, vol.2010, issue.1, pp.1-35, 2010. ,
A comprehensive review of the development of adaptive cruise control systems, Vehicle System Dynamics, vol.48, issue.10, pp.1167-1192, 2010. ,
Correctness guarantees for the composition of lane keeping and adaptive cruise control, IEEE Transactions on Automation Science and Engineering, vol.15, issue.3, pp.1216-1229, 2018. ,
Real-time lagrangian traffic state estimator for freeways, IEEE Transactions on Intelligent Transportation Systems, vol.13, issue.1, pp.59-70, 2012. ,
Kinematic wave traffic flow model for mixed traffic, Transportation Research Record, vol.1802, issue.1, pp.197-204, 2002. ,