Interdependence quantification for compositional control synthesis with an application in vehicle safety systems SW Smith, P Nilsson, N Ozay 2016 IEEE 55th Conference on Decision and Control (CDC), 5700-5707, 2016 | 46 | 2016 |
Improving urban traffic throughput with vehicle platooning: Theory and experiments SW Smith, Y Kim, J Guanetti, R Li, R Firoozi, B Wootton, AA Kurzhanskiy, ... IEEE Access 8, 141208-141223, 2020 | 40 | 2020 |
Continuous abstraction of nonlinear systems using sum-of-squares programming SW Smith, H Yin, M Arcak 2019 IEEE 58th Conference on Decision and Control (CDC), 8093-8098, 2019 | 24 | 2019 |
Balancing safety and traffic throughput in cooperative vehicle platooning SW Smith, Y Kim, J Guanetti, AA Kurzhanskiy, M Arcak, F Borrelli 2019 18th European Control Conference (ECC), 2197-2202, 2019 | 19 | 2019 |
Approximate abstractions of control systems with an application to aggregation SW Smith, M Arcak, M Zamani Automatica 119, 109065, 2020 | 8 | 2020 |
Hierarchical control via an approximate aggregate manifold SW Smith, M Arcak, M Zamani 2018 Annual American Control Conference (ACC), 2378-2383, 2018 | 6 | 2018 |
Safe-by-design planner–tracker synthesis with a hierarchy of system models KS Schweidel, H Yin, SW Smith, M Arcak Annual Reviews in Control 53, 138-146, 2022 | 5 | 2022 |
Platoon formation algorithm for minimizing travel time M Burov, N Mehr, S Smith, A Kurzhanskiy, M Arcak 2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020 | 5 | 2020 |
Safe-by-design planner-tracker synthesis KS Schweidel, H Yin, SW Smith, M Arcak arXiv preprint arXiv:2201.04590, 2022 | 2 | 2022 |
Monotonicity-based symbolic control for safety in driving scenarios SW Smith, A Saoud, M Arcak IEEE Control Systems Letters 6, 830-835, 2021 | 1 | 2021 |
Current sense circuit with offset calibration AW Brown, MA Enderich, S Smith US Patent 9,696,352, 2017 | 1 | 2017 |
Control of High-Dimensional Systems with Applications in Transportation S Smith UC Berkeley, 2021 | | 2021 |
Provably safe composition of two autonomous driving functions via set-based contracts S Smith, P Nilsson, N Ozay | | |