A. Alam, B. Besselink, V. Turri, J. Martensson, and K. H. Johansson, 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.

M. Althoff and J. M. Dolan, 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.

M. Althoff and J. M. Dolan, Online verification of automated road vehicles using reachability analysis, IEEE Transactions on Robotics, vol.30, issue.4, pp.903-918, 2014.

M. Althoff and D. Grebenyuk, Implementation of interval arithmetic in {CORA} 2016, Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, 2016.

A. D. Ames, S. Coogan, M. Egerstedt, G. Notomista, K. Sreenath et al., Control barrier functions: Theory and applications, 2019.

A. D. Ames, J. W. Grizzle, and P. Tabuada, Control barrier function based quadratic programs with application to adaptive cruise control, 53rd IEEE Conference on Decision and Control, pp.6271-6278, 2014.

H. Andre and J. L. Ny, 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.

A. Aw and M. Rascle, Resurrection of second order models of traffic flow, SIAM J. Appl. Math, vol.60, pp.916-944, 2000.

M. Bando, K. Hasebe, A. Nakayama, A. Shibata, and Y. Sugiyama, Dynamical model of traffic congestion and numerical simulation, Physical Review E, vol.51, issue.2, pp.1035-1042, 1995.

N. Bekiaris-liberis, C. Roncoli, and M. Papageorgiou, 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.

N. Bekiaris-liberis, C. Roncoli, and M. Papageorgiou, Highway traffic state estimation with mixed connected and conventional vehicles, IEEE Transactions on Intelligent Transportation Systems, vol.99, pp.1-14, 2016.

J. G. Bender, An overview of systems studies of automated highway systems, IEEE Transactions on Vehicular Technology, vol.40, issue.1, pp.82-99, 1991.

B. Besselink and K. H. Johansson, String stability and a delay-based spacing policy for vehicle platoons subject to disturbances, IEEE Transactions on Automatic Control, 2017.

R. Bhadani, B. Piccoli, B. Seibold, J. Sprinkle, and D. B. Work, Dissipation of emergent traffic waves in stop-and-go traffic using a supervisory controller, 57th IEEE Conference on Decision and Control, vol.57, 2018.

S. Blandin, A. Couque, A. Bayen, and D. B. Work, On sequential data assimilation for scalar macroscopic traffic flow models, Physica D: Nonlinear Phenomena, vol.241, issue.17, pp.1421-1440, 2012.

A. Bose and P. A. Ioannou, Analysis of traffic flow with mixed manual and semiautomated vehicles, IEEE Transactions on Intelligent Transportation Systems, vol.4, issue.4, pp.173-188, 2003.

M. Brackstone and M. Mcdonald, Car-following : a historical review, Transportation Research Part F: Traffic Psychology and Behaviour, vol.2, issue.4, pp.181-196, 1999.

M. Buehler, K. Iagnemma, and S. Singh, The DARPA urban challenge: autonomous vehicles in city traffic, vol.56, 2009.

R. E. Chandler, R. Herman, and E. W. Montroll, Traffic Dynamics: Studies in Car Following, Operations Research, vol.6, issue.2, pp.165-184, 1958.

Y. Chen, H. Peng, and J. Grizzle, Obstacle avoidance for low-speed autonomous vehicles with barrier function, IEEE Transactions on Control Systems Technology, vol.26, issue.1, pp.194-206, 2017.

Y. Chitour and B. Piccoli, 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

G. M. Coclite, M. Garavello, and B. Piccoli, Traffic Flow on a Road Network, SIAM Journal on Mathematical Analysis, vol.36, issue.6, pp.1862-1886, 2005.

R. M. Colombo and P. Goatin, A well posed conservation law with a variable unilateral constraint, J. Differential Equations, vol.234, issue.2, pp.654-675, 2007.

R. M. Colombo and A. Marson, A Hölder continuous ODE related to traffic flow, Proc. Roy. Soc. Edinburgh Sect. A, vol.133, issue.4, pp.759-772, 2003.

