Edit Profile (opens in new tab) Belta, Calin A. Compute Distance To: Compute Author ID: belta.calin-a Published as: Belta, Calin; Belta, Calin A.; Belta, Călin; Belţa, Călin more...less Documents Indexed: 53 Publications since 1997, including 1 Book 1 Further Contribution Biographic References: 1 Publication Co-Authors: 60 Co-Authors with 53 Joint Publications 997 Co-Co-Authors all top 5 Co-Authors 0 single-authored 9 Aydin Gol, Ebru 6 Černá, Ivana 5 Lazar, Mircea 5 Xiao, Wei 5 Yordanov, Boyan 4 Kloetzer, Marius 4 Svoreňová, Mária 3 Batt, Grégory 3 Cassandras, Christos G. 3 Chatterjee, Krishnendu 3 Chmelík, Martin 3 Ding, Xuchu 3 Jones, Austin H. 3 Kong, Zhaodan 3 Kumar, Vijay R. 3 Sadraddini, Sadra 3 Vasile, Cristian Ioan 3 Weiss, Ron 2 Alur, Rajeev 2 Andersson, Sean B. 2 Arcak, Murat 2 Barnat, Jiří 2 Bartocci, Ezio 2 Cohen, Max H. 2 Coogan, Samuel 2 Gu, Guoxiang 2 Habets, Luc C. G. J. M. 2 Haghighi, Iman 2 Ivančić, Franjo 2 Křetínský, Jan 2 Leahy, Kevin 2 Medina Ayala, Ana 2 Rubin, Harvey 2 Sparks, Andrew G. 2 Tůmová, Jana 1 Aksaray, Derya 1 Banda, Siva S. 1 Bombara, Giuseppe 1 Botan, Corneliu 1 Cassandras, G. Christos 1 Chen, Yushan 1 Deng, Kun 1 Eniser, Hasan Ferit 1 Finin, Peter 1 Ghasemi, Kasra 1 Gros, Radu 1 Halász, Ádám M. 1 How, Jonathan P. 1 Imieliński, Marcin 1 Kumar, R. Vijay 1 Lahijanian, Morteza 1 Mintz, Max 1 Penedo, Francisco 1 Rus, Daniela 1 Schug, Jonathan 1 Schwager, Mac 1 Serlin, Zachary 1 Smith, Stephen L. 1 Sokolsky, Oleg 1 Webb, Jonathan P. 1 Yasuoka, Hirotoshi all top 5 Serials 16 IEEE Transactions on Automatic Control 7 Automatica 3 Nonlinear Analysis. Hybrid Systems 3 IEEE Transactions on Control of Network Systems 2 IEEE Control Systems 1 Theoretical Computer Science 1 Circuits, Systems, and Signal Processing 1 Buletinul Institutului Politehnic din Iași. Secția Automatică și Calculatoare 1 Journal of Systems Science and Complexity 1 Studies in Systems, Decision and Control all top 5 Fields 42 Systems theory; control (93-XX) 27 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 10 Operations research, mathematical programming (90-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 7 Biology and other natural sciences (92-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 History and biography (01-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 40 Publications have been cited 312 times in 201 Documents Cited by ▼ Year ▼ A fully automated framework for control of linear systems from temporal logic specifications. Zbl 1367.93202Kloetzer, Marius; Belta, Calin 58 2008 Controlling a class of nonlinear systems on rectangles. Zbl 1366.93278Belta, Calin; Habets, Luc C. G. J. M. 54 2006 Formal methods for discrete-time dynamical systems. Zbl 1409.93003Belta, Calin; Yordanov, Boyan; Aydin Gol, Ebru 19 2017 Hybrid modeling and simulation of biomolecular networks. Zbl 0993.92010Alur, Rajeev; Belta, Calin; Ivančić, Franjo; Kumar, Vijay; Mintz, Max 15 2002 Temporal logic analysis of gene networks under parameter uncertainty. Zbl 1366.92077Batt, Grégory; Belta, Calin; Weiss, Ron 12 2008 Temporal logic control of discrete-time piecewise affine systems. Zbl 1369.93355Yordanov, Boyan; Tůmová, Jana; Černá, Ivana; Barnat, Jiří; Belta, Calin 11 2012 Model checking genetic regulatory networks with parameter uncertainty. Zbl 1221.93135Batt, Grégory; Belta, Calin; Weiss, Ron 10 2007 Formal verification and synthesis for discrete-time stochastic systems. Zbl 1360.93650Lahijanian, Morteza; Andersson, Sean B.; Belta, Calin 9 2015 Dealing with nondeterminism in symbolic control. Zbl 1143.68488Kloetzer, Marius; Belta, Calin 8 2008 Optimal control of Markov decision processes with linear temporal logic constraints. Zbl 1360.90276Ding, Xuchu; Smith, Stephen L.; Belta, Calin; Rus, Daniela 8 2014 Temporal logic inference for classification and prediction from data. Zbl 1362.68266Kong, Zhaodan; Jones, Austin; Medina Ayala, Ana; Aydin Gol, Ebru; Belta, Calin 8 2014 A fully automated framework for control of linear systems from LTL specifications. Zbl 1178.93067Kloetzer, Marius; Belta, Calin 6 2006 Formal analysis of discrete-time piecewise affine systems. Zbl 1368.93352Yordanov, Boyan; Belta, Calin 6 2010 Formal analysis of piecewise affine systems through formula-guided refinement. Zbl 1257.93030Yordanov, Boyan; Tůmová, Jana; Černá, Ivana; Barnat, Jiří; Belta, Calin 6 2013 Finite bisimulations for switched linear systems. Zbl 1360.93461Aydin Gol, Ebru; Ding, Xuchu; Lazar, Mircea; Belta, Calin 6 2014 Language-guided controller synthesis for linear systems. Zbl 1360.93424Gol, Ebru Aydin; Lazar, Mircea; Belta, Calin 6 2014 Understanding the bacterial stringent response using reachability analysis of hybrid systems. Zbl 1135.93334Belta, Călin; Finin, Peter; Habets, Luc C. G. J. M.; Halász, Ádám M.; Imieliński, Marcin; Kumar, R. Vijay; Rubin, Harvey 5 2004 A formal methods approach to pattern recognition and synthesis in reaction diffusion networks. Zbl 06995908Bartocci, Ezio; Gol, Ebru Aydin; Haghighi, Iman; Belta, Calin 5 2018 Temporal logics for learning and detection of anomalous behavior. Zbl 1368.68283Kong, Zhaodan; Jones, Austin; Belta, Calin 5 2017 SpaTeL: a novel spatial-temporal logic and its applications to networked systems. Zbl 1366.68170Haghighi, Iman; Jones, Austin; Kong, Zhaodan; Bartocci, Ezio; Gros, Radu; Belta, Calin 5 2015 A decision tree approach to data classification using signal temporal logic. Zbl 1366.68228Bombara, Giuseppe; Vasile, Cristian-Ioan; Penedo, Francisco; Yasuoka, Hirotoshi; Belta, Calin 5 2016 Reachability analysis of multi-affine systems. Zbl 1178.93026Kloetzer, Marius; Belta, Calin 4 2006 Language-guided controller synthesis for discrete-time linear systems. Zbl 1361.68114Aydin Gol, Ebru; Lazar, Mircea; Belta, Calin 4 2012 LTL receding horizon control for finite deterministic systems. Zbl 1364.49052Ding, Xuchu; Lazar, Mircea; Belta, Calin 4 2014 Formal guarantees in data-driven model identification and control synthesis. Zbl 1417.93115Sadraddini, Sadra; Belta, Calin 3 2018 Traffic network control from temporal logic specifications. Zbl 1370.68198Coogan, Samuel; Gol, Ebru Aydin; Arcak, Murat; Belta, Calin 3 2016 Towards abstraction and control for large groups of robots. Zbl 1051.93069Belta, Calin; Kumar, Vijay 3 2003 Temporal logic motion planning using POMDPs with parity objectives (case study paper). Zbl 1364.93521Svoreňová, Mária; Chmelík, Martin; Leahy, Kevin; Eniser, Hasan Ferit; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin 3 2015 Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Zbl 1364.93751Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin 3 2015 An approximate dynamic programming approach to multiagent persistent monitoring in stochastic environments with temporal logic constraints. Zbl 1390.93867Deng, Kun; Chen, Yushan; Belta, Calin 2 2017 Formal synthesis of control strategies for positive monotone systems. Zbl 1482.93189Sadraddini, Sadra; Belta, Calin 2 2019 Model checking liveness properties of genetic regulatory networks. Zbl 1186.92020Batt, Grégory; Belta, Calin; Weiss, Ron 2 2007 Compositional synthesis via a convex parameterization of assume-guarantee contracts. Zbl 07300857Ghasemi, Kasra; Sadraddini, Sadra; Belta, Calin 2 2020 Temporal logic model predictive control. Zbl 1323.93031Aydin Gol, Ebru; Lazar, Mircea; Belta, Calin 2 2015 Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Zbl 1351.93138Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin 2 2017 Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles. Zbl 1478.93460Xiao, Wei; Cassandras, Christos G.; Belta, Calin A. 2 2021 Translational and rotational invariance in networked dynamical systems. Zbl 07044951Vasile, Cristian-Ioan; Schwager, Mac; Belta, Calin 1 2018 Parameter synthesis for piecewise affine systems from temporal logic specifications. Zbl 1144.93321Yordanov, Boyan; Belta, Calin 1 2008 Safe exploration in model-based reinforcement learning using control barrier functions. Zbl 07630422Cohen, Max H.; Belta, Calin 1 2023 Formal methods for control of traffic flow: automated control synthesis from finite-state transition models. Zbl 1477.93149Coogan, Samuel; Arcak, Murat; Belta, Calin 1 2017 Safe exploration in model-based reinforcement learning using control barrier functions. Zbl 07630422Cohen, Max H.; Belta, Calin 1 2023 Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles. Zbl 1478.93460Xiao, Wei; Cassandras, Christos G.; Belta, Calin A. 2 2021 Compositional synthesis via a convex parameterization of assume-guarantee contracts. Zbl 07300857Ghasemi, Kasra; Sadraddini, Sadra; Belta, Calin 2 2020 Formal synthesis of control strategies for positive monotone systems. Zbl 1482.93189Sadraddini, Sadra; Belta, Calin 2 2019 A formal methods approach to pattern recognition and synthesis in reaction diffusion networks. Zbl 06995908Bartocci, Ezio; Gol, Ebru Aydin; Haghighi, Iman; Belta, Calin 5 2018 Formal guarantees in data-driven model identification and control synthesis. Zbl 1417.93115Sadraddini, Sadra; Belta, Calin 3 2018 Translational and rotational invariance in networked dynamical systems. Zbl 07044951Vasile, Cristian-Ioan; Schwager, Mac; Belta, Calin 1 2018 Formal methods for discrete-time dynamical systems. Zbl 1409.93003Belta, Calin; Yordanov, Boyan; Aydin Gol, Ebru 19 2017 Temporal logics for learning and detection of anomalous behavior. Zbl 1368.68283Kong, Zhaodan; Jones, Austin; Belta, Calin 5 2017 An approximate dynamic programming approach to multiagent persistent monitoring in stochastic environments with temporal logic constraints. Zbl 1390.93867Deng, Kun; Chen, Yushan; Belta, Calin 2 2017 Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Zbl 1351.93138Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin 2 2017 Formal methods for control of traffic flow: automated control synthesis from finite-state transition models. Zbl 1477.93149Coogan, Samuel; Arcak, Murat; Belta, Calin 1 2017 A decision tree approach to data classification using signal temporal logic. Zbl 1366.68228Bombara, Giuseppe; Vasile, Cristian-Ioan; Penedo, Francisco; Yasuoka, Hirotoshi; Belta, Calin 5 2016 Traffic network control from temporal logic specifications. Zbl 1370.68198Coogan, Samuel; Gol, Ebru Aydin; Arcak, Murat; Belta, Calin 3 2016 Formal verification and synthesis for discrete-time stochastic systems. Zbl 1360.93650Lahijanian, Morteza; Andersson, Sean B.; Belta, Calin 9 2015 SpaTeL: a novel spatial-temporal logic and its applications to networked systems. Zbl 1366.68170Haghighi, Iman; Jones, Austin; Kong, Zhaodan; Bartocci, Ezio; Gros, Radu; Belta, Calin 5 2015 Temporal logic motion planning using POMDPs with parity objectives (case study paper). Zbl 1364.93521Svoreňová, Mária; Chmelík, Martin; Leahy, Kevin; Eniser, Hasan Ferit; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin 3 2015 Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Zbl 1364.93751Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin 3 2015 Temporal logic model predictive control. Zbl 1323.93031Aydin Gol, Ebru; Lazar, Mircea; Belta, Calin 2 2015 Optimal control of Markov decision processes with linear temporal logic constraints. Zbl 1360.90276Ding, Xuchu; Smith, Stephen L.; Belta, Calin; Rus, Daniela 8 2014 Temporal logic inference for classification and prediction from data. Zbl 1362.68266Kong, Zhaodan; Jones, Austin; Medina Ayala, Ana; Aydin Gol, Ebru; Belta, Calin 8 2014 Finite bisimulations for switched linear systems. Zbl 1360.93461Aydin Gol, Ebru; Ding, Xuchu; Lazar, Mircea; Belta, Calin 6 2014 Language-guided controller synthesis for linear systems. Zbl 1360.93424Gol, Ebru Aydin; Lazar, Mircea; Belta, Calin 6 2014 LTL receding horizon control for finite deterministic systems. Zbl 1364.49052Ding, Xuchu; Lazar, Mircea; Belta, Calin 4 2014 Formal analysis of piecewise affine systems through formula-guided refinement. Zbl 1257.93030Yordanov, Boyan; Tůmová, Jana; Černá, Ivana; Barnat, Jiří; Belta, Calin 6 2013 Temporal logic control of discrete-time piecewise affine systems. Zbl 1369.93355Yordanov, Boyan; Tůmová, Jana; Černá, Ivana; Barnat, Jiří; Belta, Calin 11 2012 Language-guided controller synthesis for discrete-time linear systems. Zbl 1361.68114Aydin Gol, Ebru; Lazar, Mircea; Belta, Calin 4 2012 Formal analysis of discrete-time piecewise affine systems. Zbl 1368.93352Yordanov, Boyan; Belta, Calin 6 2010 A fully automated framework for control of linear systems from temporal logic specifications. Zbl 1367.93202Kloetzer, Marius; Belta, Calin 58 2008 Temporal logic analysis of gene networks under parameter uncertainty. Zbl 1366.92077Batt, Grégory; Belta, Calin; Weiss, Ron 12 2008 Dealing with nondeterminism in symbolic control. Zbl 1143.68488Kloetzer, Marius; Belta, Calin 8 2008 Parameter synthesis for piecewise affine systems from temporal logic specifications. Zbl 1144.93321Yordanov, Boyan; Belta, Calin 1 2008 Model checking genetic regulatory networks with parameter uncertainty. Zbl 1221.93135Batt, Grégory; Belta, Calin; Weiss, Ron 10 2007 Model checking liveness properties of genetic regulatory networks. Zbl 1186.92020Batt, Grégory; Belta, Calin; Weiss, Ron 2 2007 Controlling a class of nonlinear systems on rectangles. Zbl 1366.93278Belta, Calin; Habets, Luc C. G. J. M. 54 2006 A fully automated framework for control of linear systems from LTL specifications. Zbl 1178.93067Kloetzer, Marius; Belta, Calin 6 2006 Reachability analysis of multi-affine systems. Zbl 1178.93026Kloetzer, Marius; Belta, Calin 4 2006 Understanding the bacterial stringent response using reachability analysis of hybrid systems. Zbl 1135.93334Belta, Călin; Finin, Peter; Habets, Luc C. G. J. M.; Halász, Ádám M.; Imieliński, Marcin; Kumar, R. Vijay; Rubin, Harvey 5 2004 Towards abstraction and control for large groups of robots. Zbl 1051.93069Belta, Calin; Kumar, Vijay 3 2003 Hybrid modeling and simulation of biomolecular networks. Zbl 0993.92010Alur, Rajeev; Belta, Calin; Ivančić, Franjo; Kumar, Vijay; Mintz, Max 15 2002 all cited Publications top 5 cited Publications all top 5 Cited by 436 Authors 12 Girard, Antoine 7 Abate, Alessandro 7 Belta, Calin A. 7 Dimarogonas, Dimos V. 6 Bortolussi, Luca 6 Seshia, Sanjit Arunkumar 5 Bartocci, Ezio 5 Brim, Luboš 5 Piazza, Carla 5 Pola, Giordano 4 Aydin Gol, Ebru 4 Broucke, Mireille E. 4 Chatterjee, Krishnendu 4 Di Benedetto, Maria Domenica 4 Lazar, Mircea 4 Liu, Jun 4 Ozay, Necmiye 4 Policriti, Alberto 4 Šafránek, David 4 Zamani, Majid 3 Černá, Ivana 3 Cummins, Bree 3 Dang, Thao 3 Deshmukh, Jyotirmoy V. 3 Gedeon, Tomáš 3 Kavraki, Lydia E. 3 Kress-Gazit, Hadas 3 Lavaei, Abolfazl 3 Loreti, Michele 3 Lygeros, John 3 Majumdar, Rupak 3 Nenzi, Laura 3 Nickovic, Dejan 3 Ornik, Melkior 3 Saoud, Adnane 3 Soudjani, Sadegh 3 Tkachev, Ilya 3 Troina, Angelo 3 Tůmová, Jana 2 Althoff, Matthias 2 Apaza-Perez, W. Alejandro 2 Arcak, Murat 2 Barbuti, Roberto 2 Barnat, Jiří 2 Ben Sassi, Mohamed Amin 2 Bioglio, Livio 2 Borri, Alessandro 2 Boskos, Dimitris 2 Campagna, Dario 2 Češka, Milan 2 Chaves, Madalena 2 Chen, Zengqiang 2 Ciancia, Vincenzo 2 Combastel, Christophe 2 Coogan, Samuel 2 DeCastro, Jonathan A. 2 Dezani-Ciancaglini, Mariangiola 2 Donzé, Alexandre 2 Dražan, S. 2 Fages, François 2 Forootani, Ali 2 Frazzoli, Emilio 2 Han, Xiaoguang 2 Heemels, Maurice W. P. M. H. 2 Jha, Susmit 2 Jin, Xiaoqing 2 Kamgarpour, Maryam 2 Karaman, Sertac 2 Katoen, Joost-Pieter 2 Křetínský, Jan 2 Kwiatkowska, Marta Z. 2 Le Guernic, Colas 2 Leth, John 2 Lin, Hai 2 Mahulea, Cristian 2 Massink, Mieke 2 Mazo, Manuel jun. 2 Mereacre, Alexandru 2 Milazzo, Paolo 2 Mischaikow, Konstantin 2 Norman, Gethin 2 Paoletti, Nicola 2 Pepe, Pierdomenico 2 Raisch, Jörg 2 Ramdani, Nacim 2 Rungger, Matthias 2 Sanfelice, Ricardo G. 2 Schmuck, Anne-Kathrin 2 Summers, Sean 2 Svoreňová, Mária 2 Tabuada, Paulo 2 Tipaldi, Massimo 2 Vardi, Moshe Ya’akov 2 Wisniewski, Rafael 2 Zolghadri, Ali 1 Adjé, Assalé 1 Adzkiya, Dieky 1 Agahi, Hamed 1 Ahrendt, Wolfgang 1 Aiguier, Marc ...and 336 more Authors all top 5 Cited in 38 Serials 33 Automatica 16 Nonlinear Analysis. Hybrid Systems 14 Theoretical Computer Science 8 Discrete Event Dynamic Systems 6 Systems & Control Letters 6 International Journal of Robust and Nonlinear Control 5 International Journal of Control 4 Acta Informatica 4 Journal of the Franklin Institute 4 Formal Methods in System Design 4 European Journal of Control 3 Artificial Intelligence 3 Information and Computation 2 International Journal of Applied Mathematics and Computer Science 2 SIAM Journal on Applied Dynamical Systems 2 Logical Methods in Computer Science 1 Journal of Mathematical Analysis and Applications 1 Journal of Mathematical Biology 1 Mathematical Biosciences 1 Physica A 1 Information Sciences 1 Journal of Optimization Theory and Applications 1 SIAM Journal on Control and Optimization 1 Physica D 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Real-Time Systems 1 European Journal of Operational Research 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Journal of Systems Science and Complexity 1 Journal of Intelligent and Fuzzy Systems 1 Mathematics in Computer Science 1 Science China. Information Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Asian Journal of Control 1 Journal of Theoretical Biology 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 19 Fields 122 Systems theory; control (93-XX) 98 Computer science (68-XX) 32 Biology and other natural sciences (92-XX) 30 Mathematical logic and foundations (03-XX) 26 Operations research, mathematical programming (90-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Calculus of variations and optimal control; optimization (49-XX) 7 Ordinary differential equations (34-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Probability theory and stochastic processes (60-XX) 4 Numerical analysis (65-XX) 3 Combinatorics (05-XX) 3 Statistics (62-XX) 3 Information and communication theory, circuits (94-XX) 2 Mechanics of particles and systems (70-XX) 1 Partial differential equations (35-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year