Edit Profile (opens in new tab) Coogan, Samuel Co-Author Distance Author ID: coogan.samuel Published as: Coogan, Samuel; Coogan, Sam External Links: MGP · Google Scholar · dblp Documents Indexed: 44 Publications since 2012, including 23 Additional arXiv Preprints 1 Further Contribution Biographic References: 1 Publication Co-Authors: 21 Co-Authors with 42 Joint Publications 510 Co-Co-Authors all top 5 Co-Authors 1 single-authored 12 Jafarpour, Saber 11 Abate, Matthew 9 Arcak, Murat 6 Harapanahalli, Akash 5 Pedarsani, Ramtin 4 Dutreix, Maxence 4 Nilsson, Gustav 3 Bullo, Francesco 3 Lazar, Daniel A. 3 Santoyo, Cesar 3 Wei, Qinshuang 2 Belta, Calin A. 2 Feron, Eric 2 Srinivasan, Mohit 1 Aydin Gol, Ebru 1 Egerstedt, Magnus B. 1 How, Jonathan P. 1 Huh, Jeongmin 1 Klett, Corbin 1 Ling, Esther 1 Margaliot, Michael 1 Mote, Mark 1 Ratliff, Lillian J. 1 Rodriguez, Jorge Alberto 1 Zheng, Liyuan all top 5 Serials 6 IEEE Transactions on Automatic Control 5 Automatica 3 Systems & Control Letters 2 Nonlinear Analysis. Hybrid Systems 2 IEEE Control Systems 2 IEEE Transactions on Control of Network Systems all top 5 Fields 17 Systems theory; control (93-XX) 10 Operations research, mathematical programming (90-XX) 5 Computer science (68-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 History and biography (01-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 80 times in 67 Documents Cited by ▼ Year ▼ Efficient finite abstraction of mixed monotone systems. Zbl 1364.93238 Coogan, Samuel; Arcak, Murat 13 2015 Scaling the size of a formation using relative position feedback. Zbl 1271.93007 Coogan, Samuel; Arcak, Murat 11 2012 A compartmental model for traffic networks and its dynamical behavior. Zbl 1360.90085 Coogan, Samuel; Arcak, Murat 10 2015 A dissipativity approach to safety verification for interconnected systems. Zbl 1360.93309 Coogan, Samuel; Arcak, Murat 10 2015 Stability of traffic flow networks with a polytree topology. Zbl 1335.93109 Coogan, Samuel; Arcak, Murat 5 2016 A contractive approach to separable Lyapunov functions for monotone systems. Zbl 1429.93290 Coogan, Samuel 5 2019 Specification-guided verification and abstraction refinement of mixed monotone stochastic systems. Zbl 1467.93290 Dutreix, Maxence; Coogan, Samuel 5 2021 Abstraction-based synthesis for stochastic systems with omega-regular objectives. Zbl 1497.93069 Dutreix, Maxence; Huh, Jeongmin; Coogan, Samuel 5 2022 Finite abstraction of mixed monotone systems with discrete and continuous inputs. Zbl 1351.93052 Coogan, Samuel; Arcak, Murat 4 2017 Traffic network control from temporal logic specifications. Zbl 1370.68198 Coogan, Samuel; Gol, Ebru Aydin; Arcak, Murat; Belta, Calin 4 2016 Formal methods for control of traffic flow: automated control synthesis from finite-state transition models. Zbl 1477.93149 Coogan, Samuel; Arcak, Murat; Belta, Calin 3 2017 A barrier function approach to finite-time stochastic system verification and control. Zbl 1461.93522 Santoyo, Cesar; Dutreix, Maxence; Coogan, Samuel 3 2021 Robustly forward invariant sets for mixed-monotone systems. Zbl 07740999 Coogan, Samuel; Abate, Matthew 1 2022 Resource aware pricing for electric vehicle charging. Zbl 1507.91089 Santoyo, Cesar; Nilsson, Gustav; Coogan, Samuel 1 2023 Resource aware pricing for electric vehicle charging. Zbl 1507.91089 Santoyo, Cesar; Nilsson, Gustav; Coogan, Samuel 1 2023 Abstraction-based synthesis for stochastic systems with omega-regular objectives. Zbl 1497.93069 Dutreix, Maxence; Huh, Jeongmin; Coogan, Samuel 5 2022 Robustly forward invariant sets for mixed-monotone systems. Zbl 07740999 Coogan, Samuel; Abate, Matthew 1 2022 Specification-guided verification and abstraction refinement of mixed monotone stochastic systems. Zbl 1467.93290 Dutreix, Maxence; Coogan, Samuel 5 2021 A barrier function approach to finite-time stochastic system verification and control. Zbl 1461.93522 Santoyo, Cesar; Dutreix, Maxence; Coogan, Samuel 3 2021 A contractive approach to separable Lyapunov functions for monotone systems. Zbl 1429.93290 Coogan, Samuel 5 2019 Finite abstraction of mixed monotone systems with discrete and continuous inputs. Zbl 1351.93052 Coogan, Samuel; Arcak, Murat 4 2017 Formal methods for control of traffic flow: automated control synthesis from finite-state transition models. Zbl 1477.93149 Coogan, Samuel; Arcak, Murat; Belta, Calin 3 2017 Stability of traffic flow networks with a polytree topology. Zbl 1335.93109 Coogan, Samuel; Arcak, Murat 5 2016 Traffic network control from temporal logic specifications. Zbl 1370.68198 Coogan, Samuel; Gol, Ebru Aydin; Arcak, Murat; Belta, Calin 4 2016 Efficient finite abstraction of mixed monotone systems. Zbl 1364.93238 Coogan, Samuel; Arcak, Murat 13 2015 A compartmental model for traffic networks and its dynamical behavior. Zbl 1360.90085 Coogan, Samuel; Arcak, Murat 10 2015 A dissipativity approach to safety verification for interconnected systems. Zbl 1360.93309 Coogan, Samuel; Arcak, Murat 10 2015 Scaling the size of a formation using relative position feedback. Zbl 1271.93007 Coogan, Samuel; Arcak, Murat 11 2012 all cited Publications top 5 cited Publications all top 5 Cited by 149 Authors 6 Coogan, Samuel 5 Arcak, Murat 4 Girard, Antoine 4 Pang, Hongbo 3 Liu, Jun 3 Majumdar, Rupak 3 Mallik, Kaushik 3 Saoud, Adnane 3 Schmuck, Anne-Kathrin 3 Soudjani, Sadegh 2 Ahn, Hyo-Sung 2 Aranda, Miguel 2 Bullo, Francesco 2 Cao, Jinde 2 Cao, Ming 2 Dimarogonas, Dimos V. 2 Hashimoto, Kazumune 2 Hong, Yiguang 2 Laurenti, Luca 2 Liu, Shuo 2 López-Nicolás, Gonzalo 2 Mazo, Manuel jun. 2 Park, Myoung-Chul 2 Pham Huu Anh Ngoc 2 Sagues, Carlos 1 Abate, Alessandro 1 Abate, Matthew 1 Agahi, Hamed 1 Alasiri, Faisal 1 Al-saedi, Ahmed Eid Salem 1 Aydin Gol, Ebru 1 Azuma, Sun-Ichi 1 Boskos, Dimitris 1 Chapman, Margaret P. 1 Chen, Jie 1 Chen, Silu 1 Chen, Zuwen 1 Colombo, Leonardo Jesus 1 Daingade, Sangeeta 1 De Persis, Claudio 1 Delimpaltadakis, Giannis 1 Ding, Lichen 1 Ding, Xiangjun 1 Ding, Zuohua 1 Duan, Xiaoming 1 Dutreix, Maxence 1 Ergurtuna, Mert 1 Eyrea Irazú, María Emma 1 Feron, Eric 1 Fitzsimmons, Maxwell 1 Fooladivanda, Dariush 1 Fribourg, Laurent 1 Gorbachev, Sergey V. 1 Gorbacheva, Nadezhda 1 Gößler, Gregor 1 Gracia, Ibón 1 Guan, Yongqiang 1 Hayat, Tasawar 1 He, Jifeng 1 Helton, John William 1 Hieu, Le Trung 1 Hsu, Kyle 1 Hu, Han 1 Hua, Qingguang 1 Huh, Jeongmin 1 Ioannou, Petros A. 1 Jafarpour, Saber 1 Jeong, Kyungmin 1 Jing, Gangshan 1 Kanevskiy, Ilya 1 Kawano, Yu 1 Kelly, Frank P. 1 Kim, Eric S. 1 Korovin, Iakov 1 Lahijanian, Morteza 1 Lavaei, Abolfazl 1 Lee, Heungwing Joseph 1 Lessard, Laurent 1 Li, Aming 1 Li, Chensong 1 Li, Xiaoli 1 Li, Zhi 1 Liang, Li 1 Liu, Jing 1 Liu, Kairong 1 Liu, Ping 1 Liu, Qian 1 Liu, Yujing 1 Long, Lijun 1 Lyu, Ziliang 1 Mallik, Galib R. 1 Margaliot, Michael 1 Martínez, Sonia 1 Meissen, Chris 1 Meng, Yiming 1 Meyer, Pierre-Jean 1 Mote, Mark 1 Nilsson, Gustav 1 Nilsson, Petter 1 Oh, Kwang-Kyo ...and 49 more Authors all top 5 Cited in 19 Serials 19 Automatica 10 Nonlinear Analysis. Hybrid Systems 5 International Journal of Robust and Nonlinear Control 3 Journal of the Franklin Institute 2 Acta Informatica 2 SIAM Journal on Control and Optimization 2 Systems & Control Letters 2 Neural Networks 2 Discrete Event Dynamic Systems 2 European Journal of Control 2 Communications in Nonlinear Science and Numerical Simulation 1 Artificial Intelligence 1 International Journal of Control 1 Applied Mathematics and Optimization 1 MCSS. Mathematics of Control, Signals, and Systems 1 Journal of Partial Differential Equations 1 Mathematical Problems in Engineering 1 Asian Journal of Control 1 Control Theory and Technology all top 5 Cited in 14 Fields 57 Systems theory; control (93-XX) 17 Computer science (68-XX) 11 Operations research, mathematical programming (90-XX) 3 Ordinary differential equations (34-XX) 3 Biology and other natural sciences (92-XX) 2 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Probability theory and stochastic processes (60-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Difference and functional equations (39-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year