×

zbMATH — the first resource for mathematics

Topcu, Ufuk

Compute Distance To:
Author ID: topcu.ufuk Recent zbMATH articles by "Topcu, Ufuk"
Published as: Topcu, Ufuk; Topcu, U.
Documents Indexed: 44 Publications since 2008

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 176 times in 153 Documents Cited by Year
Receding horizon control for temporal logic specifications. Zbl 1360.68605
Wongpiromsarn, Tichakorn; Topcu, Ufuk; Murray, Richard M.
39
2010
Local stability analysis using simulations and sum-of-squares programming. Zbl 1155.93417
Topcu, Ufuk; Packard, Andrew; Seiler, Peter
21
2008
Design and stability of load-side primary frequency control in power systems. Zbl 1360.90057
Zhao, Changhong; Topcu, Ufuk; Li, Na; Low, Steven
21
2014
Robust region-of-attraction estimation. Zbl 1368.93510
Topcu, Ufuk; Packard, Andrew K.; Seiler, Peter; Balas, Gary J.
15
2010
Synthesis of reactive switching protocols from temporal logic specifications. Zbl 1369.93307
Liu, Jun; Ozay, Necmiye; Topcu, Ufuk; Murray, Richard M.
10
2013
Exact convex relaxation of optimal power flow in radial networks. Zbl 1360.90048
Gan, Lingwen; Li, Na; Topcu, Ufuk; Low, Steven H.
10
2015
Local stability analysis for uncertain nonlinear systems. Zbl 1367.93483
Topcu, Ufuk; Packard, Andrew
9
2009
Receding horizon temporal logic planning. Zbl 1369.93392
Wongpiromsarn, Tichakorn; Topcu, Ufuk; Murray, Richard M.
8
2012
Differentially private distributed constrained optimization. Zbl 1359.90167
Han, Shuo; Topcu, Ufuk; Pappas, George J.
7
2017
Parameter-dependent Lyapunov functions for linear systems with constant uncertainties. Zbl 1367.93480
Seiler, Peter; Topcu, Ufuk; Packard, Andy; Balas, Gary
6
2009
On synthesizing robust discrete controllers under modeling uncertainty. Zbl 1362.68190
Topcu, Ufuk; Ozay, Necmiye; Liu, Jun; Murray, Richard M.
4
2012
Pattern-based refinement of assume-guarantee specifications in reactive synthesis. Zbl 1420.68116
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
3
2015
Quantitative local \(L_2\)-gain and reachability analysis for nonlinear systems. Zbl 1286.93032
Summers, Erin; Chakraborty, Abhijit; Tan, Weehong; Topcu, Ufuk; Seiler, Peter; Balas, Gary; Packard, Andrew
3
2013
Parameter estimation with expected and residual-at-risk criteria. Zbl 1154.93038
Calafiore, Giuseppe; Topcu, Ufuk; El Ghaoui, Laurent
3
2009
Resilience to intermittent assumption violations in reactive synthesis. Zbl 1361.68146
Ehlers, Rüdiger; Topcu, Ufuk
3
2014
An automaton learning approach to solving safety games over infinite graphs. Zbl 1420.68109
Neider, Daniel; Topcu, Ufuk
2
2016
Analysis of autocatalytic networks in biology. Zbl 1235.93020
Buzi, Gentian; Topcu, Ufuk; Doyle, John C.
2
2011
Synthesis of joint control and active sensing strategies under temporal logic constraints. Zbl 1359.68192
Fu, Jie; Topcu, Ufuk
2
2016
Compositional synthesis of reactive controllers for multi-agent systems. Zbl 1411.68156
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
1
2016
Convex optimal uncertainty quantification. Zbl 1317.90236
Han, Shuo; Tao, Molei; Topcu, Ufuk; Owhadi, Houman; Murray, Richard M.
1
2015
Automata theory meets barrier certificates: temporal logic verification of nonlinear systems. Zbl 1359.68200
Wongpiromsarn, Tichakorn; Topcu, Ufuk; Lamperski, Andrew
1
2016
Manifold-following approximate solution of completely hypersensitive optimal control problems. Zbl 1346.49040
Aykutlug, Erkut; Topcu, Ufuk; Mease, Kenneth D.
1
2016
Estimator-based reactive synthesis under incomplete information. Zbl 1366.68167
Ehlers, Rüdiger; Topcu, Ufuk
1
2015
Case studies in data-driven verification of dynamical systems. Zbl 1366.68175
Kozarev, Alexandar; Quindlen, John; How, Jonathan; Topcu, Ufuk
1
2016
Compositional synthesis with parametric reactive controllers. Zbl 1364.93252
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
1
2016
Reactive synthesis with maximum realizability of linear temporal logic specifications. Zbl 1435.68193
Dimitrova, Rayna; Ghasemi, Mahsa; Topcu, Ufuk
1
2020
Reactive synthesis with maximum realizability of linear temporal logic specifications. Zbl 1435.68193
Dimitrova, Rayna; Ghasemi, Mahsa; Topcu, Ufuk
1
2020
Differentially private distributed constrained optimization. Zbl 1359.90167
Han, Shuo; Topcu, Ufuk; Pappas, George J.
7
2017
An automaton learning approach to solving safety games over infinite graphs. Zbl 1420.68109
Neider, Daniel; Topcu, Ufuk
2
2016
Synthesis of joint control and active sensing strategies under temporal logic constraints. Zbl 1359.68192
Fu, Jie; Topcu, Ufuk
2
2016
Compositional synthesis of reactive controllers for multi-agent systems. Zbl 1411.68156
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
1
2016
Automata theory meets barrier certificates: temporal logic verification of nonlinear systems. Zbl 1359.68200
Wongpiromsarn, Tichakorn; Topcu, Ufuk; Lamperski, Andrew
1
2016
Manifold-following approximate solution of completely hypersensitive optimal control problems. Zbl 1346.49040
Aykutlug, Erkut; Topcu, Ufuk; Mease, Kenneth D.
1
2016
Case studies in data-driven verification of dynamical systems. Zbl 1366.68175
Kozarev, Alexandar; Quindlen, John; How, Jonathan; Topcu, Ufuk
1
2016
Compositional synthesis with parametric reactive controllers. Zbl 1364.93252
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
1
2016
Exact convex relaxation of optimal power flow in radial networks. Zbl 1360.90048
Gan, Lingwen; Li, Na; Topcu, Ufuk; Low, Steven H.
10
2015
Pattern-based refinement of assume-guarantee specifications in reactive synthesis. Zbl 1420.68116
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
3
2015
Convex optimal uncertainty quantification. Zbl 1317.90236
Han, Shuo; Tao, Molei; Topcu, Ufuk; Owhadi, Houman; Murray, Richard M.
1
2015
Estimator-based reactive synthesis under incomplete information. Zbl 1366.68167
Ehlers, Rüdiger; Topcu, Ufuk
1
2015
Design and stability of load-side primary frequency control in power systems. Zbl 1360.90057
Zhao, Changhong; Topcu, Ufuk; Li, Na; Low, Steven
21
2014
Resilience to intermittent assumption violations in reactive synthesis. Zbl 1361.68146
Ehlers, Rüdiger; Topcu, Ufuk
3
2014
Synthesis of reactive switching protocols from temporal logic specifications. Zbl 1369.93307
Liu, Jun; Ozay, Necmiye; Topcu, Ufuk; Murray, Richard M.
10
2013
Quantitative local \(L_2\)-gain and reachability analysis for nonlinear systems. Zbl 1286.93032
Summers, Erin; Chakraborty, Abhijit; Tan, Weehong; Topcu, Ufuk; Seiler, Peter; Balas, Gary; Packard, Andrew
3
2013
Receding horizon temporal logic planning. Zbl 1369.93392
Wongpiromsarn, Tichakorn; Topcu, Ufuk; Murray, Richard M.
8
2012
On synthesizing robust discrete controllers under modeling uncertainty. Zbl 1362.68190
Topcu, Ufuk; Ozay, Necmiye; Liu, Jun; Murray, Richard M.
4
2012
Analysis of autocatalytic networks in biology. Zbl 1235.93020
Buzi, Gentian; Topcu, Ufuk; Doyle, John C.
2
2011
Receding horizon control for temporal logic specifications. Zbl 1360.68605
Wongpiromsarn, Tichakorn; Topcu, Ufuk; Murray, Richard M.
39
2010
Robust region-of-attraction estimation. Zbl 1368.93510
Topcu, Ufuk; Packard, Andrew K.; Seiler, Peter; Balas, Gary J.
15
2010
Local stability analysis for uncertain nonlinear systems. Zbl 1367.93483
Topcu, Ufuk; Packard, Andrew
9
2009
Parameter-dependent Lyapunov functions for linear systems with constant uncertainties. Zbl 1367.93480
Seiler, Peter; Topcu, Ufuk; Packard, Andy; Balas, Gary
6
2009
Parameter estimation with expected and residual-at-risk criteria. Zbl 1154.93038
Calafiore, Giuseppe; Topcu, Ufuk; El Ghaoui, Laurent
3
2009
Local stability analysis using simulations and sum-of-squares programming. Zbl 1155.93417
Topcu, Ufuk; Packard, Andrew; Seiler, Peter
21
2008
all top 5