S. Contreras, S. Agarwal, and P. Kachroo, Quality of traffic observability on highways with lagrangian sensors, IEEE Transactions on Automation Science and Engineering, 2017.

M. Cremer and M. Papageorgiou, Parameter identification for a traffic flow model, Automatica, vol.17, issue.6, pp.837-843, 1981.

C. Daganzo and J. A. , Moving bottlenecks: A numerical method that converges in flows, Transportation Research Part B, vol.39, pp.855-863, 2004.

C. Daganzo and J. A. , On the numerical treatement of moving bottlenecks, Transportation Research Part B, vol.39, pp.31-46, 2005.

C. F. Daganzo, 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.

C. F. Daganzo, The cell transmission model, part II: network traffic, Transportation Research Part B: Methodological, vol.29, issue.2, pp.79-93, 1995.

S. Darbha and K. R. , Intelligent cruise control systems and traffic flow stability, Transportation Research Part C: Emerging Technologies, vol.7, issue.6, pp.329-352, 1999.

L. C. Davis, Effect of adaptive cruise control systems on traffic flow, Physical Review E, vol.69, issue.6, p.66110, 2004.

C. De-fabritiis, R. Ragona, and G. Valenti, Traffic estimation and prediction based on real time floating car data, Proceedings of the IEEE Conference on Intelligent Transportation Systems, pp.197-203, 2008.

A. I. Delis, I. K. Nikolos, and M. Papageorgiou, Macroscopic traffic flow modeling with adaptive cruise control: Development and numerical solution, Computers & Mathematics with Applications, vol.70, issue.8, pp.1921-1947, 2015.

A. I. Delis, I. K. Nikolos, and M. Papageorgiou, 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.

M. L. Delle-monache and P. Goatin, 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

M. L. Delle-monache, T. Liard, B. Piccoli, R. E. Stern, and D. Work, Traffic reconstruction using autonomous vehicles, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01882309

M. L. Delle-monache, J. D. Reilly, S. Samaranayake, W. Krichene, P. Goatin et al., 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

C. Diakaki, M. Papageorgiou, I. Papamichail, and I. Nikolos, 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.

R. A. Dollar and A. Vahidi, Efficient and collision-free anticipative cruise control in randomly mixed strings, IEEE Transactions on Intelligent Vehicles, vol.3, issue.4, pp.439-452, 2018.

R. E. Fenton and R. J. Mayhan, Automated highway studies at the Ohio State University-an overview, IEEE transactions on Vehicular Technology, vol.40, issue.1, pp.100-113, 1991.

A. Ferrara, S. Sacone, and S. Siri, Freeway traffic modelling and control, 2018.

V. V. Filippov, Ordinary differential equations with discontinuous right-hand sides, vol.30, 1994.

M. R. Flynn, A. R. Kasimov, J. Nave, R. R. Rosales, and B. Seibold, Self-sustained nonlinear waves in traffic flow, Phys. Rev. E, vol.79, issue.5, p.56113, 2009.

D. Fridovich-keil, S. L. Herbert, J. F. Fisac, S. Deglurkar, and C. J. Tomlin, 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.

M. Garavello and P. Goatin, 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

M. Garavello and B. Piccoli, Traffic Flow on a Road Network Using the Aw-Rascle Model, Communications in Partial Differential Equations, vol.31, pp.243-275, 2006.

M. Garavello and B. Piccoli, Traffic flow on networks, vol.1, 2006.

M. Garavello and B. Piccoli, Annales de l'Institut Henri Poincare (C) Analyse Non Lineaire, vol.26, pp.1925-1951, 2009.

I. Gasser, C. Lattanzio, and A. Maurizi, Vehicular traffic flow dynamics on a bus route, Multiscale Model. Simul, vol.11, issue.3, pp.925-942, 2013.

D. C. Gazis and C. H. Knapp, On-line estimation of traffic densities from time-series of flow and speed data, Transportation Science, vol.5, issue.3, pp.283-301, 1971.

F. Giorgi, Prise en compte des transports en commun de surface dans la modélisation macroscopique de l'écoulement du trafic, 2002.

