| Efficient finite abstraction of mixed monotone systems S Coogan, M Arcak Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 72 | 2015 |
| 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 | 66 | 2014 |
| A compartmental model for traffic networks and its dynamical behavior S Coogan, M Arcak IEEE Transactions on Automatic Control 60 (10), 2698-2703, 2015 | 47 | 2015 |
| Scaling the size of a formation using relative position feedback S Coogan, M Arcak Automatica 48 (10), 2677-2685, 2012 | 46 | 2012 |
| 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 | 44 | 2015 |
| 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 | 32 | 2013 |
| Dynamical Properties of a Compartmental Model for Traffic Networks S Coogan, M Arcak American Control Conference, 2511–2516, 2014 | 31 | 2014 |
| 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 | 24 | 2019 |
| Traffic predictive control from low-rank structure S Coogan, C Flores, P Varaiya Transportation Research Part B: Methodological 97, 1-22, 2017 | 24 | 2017 |
| A dissipativity approach to safety verification for interconnected systems S Coogan, M Arcak IEEE Transactions on Automatic Control 60 (6), 1722-1727, 2014 | 23 | 2014 |
| Freeway traffic control from linear temporal logic specifications S Coogan, M Arcak 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 36-47, 2014 | 21 | 2014 |
| Stability of traffic flow networks with a polytree topology S Coogan, M Arcak Automatica 66, 246-253, 2016 | 20 | 2016 |
| Offset optimization in signalized traffic networks via semidefinite relaxation S Coogan, E Kim, G Gomes, M Arcak, P Varaiya Transportation Research Part B: Methodological 100, 82-92, 2017 | 18 | 2017 |
| Pricing in linear-quadratic dynamic games LJ Ratliff, S Coogan, D Calderone, SS Sastry 2012 50th Annual Allerton Conference on Communication, Control, and …, 2012 | 17 | 2012 |
| 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 | 16 | 2017 |
| Management of intersections with multi-modal high-resolution data A Muralidharan, S Coogan, C Flores, P Varaiya Transportation research part C: emerging technologies 68, 101-112, 2016 | 16 | 2016 |
| Controlling a network of signalized intersections from temporal logical specifications S Coogan, EA Gol, M Arcak, C Belta 2015 American Control Conference (ACC), 3919-3924, 2015 | 15 | 2015 |
| 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 | 14 | 2017 |
| Separability of Lyapunov functions for contractive monotone systems S Coogan 2016 IEEE 55th Conference on Decision and Control (CDC), 2184-2189, 2016 | 13 | 2016 |
| Mixed monotonicity of partial first-in-first-out traffic flow models S Coogan, M Arcak, AA Kurzhanskiy 2016 IEEE 55th Conference on Decision and Control (CDC), 7611-7616, 2016 | 12 | 2016 |
Murat ArcakProfessor of Electrical Engineering and Computer ScienceVerifierad e-postadress på eecs.berkeley.edu