Cited by 391 Authors

4 Arcak, Murat
4 Cortés, Jorge
4 Papachristodoulou, Antonis
4 Topcu, Ufuk
3 Chatterjee, Krishnendu
3 Cherukuri, Ashish
3 Deshmukh, Jyotirmoy V.
3 Dimarogonas, Dimos V.
3 Hong, Yiguang
3 Iannelli, Andrea
3 Lin, Guihua
3 Liu, Feng
3 Packard, Andrew K.
3 Péni, Tamás
3 Rungger, Matthias
3 Seiler, Peter J.
3 Seshia, Sanjit Arunkumar
3 Tabuada, Paulo
3 Tůmová, Jana
3 Wang, Zhaojian
3 Yi, Peng
3 Zhang, Jin
2 Abate, Alessandro
2 Alrajeh, Dalal
2 Althoff, Matthias
2 Alur, Rajeev
2 Balkan, Ayça
2 Belta, Calin
2 Bloem, Roderick
2 Cavezza, Davide Giacomo
2 Coogan, Samuel
2 Heemels, Maurice W. P. M. H.
2 Jha, Susmit
2 Kamgarpour, Maryam
2 Kapinski, James
2 Kress-Gazit, Hadas
2 Křetínský, Jan
2 Krogh, Bruce H.
2 Kuhn, Daniel
2 Lazar, Mircea
2 Lei, Jinlong
2 Lestas, Ioannis Charalambou
2 Liu, Jun
2 Lygeros, John
2 Marcos, Andrés
2 Moarref, Salar
2 Ozay, Necmiye
2 Piterman, Nir
2 Pnueli, Amir
2 Polcz, Péter
2 Rustem, Berc
2 Schürmann, Bastian
2 Summers, Sean
2 Szederkényi, Gábor
2 Tkachev, Ilya
2 Yang, Peng
2 Zhan, Naijun
1 Ahbe, Eva
1 Ahmadi, Amir Ali
1 Ahrendt, Wolfgang
1 Aksaray, Derya
1 Almagor, Shaull
1 Alshiekh, Mohammed
1 Ames, Aaron D.
1 Aréchiga, Nikos
1 Aydin Gol, Ebru
1 Bako, Laurent
1 Balas, Gary J.
1 Barber, Phil
1 Bartocci, Ezio
1 Bayen, Alexandre M.
1 Beck, Amir
1 Beck, Yuval
1 Becker-Weimann, Sabine
1 Bemporad, Alberto
1 Benerecetti, Massimo
1 Bianculli, Domenico
1 Bissell, Mina J.
1 Bloch, Gérard
1 Boskos, Dimitris
1 Bourke, Timothy
1 Braatz, Richard D.
1 Brake, Dani A.
1 Broucke, Mireille E.
1 Bruggeman, Frank J.
1 Bu, Xiangyu
1 Bürger, Mathias
1 Burlion, Laurent
1 Bushnell, Linda G.
1 Buzi, Gentian
1 Buzna, L’uboš
1 Cao, Jinde
1 Cao, Ming
1 Carvalho, Rui
1 Černá, Ivana
1 Chakraborty, Abhijit
1 Chang, Chin-Yao
1 Chang, Yo-Cheng
1 Chapoutot, Alexandre
1 Chechik, Marsha
...and 291 more Authors
all top 5