F. Giorgi, L. Leclercq, and J. B. Lesort, 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.

S. Godunov, A difference method for the numerical calculation of discontinuous solutions of hydrodynamic equations, Mathematics Sbornik, vol.47, issue.3, pp.271-306, 1959.

B. D. Greenshields, A study of traffic capacity, Proc. Highway Res. Bd, vol.14, p.448, 1935.

G. Gunter, D. Gloudemans, R. E. Stern, S. Mcquade, R. Bhadani et al., Are commercially implemented adaptive cruise control systems string stable? arXiv preprint, 2019.

G. Gunter, C. Janssen, W. Barbour, R. Stern, and D. B. Work, A model based approach to determine string stability of adaptive cruise control systems using field data, 2019.

F. L. Hall and K. Agyemang-duah, Freeway capacity drop and the definition of capacity, Transportation research record, issue.1320, 1991.

Y. Han, D. Chen, and S. Ahn, Variable speed limit control at fixed freeway bottlenecks using connected vehicles, Transportation Research Part B: Methodological, vol.98, pp.113-134, 2017.

A. Hegyi, B. D. Schutter, and H. Hellendoorn, 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.

S. L. Herbert, M. Chen, S. Han, S. Bansal, J. F. Fisac et al., 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.

J. C. Herrera and A. M. Bayen, Incorporation of lagrangian measurements in freeway traffic state estimation, Transportation Research Part B: Methodological, vol.44, issue.4, pp.460-481, 2010.

J. Herrera, D. Work, R. Herring, J. Ban, Q. Jacobson et al., 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.

M. Herty and A. Klar, Modeling, Simulation, and Optimization of Traffic Flow Networks, SIAM Journal on Scientific Computing, vol.25, issue.3, pp.1066-1087, 2003.

H. Holden and N. H. Risebro, 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.

P. Ioannou, Automated highway systems, 2013.

P. Ioannou, Z. Xu, S. Eckert, D. Clemons, and T. Sieja, Intelligent cruise control: theory and experiment, Proceedings of the 32nd IEEE Conference on Decision and Control, pp.1885-1890, 1993.

P. A. Ioannou and C. Chien, Autonomous intelligent cruise control, IEEE Transactions on Vehicular technology, vol.42, issue.4, pp.657-672, 1993.

S. E. Jabari and H. Liu, A stochastic model of traffic flow: Gaussian approximation and estimation, Transportation Research Part B: Methodological, vol.47, pp.15-41, 2013.

I. G. Jin and G. Orosz, 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.

M. R. Jovanovic and B. Bamieh, On the ill-posedness of certain vehicular platoon control problems, IEEE Transactions on Automatic Control, vol.50, issue.9, pp.1307-1321, 2005.

A. Kesting, M. Treiber, and D. Helbing, 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.

B. Khondaker and L. Kattan, Variable speed limit: A microscopic analysis in a connected vehicle environment, Transportation Research Part C: Emerging Technologies, vol.58, pp.146-159, 2015.

V. Knoop, M. Wang, I. Wilmink, M. Hoedemaeker, M. Maaskant et al., Platoon of sae level-2 automated vehicles on public roads: Setup, traffic interactions, and stability, Transportation Research Record, 2019.

S. Kousik, S. Vaskov, F. Bu, M. Johnson-roberson, and R. Vasudevan, Bridging the gap between safety and real-time performance in receding-horizon trajectory design for mobile robots, 2018.

A. A. Kurzhanskiy, Set-valued estimation of freeway traffic density, IFAC Proceedings Volumes, vol.42, pp.271-277, 2009.

A. A. Kurzhanskiy and P. Varaiya, Guaranteed prediction and estimation of the state of a road network, Transportation research part C: emerging technologies, vol.21, pp.163-180, 2012.

C. Lattanzio, A. Maurizi, and B. Piccoli, Moving Bottlenecks in Car Traffic Flow: A PDE-ODE Coupled Model, SIAM Journal on Mathematical Analysis, vol.43, issue.1, pp.50-67, 2011.

