Interdependence quantification for compositional control synthesis with an application in vehicle safety systems. - Stanley W. Smith; Petter Nilsson; Necmiye Ozay (CDC, 2016)

Hierarchical Control via an Approximate Aggregate Manifold. - Stanley W. Smith; Murat Arcak; Majid Zamani 001 (ACC, 2018)

Continuous Abstraction of Nonlinear Systems using Sum-of-Squares Programming. - Stanley W. Smith; He Yin; Murat Arcak (CDC, 2019)

Balancing Safety and Traffic Throughput in Cooperative Vehicle Platooning. - Stanley W. Smith; Yeojun Kim; Jacopo Guanetti; Alexander Kurzhanskiy; Murat Arcak; Francesco Borrelli (ECC, 2019)

Platoon Formation Algorithm for Minimizing Travel Time. - Mikhail Burov; Negar Mehr; Stanley W. Smith; Alexander Kurzhanskiy; Murat Arcak (ITSC, 2020)

Improving Urban Traffic Throughput With Vehicle Platooning: Theory and Experiments. - Stanley W. Smith; Yeojun Kim; Jacopo Guanetti; Ruolin Li; Roya Firoozi; Bruce Wootton; Alex A. Kurzhanskiy; Francesco Borrelli; Roberto Horowitz; Murat Arcak (IEEE Access, 2020)

Approximate abstractions of control systems with an application to aggregation. - Stanley W. Smith; Murat Arcak; Majid Zamani 001 (Autom., 2020)

Safe-by-design planner-tracker synthesis with a hierarchy of system models. - Katherine S. Schweidel; He Yin; Stanley W. Smith; Murat Arcak (Annu. Rev. Control., 2022)

Safe-by-Design Planner-Tracker Synthesis. - Katherine S. Schweidel; He Yin; Stanley W. Smith; Murat Arcak (CoRR, 2022)

Monotonicity-Based Symbolic Control for Safety in Driving Scenarios. - Stanley W. Smith; Adnane Saoud; Murat Arcak (IEEE Control. Syst. Lett., 2022)