Edit Profile Abate, Alessandro Compute Distance To: Compute Author ID: abate.alessandro Published as: Abate, A.; Abate, Alessandro External Links: MGP Documents Indexed: 75 Publications since 2006, including 3 Books all top 5 Co-Authors 1 single-authored 10 Esmaeil Zadeh Soudjani, Sadegh 9 Sastry, Shankar S. 9 Tkachev, Ilya 8 Lygeros, John 7 Kwiatkowska, Marta Z. 7 Zhang, Wei 6 Adzkiya, Dieky 6 Hu, Jianghai 6 Katoen, Joost-Pieter 6 Zamani, Majid 5 Prandini, Maria 4 Cardelli, Luca 4 D’Innocenzo, Alessandro 4 Haesaert, Sofie 4 Kröning, Daniel 4 Laurenti, Luca 4 Majumdar, Rupak 3 Češka, Milan 3 Di Benedetto, Maria Domenica 3 Mereacre, Alexandru 3 Mufid, Muhammad Syifa’ul 3 Tomlin, Claire J. 2 Amin, Saurabh 2 Bessa, Iury 2 Cattaruzza, Dario 2 Cauchi, Nathalie 2 Cordeiro, Lucas 2 David, Cristina 2 De Schutter, Bart 2 Kesseli, Pascal 2 Lahijanian, Morteza 2 Polgreen, Elizabeth 2 Sabelis, Maurice W. 2 Staňková, Kateřina 2 Van den Hof, Paul M. J. 2 Vitus, Michael P. 1 Balandat, Maximilian 1 Bian, Gaoang 1 Boldo, Sylvie 1 Bortolussi, Luca 1 Brim, Luboš 1 Chen, Minghua 1 Cimatti, Alessandro 1 Ding, Jerry 1 Fränzle, Martin 1 Geeraerts, Gilles 1 Gerwinn, Sebastian 1 Girard, Antoine 1 Hasanbeig, Mohammadhosein 1 Hillen, Robert C. 1 Indelman, Vadim 1 Kamgarpour, Maryam 1 Khaled, Mahmoud 1 Kröger, Paul 1 Mazo, Manuel jun. 1 Micheli, Andrea 1 Mohajerin Esfahani, Peyman 1 Norman, Gethin 1 Parker, David F. 1 Pathak, Shashank 1 Redig, Frank 1 Šafránek, David 1 Schrammel, Peter 1 Soudjani, Sadegh 1 Summers, Sean 1 Tiwari, Ashish Kumar 1 Wahl, S. Aljoscha 1 Wang, Yue 1 Wijesuriya, V. B. 1 Yordanov, Boyan 1 Zakhor, Avideh 1 Zhang, Yining 1 Zhao, Lin all top 5 Serials 9 IEEE Transactions on Automatic Control 8 Automatica 3 Systems & Control Letters 3 Lecture Notes in Computer Science 2 Acta Informatica 2 Discrete Event Dynamic Systems 2 International Journal of Robust and Nonlinear Control 1 Journal of Mathematical Biology 1 SIAM Journal on Control and Optimization 1 Theoretical Computer Science 1 Statistics & Probability Letters 1 Information and Computation 1 European Journal of Control 1 SIAM Journal on Applied Dynamical Systems 1 Logical Methods in Computer Science 1 Nonlinear Analysis. Hybrid Systems 1 IEEE Transactions on Control of Network Systems all top 5 Fields 41 Systems theory; control (93-XX) 35 Computer science (68-XX) 22 Probability theory and stochastic processes (60-XX) 9 Biology and other natural sciences (92-XX) 8 Calculus of variations and optimal control; optimization (49-XX) 7 Operations research, mathematical programming (90-XX) 3 General and overarching topics; collections (00-XX) 3 Numerical analysis (65-XX) 2 Mathematical logic and foundations (03-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) 1 Ordinary differential equations (34-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 53 Publications have been cited 308 times in 164 Documents Cited by ▼ Year ▼ Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Zbl 1152.93051Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar 38 2008 Exponential stabilization of discrete-time switched linear systems. Zbl 1183.93118Zhang, Wei; Abate, Alessandro; Hu, Jianghai; Vitus, Michael P. 24 2009 Infinite-horizon switched LQR problems in discrete time: a suboptimal algorithm with performance analysis. Zbl 1369.93357Zhang, Wei; Hu, Jianghai; Abate, Alessandro 19 2012 Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes. Zbl 1278.93243Zadeh Soudjani, Sadegh Esmaeil; Abate, Alessandro 17 2013 Box invariance in biologically-inspired dynamical systems. Zbl 1197.34088Abate, Alessandro; Tiwari, Ashish; Sastry, Shankar 17 2009 On the value functions of the discrete-time switched LQR problem. Zbl 1367.93291Zhang, Wei; Hu, Jianghai; Abate, Alessandro 16 2009 Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. Zbl 1377.93156Zamani, Majid; Abate, Alessandro; Girard, Antoine 13 2015 Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John 13 2014 Approximate model checking of stochastic hybrid systems. Zbl 1216.93091Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria 11 2010 Approximately bisimilar symbolic models for randomly switched stochastic systems. Zbl 1288.93098Zamani, Majid; Abate, Alessandro 10 2014 On efficient sensor scheduling for linear dynamical systems. Zbl 1271.93152Vitus, Michael P.; Zhang, Wei; Abate, Alessandro; Hu, Jianghai; Tomlin, Claire J. 9 2012 Computational approaches to reachability analysis of stochastic hybrid systems. Zbl 1221.93030Abate, Alessandro; Amin, Saurabh; Prandini, Maria; Lygeros, John; Sastry, Shankar 8 2007 Reachability analysis for controlled discrete time stochastic hybrid systems. Zbl 1178.93069Amin, Saurabh; Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar 8 2006 Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro 7 2013 Computational techniques for reachability analysis of Max-Plus-Linear systems. Zbl 1371.93035Adzkiya, Dieky; De Schutter, Bart; Abate, Alessandro 6 2015 Finite abstractions of max-plus-linear systems. Zbl 1369.93370Adzkiya, Dieky; De Schutter, Bart; Abate, Alessandro 6 2013 Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. Zbl 1362.68187Tkachev, Ilya; Abate, Alessandro 6 2013 On infinite horizon switched LQR problems with state and control constraints. Zbl 1250.93068Balandat, Maximilian; Zhang, Wei; Abate, Alessandro 6 2012 On the optimal solutions of the infinite-horizon linear sensor scheduling problem. Zbl 1360.90136Zhao, Lin; Zhang, Wei; Hu, Jianghai; Abate, Alessandro; Tomlin, Claire J. 5 2014 Robust PCTL model checking. Zbl 1361.68140D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter 5 2012 Approximate abstractions of stochastic hybrid systems. Zbl 1368.93655Abate, Alessandro; D’Innocenzo, Alessandro; Di Benedetto, Maria D. 5 2011 A stochastic games framework for verification and control of discrete time stochastic hybrid systems. Zbl 1364.93857Ding, Jerry; Kamgarpour, Maryam; Summers, Sean; Abate, Alessandro; Lygeros, John; Tomlin, Claire 4 2013 Quantitative automata model checking of autonomous stochastic hybrid systems. Zbl 1361.68130Abate, Alessandro; Katoen, Joost-Pieter; Mereacre, Alexandru 4 2011 Verification of general Markov decision processes by approximate similarity relations and policy refinement. Zbl 1367.93615Haesaert, Sofie; Zadeh Soudjani, Sadegh Esmaeil; Abate, Alessandro 3 2017 Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak 3 2017 Quantitative approximation of the probability distribution of a Markov process by formal abstractions. Zbl 1342.60120Abate, Alessandro; Soudjani, Sadegh Esmaeil Zadeh 3 2015 Bisimilar symbolic models for stochastic control systems without state-space discretization. Zbl 1362.93147Zamani, Majid; Tkachev, Ilya; Abate, Alessandro 3 2014 Characterization and computation of infinite-horizon specifications over Markov processes. Zbl 1293.68194Tkachev, Ilya; Abate, Alessandro 3 2014 Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey. Zbl 1334.68128Abate, Alessandro 3 2013 Approximation of general stochastic hybrid systems by switching diffusions with random hybrid jumps. Zbl 1144.93368Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar 3 2008 Towards scalable synthesis of stochastic control systems. Zbl 1379.93087Zamani, Majid; Tkachev, Ilya; Abate, Alessandro 2 2017 Formal verification of stochastic max-plus-linear systems. Zbl 1359.68188Esmaeil Zadeh Soudjani, Sadegh; Adzkiya, Dieky; Abate, Alessandro 2 2016 Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David 2 2014 Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model. Zbl 1260.49046Staňková, Kateřina; Abate, Alessandro; Sabelis, Maurice W. 2 2013 Piecewise affine approximations of fluxes and enzyme kinetics from in vivo \(^{13}\text{C}\) labeling experiments. Zbl 1258.93016Abate, Alessandro; Hillen, Robert C.; Wahl, S. Aljoscha 2 2012 Understanding deadlock and livelock behaviors in hybrid control systems. Zbl 1166.93304Abate, Alessandro; D’Innocenzo, Alessandro; di Benedetto, Maria Domenica; Sastry, Shankar 2 2009 Markov set-chains as abstractions of stochastic hybrid systems. Zbl 1144.93367Abate, Alessandro; D’Innocenzo, Alessandro; Di Benedetto, Maria D.; Sastry, Shankar S. 2 2008 Poster abstract: StocHy – automated verification and synthesis of stochastic processes. Zbl 07120162Cauchi, Nathalie; Abate, Alessandro 1 2019 Data-driven and model-based verification via Bayesian identification and reachability analysis. Zbl 1371.93187Haesaert, Sofie; van den Hof, Paul M. J.; Abate, Alessandro 1 2017 Sound and automated synthesis of digital stabilizing controllers for continuous plants. Zbl 1369.93189Abate, Alessandro; Bessa, Iury; Cattaruzza, Dario; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel 1 2017 Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta 1 2017 On the relationship between bisimulation and trace equivalence in an approximate probabilistic context. Zbl 06720998Bian, Gaoang; Abate, Alessandro 1 2017 Quantitative model-checking of controlled discrete-time Markov processes. Zbl 1359.68199Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro 1 2017 Verification of general Markov decision processes by approximate similarity relations and policy refinement. Zbl 1377.68131Haesaert, Sofie; Abate, Alessandro; Van den Hof, Paul M. J. 1 2016 VeriSIMPL 2: an open-source software for the verification of max-plus-linear systems. Zbl 1332.93255Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro 1 2016 Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta 1 2015 Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak 1 2015 On approximation metrics for linear temporal model-checking of stochastic systems. Zbl 1362.68188Tkachev, Ilya; Abate, Alessandro 1 2014 Probabilistic reach-avoid computation for partially degenerate stochastic processes. Zbl 1360.93656Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro 1 2014 On the effect of perturbation of conditional probabilities in total variation. Zbl 1370.60006Abate, Alessandro; Redig, Frank; Tkachev, Ilya 1 2014 Regularization of Bellman equations for infinite-horizon probabilistic properties. Zbl 1362.68186Tkachev, Ilya; Abate, Alessandro 1 2012 Higher-order approximations for verification of stochastic hybrid systems. Zbl 1374.68280Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro 1 2012 Probabilistic safety and optimal control for survival analysis of bacillus subtilis. Zbl 1188.49036Abate, Alessandro; Lygeros, John; Sastry, Shankar S. 1 2010 Poster abstract: StocHy – automated verification and synthesis of stochastic processes. Zbl 07120162Cauchi, Nathalie; Abate, Alessandro 1 2019 Verification of general Markov decision processes by approximate similarity relations and policy refinement. Zbl 1367.93615Haesaert, Sofie; Zadeh Soudjani, Sadegh Esmaeil; Abate, Alessandro 3 2017 Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak 3 2017 Towards scalable synthesis of stochastic control systems. Zbl 1379.93087Zamani, Majid; Tkachev, Ilya; Abate, Alessandro 2 2017 Data-driven and model-based verification via Bayesian identification and reachability analysis. Zbl 1371.93187Haesaert, Sofie; van den Hof, Paul M. J.; Abate, Alessandro 1 2017 Sound and automated synthesis of digital stabilizing controllers for continuous plants. Zbl 1369.93189Abate, Alessandro; Bessa, Iury; Cattaruzza, Dario; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel 1 2017 Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta 1 2017 On the relationship between bisimulation and trace equivalence in an approximate probabilistic context. Zbl 06720998Bian, Gaoang; Abate, Alessandro 1 2017 Quantitative model-checking of controlled discrete-time Markov processes. Zbl 1359.68199Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro 1 2017 Formal verification of stochastic max-plus-linear systems. Zbl 1359.68188Esmaeil Zadeh Soudjani, Sadegh; Adzkiya, Dieky; Abate, Alessandro 2 2016 Verification of general Markov decision processes by approximate similarity relations and policy refinement. Zbl 1377.68131Haesaert, Sofie; Abate, Alessandro; Van den Hof, Paul M. J. 1 2016 VeriSIMPL 2: an open-source software for the verification of max-plus-linear systems. Zbl 1332.93255Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro 1 2016 Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. Zbl 1377.93156Zamani, Majid; Abate, Alessandro; Girard, Antoine 13 2015 Computational techniques for reachability analysis of Max-Plus-Linear systems. Zbl 1371.93035Adzkiya, Dieky; De Schutter, Bart; Abate, Alessandro 6 2015 Quantitative approximation of the probability distribution of a Markov process by formal abstractions. Zbl 1342.60120Abate, Alessandro; Soudjani, Sadegh Esmaeil Zadeh 3 2015 Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta 1 2015 Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak 1 2015 Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John 13 2014 Approximately bisimilar symbolic models for randomly switched stochastic systems. Zbl 1288.93098Zamani, Majid; Abate, Alessandro 10 2014 On the optimal solutions of the infinite-horizon linear sensor scheduling problem. Zbl 1360.90136Zhao, Lin; Zhang, Wei; Hu, Jianghai; Abate, Alessandro; Tomlin, Claire J. 5 2014 Bisimilar symbolic models for stochastic control systems without state-space discretization. Zbl 1362.93147Zamani, Majid; Tkachev, Ilya; Abate, Alessandro 3 2014 Characterization and computation of infinite-horizon specifications over Markov processes. Zbl 1293.68194Tkachev, Ilya; Abate, Alessandro 3 2014 Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David 2 2014 On approximation metrics for linear temporal model-checking of stochastic systems. Zbl 1362.68188Tkachev, Ilya; Abate, Alessandro 1 2014 Probabilistic reach-avoid computation for partially degenerate stochastic processes. Zbl 1360.93656Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro 1 2014 On the effect of perturbation of conditional probabilities in total variation. Zbl 1370.60006Abate, Alessandro; Redig, Frank; Tkachev, Ilya 1 2014 Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes. Zbl 1278.93243Zadeh Soudjani, Sadegh Esmaeil; Abate, Alessandro 17 2013 Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro 7 2013 Finite abstractions of max-plus-linear systems. Zbl 1369.93370Adzkiya, Dieky; De Schutter, Bart; Abate, Alessandro 6 2013 Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. Zbl 1362.68187Tkachev, Ilya; Abate, Alessandro 6 2013 A stochastic games framework for verification and control of discrete time stochastic hybrid systems. Zbl 1364.93857Ding, Jerry; Kamgarpour, Maryam; Summers, Sean; Abate, Alessandro; Lygeros, John; Tomlin, Claire 4 2013 Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey. Zbl 1334.68128Abate, Alessandro 3 2013 Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model. Zbl 1260.49046Staňková, Kateřina; Abate, Alessandro; Sabelis, Maurice W. 2 2013 Infinite-horizon switched LQR problems in discrete time: a suboptimal algorithm with performance analysis. Zbl 1369.93357Zhang, Wei; Hu, Jianghai; Abate, Alessandro 19 2012 On efficient sensor scheduling for linear dynamical systems. Zbl 1271.93152Vitus, Michael P.; Zhang, Wei; Abate, Alessandro; Hu, Jianghai; Tomlin, Claire J. 9 2012 On infinite horizon switched LQR problems with state and control constraints. Zbl 1250.93068Balandat, Maximilian; Zhang, Wei; Abate, Alessandro 6 2012 Robust PCTL model checking. Zbl 1361.68140D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter 5 2012 Piecewise affine approximations of fluxes and enzyme kinetics from in vivo \(^{13}\text{C}\) labeling experiments. Zbl 1258.93016Abate, Alessandro; Hillen, Robert C.; Wahl, S. Aljoscha 2 2012 Regularization of Bellman equations for infinite-horizon probabilistic properties. Zbl 1362.68186Tkachev, Ilya; Abate, Alessandro 1 2012 Higher-order approximations for verification of stochastic hybrid systems. Zbl 1374.68280Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro 1 2012 Approximate abstractions of stochastic hybrid systems. Zbl 1368.93655Abate, Alessandro; D’Innocenzo, Alessandro; Di Benedetto, Maria D. 5 2011 Quantitative automata model checking of autonomous stochastic hybrid systems. Zbl 1361.68130Abate, Alessandro; Katoen, Joost-Pieter; Mereacre, Alexandru 4 2011 Approximate model checking of stochastic hybrid systems. Zbl 1216.93091Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria 11 2010 Probabilistic safety and optimal control for survival analysis of bacillus subtilis. Zbl 1188.49036Abate, Alessandro; Lygeros, John; Sastry, Shankar S. 1 2010 Exponential stabilization of discrete-time switched linear systems. Zbl 1183.93118Zhang, Wei; Abate, Alessandro; Hu, Jianghai; Vitus, Michael P. 24 2009 Box invariance in biologically-inspired dynamical systems. Zbl 1197.34088Abate, Alessandro; Tiwari, Ashish; Sastry, Shankar 17 2009 On the value functions of the discrete-time switched LQR problem. Zbl 1367.93291Zhang, Wei; Hu, Jianghai; Abate, Alessandro 16 2009 Understanding deadlock and livelock behaviors in hybrid control systems. Zbl 1166.93304Abate, Alessandro; D’Innocenzo, Alessandro; di Benedetto, Maria Domenica; Sastry, Shankar 2 2009 Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Zbl 1152.93051Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar 38 2008 Approximation of general stochastic hybrid systems by switching diffusions with random hybrid jumps. Zbl 1144.93368Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar 3 2008 Markov set-chains as abstractions of stochastic hybrid systems. Zbl 1144.93367Abate, Alessandro; D’Innocenzo, Alessandro; Di Benedetto, Maria D.; Sastry, Shankar S. 2 2008 Computational approaches to reachability analysis of stochastic hybrid systems. Zbl 1221.93030Abate, Alessandro; Amin, Saurabh; Prandini, Maria; Lygeros, John; Sastry, Shankar 8 2007 Reachability analysis for controlled discrete time stochastic hybrid systems. Zbl 1178.93069Amin, Saurabh; Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar 8 2006 all cited Publications top 5 cited Publications all top 5 Cited by 335 Authors 21 Abate, Alessandro 9 Zamani, Majid 7 Lygeros, John 6 Girard, Antoine 5 Shi, Ling 4 Dimarogonas, Dimos V. 4 Hu, Jianghai 4 Soudjani, Sadegh 4 Summers, Sean 4 Tiwari, Pankaj Kumar 4 Tkachev, Ilya 3 Belta, Calin 3 Boskos, Dimitris 3 Chattopadhyay, Joydev 3 Esmaeil Zadeh Soudjani, Sadegh 3 Gao, Yan 3 Ghosh, Indrajit 3 Hahn, Ernst Moritz 3 Hermanns, Holger 3 Kamgarpour, Maryam 3 Katoen, Joost-Pieter 3 Lavaei, Abolfazl 3 Prandini, Maria 3 Sastry, Shankar S. 3 Tomlin, Claire J. 3 Wu, Xiang 3 Zhang, Kanjian 3 Zhang, Wei 2 Adzkiya, Dieky 2 Anitescu, Mihai 2 Balakrishnan, S. N. 2 Bortolussi, Luca 2 De Schutter, Bart 2 Deaecto, Grace S. 2 Delahaye, Benoît 2 Duan, Chang 2 Fiacchini, Mirko 2 Haesaert, Sofie 2 Heydari, Ali Akbar 2 Jasso-Fuentes, Héctor 2 Jawaid, Syed Talha 2 Kwiatkowska, Marta Z. 2 Larsen, Kim Guldstrand 2 Legay, Axel 2 Majumdar, Rupak 2 Menaldi, Jose-Luis 2 Meyer, Pierre-Jean 2 Misra, Arvind Kumar 2 Pedersen, Mikkel Lykke 2 Prieto-Rumeau, Tomás 2 Quevedo, Daniel E. 2 Ren, Yuanhong 2 Samanta, Sudip K. 2 Shen, Jinglai 2 Shen, Mingxuan 2 Smith, Stephen L. 2 Sun, Changyin 2 Sun, Zhendong 2 Tao, Yuegang 2 Teel, Andrew Richard 2 Venturino, Ezio 2 Wang, Weiqun 2 Wąsowski, Andrzej 2 Wu, Fen 2 Wu, Junfeng 2 Xia, Zunquan 2 Xu, Wanting 2 Zhang, Lijun 2 Zhang, Xia 1 Abdul Aziz, Mohd Ismail 1 Ai, Zidong 1 Aksaray, Derya 1 Amin, Saurabh 1 Annunziato, Mario 1 Antoniotti, Marco 1 Antsaklis, Panos J. 1 Antunes, Duarte J. 1 Arcak, Murat 1 Asghar, Ahmad Bilal 1 Assellaou, Mohamed 1 Aydin Gol, Ebru 1 Babiarz, Artur 1 Baier, Christel 1 Balandat, Maximilian 1 Başar, Tamer 1 Bauso, Dario 1 Bekolle, David 1 Belabbas, Mohamed-Ali 1 Ben Sassi, Mohamed Amin 1 Bessa, Iury 1 Bian, Gaoang 1 Blanchini, Franco 1 Bokanowski, Olivier 1 Bona, Francesca 1 Borzì, Alfio 1 Bragagnolo, Marcos Cesar 1 Brim, Luboš 1 Brown, Timothy C. 1 Bulai, Iulia Martina 1 Bushnell, Linda G. ...and 235 more Authors all top 5 Cited in 47 Serials 47 Automatica 15 Nonlinear Analysis. Hybrid Systems 12 Systems & Control Letters 5 SIAM Journal on Control and Optimization 5 Theoretical Computer Science 5 Discrete Event Dynamic Systems 4 Acta Informatica 4 Journal of the Franklin Institute 4 Mathematical Problems in Engineering 3 Bulletin of Mathematical Biology 3 Information and Computation 3 European Journal of Control 3 International Journal of Systems Science. Principles and Applications of Systems and Integration 2 International Journal of Control 2 Journal of Mathematical Biology 2 International Journal of Adaptive Control and Signal Processing 2 International Journal of Computer Mathematics 2 Formal Methods in System Design 2 The Journal of Logic and Algebraic Programming 2 Journal of Applied Mathematics 2 Advances in Difference Equations 1 International Journal of Systems Science 1 Journal of Mathematical Analysis and Applications 1 Applied Mathematics and Computation 1 Applied Mathematics and Optimization 1 Information Sciences 1 Journal of Computational and Applied Mathematics 1 Mathematics and Computers in Simulation 1 Statistics & Probability Letters 1 Journal of Automated Reasoning 1 Applied Mathematics Letters 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Numerical Algorithms 1 International Journal of Robust and Nonlinear Control 1 SIAM Journal on Optimization 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Journal of Mathematical Sciences (New York) 1 Discrete and Continuous Dynamical Systems 1 Nonlinear Dynamics 1 Vietnam Journal of Mathematics 1 Mathematical and Computer Modelling of Dynamical Systems 1 Journal of Biological Systems 1 Journal of Industrial and Management Optimization 1 Mathematical Modelling of Natural Phenomena 1 Journal of Theoretical Biology 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 19 Fields 122 Systems theory; control (93-XX) 33 Computer science (68-XX) 29 Calculus of variations and optimal control; optimization (49-XX) 27 Operations research, mathematical programming (90-XX) 18 Biology and other natural sciences (92-XX) 16 Probability theory and stochastic processes (60-XX) 8 Numerical analysis (65-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Ordinary differential equations (34-XX) 5 Mathematical logic and foundations (03-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 3 Combinatorics (05-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Partial differential equations (35-XX) 1 Field theory and polynomials (12-XX) 1 Difference and functional equations (39-XX) 1 Statistics (62-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year