C. Lattanzio, A. Maurizi, and B. Piccoli, Moving bottlenecks in car traffic flow: a PDE-ODE coupled model, SIAM J. Math. Anal, vol.43, issue.1, pp.50-67, 2011.

J. Lebacque, J. B. Lesort, and F. Giorgi, Introducing buses into first-order macroscopic traffic flow models, Transportation Reasearch Record, vol.1644, pp.70-79, 1998.

M. W. Levin and S. D. Boyles, A multiclass cell transmission model for shared human and autonomous vehicle roads, Transportation Research Part C: Emerging Technologies, vol.62, pp.103-116, 2016.

W. Levine and M. Athans, On the optimal error regulation of a string of moving vehicles, IEEE Transactions on Automatic Control, vol.11, issue.3, pp.355-361, 1966.

K. Li and P. Ioannou, Modeling of traffic flow of automated vehicles, IEEE Transactions on Intelligent Transportation Systems, vol.5, issue.2, pp.99-113, 2004.

C. Liang and H. Peng, Optimal adaptive cruise control with guaranteed string stability, Vehicle System Dynamics, vol.32, issue.4-5, pp.313-330, 1999.

M. J. Lighthill and G. B. Whitham, 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.

A. Liniger and J. Lygeros, Real-time control for autonomous racing based on viability theory, IEEE Transactions on Control Systems Technology, issue.99, pp.1-15, 2017.

A. Majumdar and R. Tedrake, Robust online motion planning with regions of finite time invariance, Algorithmic Foundations of Robotics X, pp.543-558, 2013.

A. Majumdar and R. Tedrake, Funnel libraries for real-time robust feedback motion planning. The International, Journal of Robotics Research, vol.36, issue.8, pp.947-982, 2017.

A. Marigo and B. Piccoli, A Fluid Dynamic Model for T -Junctions, SIAM Journal on Mathematical Analysis, vol.39, issue.6, pp.2016-2032, 2008.

R. H. Middleton and J. H. Braslavsky, 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.

L. Mihaylova and R. Boel, A particle filter for freeway traffic estimation, Proceedings of the IEEE Conference on Decision and Control, pp.2106-2111, 2004.

L. Mihaylova, R. Boel, and A. Hegyi, An unscented Kalman filter for freeway traffic estimation, Proceedings of the 11th IFAC Symposium on Control in Transportation Systems, pp.31-36, 2006.

L. Mihaylova, R. Boel, and A. Hegyi, Freeway traffic estimation within particle filtering framework. Automatica, vol.43, pp.290-300, 2007.

L. Mihaylova, A. Hegyi, A. Gning, and R. Boel, 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.

V. Milanés, S. E. Shladover, J. Spring, C. Nowakowski, H. Kawazoe et al., Cooperative adaptive cruise control in real traffic situations, IEEE Transactions on Intelligent Transportation Systems, vol.15, issue.1, pp.296-305, 2014.

J. Monteil, M. Bouroche, and D. J. Leith, 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.

I. Morarescu, C. Canudas-de, and W. , 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

L. Munoz, X. Sun, R. Horowitz, and L. Alvarez, Piecewise-linearized cell transmission model and parameter calibration methodology, Transportation Research Record, pp.183-191, 1965.

G. J. Naus, R. P. Vugts, J. Ploeg, M. J. Van-de-molengraft, and M. Steinbuch, String-stable CACC design and experimental validation: A frequency-domain approach, IEEE Transactions on Vehicular Technology, vol.59, issue.9, pp.4268-4279, 2010.

D. Ngoduy, Application of gas-kinetic theory to modelling mixed traffic of manual and ACC vehicles, Transportmetrica, vol.8, issue.1, pp.43-60, 2012.

D. Ngoduy, 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.

P. Nilsson, O. Hussien, A. Balkan, Y. Chen, A. D. Ames et al., Correct-by-construction adaptive cruise control: Two approaches, IEEE Transactions on Control Systems Technology, vol.24, issue.4, pp.1294-1307, 2015.

