×
Author ID: coogan.samuel Recent zbMATH articles by "Coogan, Samuel"
Published as: Coogan, Samuel; Coogan, Sam
External Links: MGP · Google Scholar · dblp
Documents Indexed: 26 Publications since 2012, including 4 Additional arXiv Preprints
1 Further Contribution
Biographic References: 1 Publication
Co-Authors: 16 Co-Authors with 24 Joint Publications
273 Co-Co-Authors

Citations contained in zbMATH Open

15 Publications have been cited 101 times in 87 Documents Cited by Year
Efficient finite abstraction of mixed monotone systems. Zbl 1364.93238
Coogan, Samuel; Arcak, Murat
17
2015
Scaling the size of a formation using relative position feedback. Zbl 1271.93007
Coogan, Samuel; Arcak, Murat
15
2012
A compartmental model for traffic networks and its dynamical behavior. Zbl 1360.90085
Coogan, Samuel; Arcak, Murat
13
2015
A dissipativity approach to safety verification for interconnected systems. Zbl 1360.93309
Coogan, Samuel; Arcak, Murat
12
2015
Stability of traffic flow networks with a polytree topology. Zbl 1335.93109
Coogan, Samuel; Arcak, Murat
6
2016
Specification-guided verification and abstraction refinement of mixed monotone stochastic systems. Zbl 1467.93290
Dutreix, Maxence; Coogan, Samuel
6
2021
Traffic network control from temporal logic specifications. Zbl 1370.68198
Coogan, Samuel; Gol, Ebru Aydin; Arcak, Murat; Belta, Calin
6
2016
A contractive approach to separable Lyapunov functions for monotone systems. Zbl 1429.93290
Coogan, Samuel
5
2019
Abstraction-based synthesis for stochastic systems with omega-regular objectives. Zbl 1497.93069
Dutreix, Maxence; Huh, Jeongmin; Coogan, Samuel
5
2022
Formal methods for control of traffic flow: automated control synthesis from finite-state transition models. Zbl 1477.93149
Coogan, Samuel; Arcak, Murat; Belta, Calin
5
2017
A barrier function approach to finite-time stochastic system verification and control. Zbl 1461.93522
Santoyo, Cesar; Dutreix, Maxence; Coogan, Samuel
4
2021
Finite abstraction of mixed monotone systems with discrete and continuous inputs. Zbl 1351.93052
Coogan, Samuel; Arcak, Murat
4
2017
Robustly forward invariant sets for mixed-monotone systems. Zbl 1537.93536
Coogan, Samuel; Abate, Matthew
1
2022
Resource aware pricing for electric vehicle charging. Zbl 1507.91089
Santoyo, Cesar; Nilsson, Gustav; Coogan, Samuel
1
2023
Extent-compatible control barrier functions. Zbl 1478.93585
Srinivasan, Mohit; Abate, Matthew; Nilsson, Gustav; Coogan, Samuel
1
2021
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 1537.93536
Coogan, Samuel; Abate, Matthew
1
2022
Specification-guided verification and abstraction refinement of mixed monotone stochastic systems. Zbl 1467.93290
Dutreix, Maxence; Coogan, Samuel
6
2021
A barrier function approach to finite-time stochastic system verification and control. Zbl 1461.93522
Santoyo, Cesar; Dutreix, Maxence; Coogan, Samuel
4
2021
Extent-compatible control barrier functions. Zbl 1478.93585
Srinivasan, Mohit; Abate, Matthew; Nilsson, Gustav; Coogan, Samuel
1
2021
A contractive approach to separable Lyapunov functions for monotone systems. Zbl 1429.93290
Coogan, Samuel
5
2019
Formal methods for control of traffic flow: automated control synthesis from finite-state transition models. Zbl 1477.93149
Coogan, Samuel; Arcak, Murat; Belta, Calin
5
2017
Finite abstraction of mixed monotone systems with discrete and continuous inputs. Zbl 1351.93052
Coogan, Samuel; Arcak, Murat
4
2017
Stability of traffic flow networks with a polytree topology. Zbl 1335.93109
Coogan, Samuel; Arcak, Murat
6
2016
Traffic network control from temporal logic specifications. Zbl 1370.68198
Coogan, Samuel; Gol, Ebru Aydin; Arcak, Murat; Belta, Calin
6
2016
Efficient finite abstraction of mixed monotone systems. Zbl 1364.93238
Coogan, Samuel; Arcak, Murat
17
2015
A compartmental model for traffic networks and its dynamical behavior. Zbl 1360.90085
Coogan, Samuel; Arcak, Murat
13
2015
A dissipativity approach to safety verification for interconnected systems. Zbl 1360.93309
Coogan, Samuel; Arcak, Murat
12
2015
Scaling the size of a formation using relative position feedback. Zbl 1271.93007
Coogan, Samuel; Arcak, Murat
15
2012
all top 5

Cited by 187 Authors

6 Arcak, Murat
6 Coogan, Samuel
4 Girard, Antoine
4 Majumdar, Rupak
4 Mallik, Kaushik
4 Pang, Hongbo
4 Soudjani, Sadegh
3 Djamari, Djati Wibowo
3 Liu, Jun
3 Liu, Qian
3 Long, Lijun
3 López-Nicolás, Gonzalo
3 Pham Huu Anh Ngoc
3 Sagues, Carlos
3 Saoud, Adnane
3 Schmuck, Anne-Kathrin
2 Agahi, Hamed
2 Ahn, Hyo-Sung
2 Aranda, Miguel
2 Belta, Calin A.
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 Mazo, Manuel jun.
2 Meyer, Pierre-Jean
2 Park, Myoung-Chul
2 Sadraddini, Sadra
1 Abate, Alessandro
1 Abate, Matthew
1 Alasiri, Faisal
1 Al-saedi, Ahmed Eid Salem
1 Alur, Rajeev
1 Amin, Saurabh
1 Aragues, Rosario
1 Aydin Gol, Ebru
1 Azuma, Sun-Ichi
1 Boskos, Dimitris
1 Budiman, Bentang Arief
1 Chapman, Margaret P.
1 Chen, Jie
1 Chen, Silu
1 Chen, Zuwen
1 Čičič, Mladen
1 Clark, Andrew
1 Colombo, Leonardo Jesus
1 Daingade, Sangeeta
1 De Persis, Claudio
1 Delimpaltadakis, Giannis
1 Devonport, Alex
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 Feng, Lei
1 Feron, Eric
1 Fitzsimmons, Maxwell
1 Fooladivanda, Dariush
1 Fribourg, Laurent
1 Ghasemi, Kasra
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 Ivanov, Radoslav
1 Jafarpour, Saber
1 Jeong, Kyungmin
1 Jin, Li
1 Jing, Gangshan
1 Johansson, Karl Henrik
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 Lee, Insup
1 Lessard, Laurent
1 Li, Aming
1 Li, Chensong
1 Li, Dan
...and 87 more Authors

Citations by Year