Control barrier functions: Theory and applications AD Ames, S Coogan, M Egerstedt, G Notomista, K Sreenath, P Tabuada 2019 18th European control conference (ECC), 3420-3431, 2019 | 1506 | 2019 |
A learning based approach to control synthesis of markov decision processes for linear temporal logic specifications D Sadigh, ES Kim, S Coogan, SS Sastry, SA Seshia 53rd IEEE Conference on Decision and Control, 1091-1096, 2014 | 204 | 2014 |
Efficient finite abstraction of mixed monotone systems S Coogan, M Arcak Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 158 | 2015 |
Synthesis of control barrier functions using a supervised machine learning approach M Srinivasan, A Dabholkar, S Coogan, PA Vela 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2020 | 113 | 2020 |
A compartmental model for traffic networks and its dynamical behavior S Coogan, M Arcak IEEE Transactions on Automatic Control 60 (10), 2698-2703, 2015 | 106 | 2015 |
Control of multi-agent systems with finite time control barrier certificates and temporal logic M Srinivasan, S Coogan, M Egerstedt 2018 IEEE Conference on Decision and Control (CDC), 1991-1996, 2018 | 97 | 2018 |
Scaling the size of a formation using relative position feedback S Coogan, M Arcak Automatica 48 (10), 2677-2685, 2012 | 95 | 2012 |
A barrier function approach to finite-time stochastic system verification and control C Santoyo, M Dutreix, S Coogan Automatica 125, 109439, 2021 | 91 | 2021 |
Traffic network control from temporal logic specifications S Coogan, EA Gol, M Arcak, C Belta IEEE Transactions on Control of Network Systems 3 (2), 162-172, 2015 | 82 | 2015 |
Capacity modeling and routing for traffic networks with mixed autonomy DA Lazar, S Coogan, R Pedarsani 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 5678-5683, 2017 | 64 | 2017 |
Stability of traffic flow networks with a polytree topology S Coogan, M Arcak Automatica 66, 246-253, 2016 | 63 | 2016 |
Traffic predictive control from low-rank structure S Coogan, C Flores, P Varaiya Transportation Research Part B: Methodological 97, 1-22, 2017 | 55 | 2017 |
Mixed monotonicity for reachability and safety in dynamical systems S Coogan 2020 59th IEEE Conference on Decision and Control (CDC), 5074-5085, 2020 | 53 | 2020 |
A dissipativity approach to safety verification for interconnected systems S Coogan, M Arcak IEEE Transactions on Automatic Control 60 (6), 1722-1727, 2014 | 52 | 2014 |
Runtime assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems KL Hobbs, ML Mote, MCL Abate, SD Coogan, EM Feron IEEE Control Systems Magazine 43 (2), 28-65, 2023 | 49 | 2023 |
Control of mobile robots using barrier functions under temporal logic specifications M Srinivasan, S Coogan IEEE Transactions on Robotics 37 (2), 363-374, 2020 | 49 | 2020 |
Routing for traffic networks with mixed autonomy DA Lazar, S Coogan, R Pedarsani IEEE Transactions on Automatic Control 66 (6), 2664-2676, 2020 | 47 | 2020 |
Formal methods for control of traffic flow: Automated control synthesis from finite-state transition models S Coogan, M Arcak, C Belta IEEE Control Systems Magazine 37 (2), 109-128, 2017 | 46 | 2017 |
Energy management via pricing in LQ dynamic games S Coogan, LJ Ratliff, D Calderone, C Tomlin, SS Sastry 2013 American Control Conference, 443-448, 2013 | 43 | 2013 |
Tight decomposition functions for continuous-time mixed-monotone systems with disturbances M Abate, M Dutreix, S Coogan IEEE Control Systems Letters 5 (1), 139-144, 2020 | 39 | 2020 |