G. Orosz, B. Krauskopf, and R. E. Wilson, 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.

M. Papageorgiou, Applications of Automatic Control Concepts to Traffic Flow Modeling and Control, 1983.

M. Papageorgiou, C. Diakaki, V. Dinopoulou, A. Kotsialos, and Y. Wang, Review of road traffic control strategies, Proceedings of the IEEE, vol.91, issue.12, pp.2043-2067, 2003.

M. Papageorgiou and A. Kotsialos, Freeway ramp metering: An overview, IEEE transactions on intelligent transportation systems, vol.3, issue.4, pp.271-281, 2002.

H. Payne, Models of freeway traffic and control, Simulation Council Proceedings, vol.1, pp.51-61, 1971.

L. A. Pipes, An operational analysis of traffic dynamics, Journal of applied physics, vol.24, issue.3, pp.274-281, 1953.

L. A. Pipes, An operational analysis of traffic dynamics, Journal of Applied Physics, vol.24, pp.274-281, 1953.

J. Ploeg, B. T. Scheepers, E. Van-nunen, N. Van-de-wouw, and H. Nijmeijer, 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.

N. Polson and V. Sokolov, Bayesian analysis of traffic flow on interstate I-55: The LWR model, 2014.

R. Rajamani, S. B. Choi, B. K. Law, J. K. Hedrick, R. Prohaska et al., 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.

A. , Vehicle movements in a platoon, Oesterreichisches Ingenieur-Archir, vol.4, pp.193-215, 1950.

A. , 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.

P. I. Richards, Shock waves on the highway, Operations Research, vol.4, issue.1, pp.42-51, 1956.

C. Roncoli, N. Bekiaris-liberis, and M. Papageorgiou, 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.

J. Sau, N. E. Faouzi, A. B. Assa, and O. De-mouzon, Particle filter-based real-time estimation and prediction of traffic conditions, Applied Stochastic Models and Data Analysis, vol.12, 2007.

A. Schadschneider and M. Schreckenberg, Cellular automation models and traffic flow, Journal of Physics A: Mathematical and General, vol.26, issue.15, 1993.

P. Seiler, A. Pant, and K. Hedrick, Disturbance propagation in vehicle strings, IEEE Transactions on automatic control, vol.49, issue.10, pp.1835-1842, 2004.

T. Seo, A. M. Bayen, T. Kusakabe, and Y. Asakura, Traffic state estimation on highway: A comprehensive survey, Annual Reviews in Control, vol.43, pp.128-151, 2017.

S. E. Shladover, Review of the state of development of advanced vehicle control systems (avcs), vol.24, pp.551-595, 1995.

S. E. Shladover, C. A. Desoer, J. K. Hedrick, M. Tomizuka, J. Walrand et al., Automated vehicle control developments in the PATH program, IEEE Transactions on vehicular technology, vol.40, issue.1, pp.114-130, 1991.

S. E. Shladover, D. Su, and X. Lu, Impacts of cooperative adaptive cruise control on freeway traffic flow, Transportation Research Record, vol.2324, issue.1, pp.63-70, 2012.

S. Singh, M. Chen, S. L. Herbert, C. J. Tomlin, and M. Pavone, Robust tracking with model mismatch for fast and safe planning: an sos optimization approach, 2018.

R. E. Stern, S. Cui, M. L. Delle-monache, R. Bhadani, M. Bunting et al., 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

R. E. Stern, S. Cui, M. L. Monache, R. Bhadani, M. Bunting et al., 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

Y. Sugiyama, M. Fukui, M. Kikuchi, K. Hasebe, A. Nakayama et al., 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.

X. Sun, L. Munoz, and R. Horowitz, 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.

X. Sun, L. Muñoz, and R. Horowitz, 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.

Y. Sun and D. Work, A distributed local kalman consensus filter for traffic estimation, Proceedings of the IEEE Conference on Decision and Control, pp.6484-6491, 2014.

Y. Sun and D. B. Work, Error bounds for Kalman filters on traffic networks, Networks & Heterogeneous Media, vol.13, issue.2, pp.261-295, 2018.

