×
Author ID: coogan.samuel Recent zbMATH articles by "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

Publications by Year

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 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

Citations by Year