Cited in 43 Serials

27 Automatica
12 Systems & Control Letters
9 Nonlinear Analysis. Hybrid Systems
6 International Journal of Robust and Nonlinear Control
5 Discrete Event Dynamic Systems
4 Journal of the Franklin Institute
4 SIAM Journal on Control and Optimization
4 Formal Methods in System Design
3 European Journal of Operational Research
3 Mathematical Problems in Engineering
2 Acta Informatica
2 Formal Aspects of Computing
2 Mathematical Programming. Series A. Series B
2 Complexity
2 European Journal of Control
2 SIAM Journal on Applied Dynamical Systems
1 International Journal of Control
1 Mathematical Biosciences
1 Information Sciences
1 Journal of Computer and System Sciences
1 Journal of Optimization Theory and Applications
1 Operations Research
1 Theoretical Computer Science
1 Information and Computation
1 Journal of Automated Reasoning
1 Neural Networks
1 Journal of Global Optimization
1 Applied Mathematical Modelling
1 Automation and Remote Control
1 Journal of Nonlinear Science
1 ACM Transactions on Modeling and Computer Simulation
1 Constraints
1 Abstract and Applied Analysis
1 New Journal of Physics
1 Communications in Nonlinear Science and Numerical Simulation
1 International Journal of Applied Mathematics and Computer Science
1 Optimization and Engineering
1 Discrete and Continuous Dynamical Systems. Series B
1 Computational Management Science
1 Mathematics in Computer Science
1 Journal of the Operations Research Society of China
1 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 SIAM Journal on Applied Algebra and Geometry

Citations by Year