Y. Sun and D. B. Work, Scaling the kalman filter for large-scale traffic estimation, IEEE Transactions on Control of Network Systems, vol.5, issue.3, pp.968-980, 2018.

D. Swaroop and J. Hedrick, String stability of interconnected systems, IEEE Transactions on Automatic Control, vol.41, issue.3, pp.349-357, 1996.

M. Szeto and D. Gazis, Application of kalman filtering to the surveillance and control of traffic systems, Transportation Science, vol.6, issue.4, pp.419-439, 1972.

A. Talebpour and H. S. Mahmassani, Influence of autonomous and connected vehicles on stability of traffic flow, Transportation Research Board 94th Annual Meeting, pp.15-5971, 2015.

A. Talebpour and H. S. Mahmassani, Influence of connected and autonomous vehicles on traffic flow stability and throughput, Transportation Research Part C: Emerging Technologies, vol.71, pp.143-163, 2016.

B. Van-arem, C. J. Van-driel, and R. Visser, The impact of cooperative adaptive cruise control on trafficflow characteristics, IEEE Transactions on Intelligent Transportation Systems, vol.7, issue.4, pp.429-436, 2006.

S. Vaskov, S. Kousik, H. Larson, F. Bu, J. Ward et al., Towards provably not-at-fault control of autonomous robots in arbitrary dynamic environments, Robotics: Science and Systems, 2019.

S. Vaskov, U. Sharma, S. Kousik, M. Johnson-roberson, and R. Vasudevan, Guaranteed safe reachabilitybased trajectory design for a high-fidelity model of an autonomous passenger vehicle, American Conference on Control, 2019.

C. Vivas, S. Siri, A. Ferrara, S. Sacone, G. Cavanna et al., Distributed consensus-based switched observers for freeway traffic density estimation, Decision and Control (CDC), 2015 IEEE 54th Annual Conference on, pp.3445-3450, 2015.

R. Wang, S. Fan, and D. B. Work, 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.

R. Wang, Y. Li, and D. B. Work, Comparing traffic state estimators for mixed human and automated traffic flows, Transportation Research Part C: Emerging Technologies, vol.78, pp.95-110, 2017.

R. Wang, D. B. Work, and R. Sowers, Multiple model particle filter for traffic estimation and incident detection, IEEE Transactions on Intelligent Transportation Systems, issue.99, pp.1-10, 2016.

Y. Wang and M. Papageorgiou, 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.

Y. Wang, M. Papageorgiou, A. Messmer, P. Coppola, A. Tzimitsi et al., An adaptive freeway traffic state estimator, Automatica, vol.45, issue.1, pp.10-24, 2009.

D. Work, O. Tossavainen, S. Blandin, A. Bayen, T. Iwuchukwu et al., 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.

D. Work, S. Blandin, O. P. Tossavainen, B. Piccoli, and A. M. Bayen, A traffic model for velocity data assimilation, Applied Mathematics Research eXpress, vol.2010, issue.1, pp.1-35, 2010.

D. B. Work, S. Blandin, O. Tossavainen, B. Piccoli, and A. Bayen, A traffic model for velocity data assimilation, Applied Mathematics Research eXpress, vol.2010, issue.1, pp.1-35, 2010.

L. Xiao and F. Gao, A comprehensive review of the development of adaptive cruise control systems, Vehicle System Dynamics, vol.48, issue.10, pp.1167-1192, 2010.

X. Xu, J. W. Grizzle, P. Tabuada, and A. D. Ames, 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.

Y. Yuan, J. Van-lint, R. E. Wilson, F. Van-wageningen-kessels, and S. P. Hoogendoorn, Real-time lagrangian traffic state estimator for freeways, IEEE Transactions on Intelligent Transportation Systems, vol.13, issue.1, pp.59-70, 2012.

M. H. Zhang and W. Jin, Kinematic wave traffic flow model for mixed traffic, Transportation Research Record, vol.1802, issue.1, pp.197-204, 2002.