Alessandro Abate, Ph.D. - Publications

Affiliations: 
2007 University of California, Berkeley, Berkeley, CA 

98 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Adzkiya D, Zhang Y, Abate A. VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems Discrete Event Dynamic Systems: Theory and Applications. 26: 109-145. DOI: 10.1007/s10626-015-0218-x  0.76
2016 Esmaeil Zadeh Soudjani S, Majumdar R, Abate A. Safety verification of continuous-space pure jump Markov processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9636: 147-163. DOI: 10.1007/978-3-662-49674-9_9  0.76
2015 Guarnera S, Abate A, Zhang W, Foster JM, Richardson G, Petrozza A, Snaith HJ. Improving the Long-Term Stability of Perovskite Solar Cells with a Porous Al2O3 Buffer Layer. The Journal of Physical Chemistry Letters. 6: 432-7. PMID 26261960 DOI: 10.1021/jz502703p  0.76
2015 Zhang W, Saliba M, Moore DT, Pathak SK, Hörantner MT, Stergiopoulos T, Stranks SD, Eperon GE, Alexander-Webber JA, Abate A, Sadhanala A, Yao S, Chen Y, Friend RH, Estroff LA, et al. Ultrasmooth organic-inorganic perovskite thin-film formation and crystallization for efficient planar heterojunction solar cells. Nature Communications. 6: 6142. PMID 25635571 DOI: 10.1038/ncomms7142  0.76
2015 Soudjani SEZ, Abate A, Majumdar R. Dynamic Bayesian networks as formal abstractions of structured stochastic processes Leibniz International Proceedings in Informatics, Lipics. 42: 169-183. DOI: 10.4230/LIPIcs.CONCUR.2015.169  0.76
2015 Esmaeil S, Soudjani Z, Abate A. Quantitative approximation of the probability distribution of a markov process by formal abstractions Logical Methods in Computer Science. 11. DOI: 10.2168/LMCS-11(3:8)2015  0.76
2015 Esmaeil Zadeh Soudjani S, Abate A. Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions Ieee Transactions On Control Systems Technology. 23: 975-990. DOI: 10.1109/TCST.2014.2358844  0.76
2015 Zamani M, Esfahani PM, Majumdar R, Abate A, Lygeros J. Symbolic control of stochastic systems via approximately bisimilar finite abstractions Ieee Transactions On Automatic Control. 59: 3135-3150. DOI: 10.1109/TAC.2014.2351652  0.76
2015 Balandat M, Tkachev I, Abate A, Tomlin CJ. A mean field equilibrium for a model of interbank lending Proceedings of the American Control Conference. 2015: 1752-1757. DOI: 10.1109/ACC.2015.7170986  0.76
2015 Zamani M, Abate A, Girard A. Symbolic models for stochastic switched systems: A discretization and a discretization-free approach Automatica. 55: 183-196. DOI: 10.1016/j.automatica.2015.03.004  0.76
2015 Adzkiya D, De Schutter B, Abate A. Computational techniques for reachability analysis of Max-Plus-Linear systems Automatica. 53: 293-302. DOI: 10.1016/j.automatica.2015.01.002  0.76
2015 Cattaruzza D, Abate A, Schrammel P, Kroening D. Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9291: 312-331. DOI: 10.1007/978-3-662-48288-9_18  0.76
2015 Soudjani SEZ, Gevaerts C, Abate A. FAUST2: Formal Abstractions of Uncountable-STate STochastic processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9035: 272-286. DOI: 10.1007/978-3-662-46681-0_23  0.76
2015 Fränzle M, Gerwinn S, Kröger P, Abate A, Katoen JP. Multi-objective parameter synthesis in probabilistic hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9268: 93-107. DOI: 10.1007/978-3-319-22975-1_7  0.76
2015 Abate A, Brim L, Češka M, Kwiatkowska M. Adaptive aggregation of markov chains: Quantitative analysis of chemical reaction networks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9206: 195-213. DOI: 10.1007/978-3-319-21690-4_12  0.76
2014 Snaith HJ, Abate A, Ball JM, Eperon GE, Leijtens T, Noel NK, Stranks SD, Wang JT, Wojciechowski K, Zhang W. Anomalous Hysteresis in Perovskite Solar Cells. The Journal of Physical Chemistry Letters. 5: 1511-5. PMID 26270088 DOI: 10.1021/jz500113x  0.76
2014 de Jonge L, Buijs NA, Heijnen JJ, van Gulik WM, Abate A, Wahl SA. Flux response of glycolysis and storage metabolism during rapid feast/famine conditions in Penicillium chrysogenum using dynamic (13)C labeling. Biotechnology Journal. 9: 372-85. PMID 24376125 DOI: 10.1002/biot.201200260  0.76
2014 Adzkiya D, De Schutter B, Abate A. Backward reachability of autonomous max-plus-linear systems Advances in the Astronautical Sciences. 12: 117-122. DOI: 10.3182/20140514-3-FR-4046.00056  0.76
2014 Tkachev I, Abate A. On approximation metrics for linear temporal model-checking of stochastic systems Hscc 2014 - Proceedings of the 17th International Conference On Hybrid Systems: Computation and Control (Part of Cps Week). 193-202. DOI: 10.1145/2562059.2562118  0.76
2014 Zamani M, Tkachev I, Abate A. Bisimilar symbolic models for stochastic control systems without state-space discretization Hscc 2014 - Proceedings of the 17th International Conference On Hybrid Systems: Computation and Control (Part of Cps Week). 41-50. DOI: 10.1145/2562059.2562115  0.76
2014 Zhao L, Zhang W, Hu J, Abate A, Tomlin CJ. On the optimal solutions of the infinite-horizon linear sensor scheduling problem Ieee Transactions On Automatic Control. 59: 825-830. DOI: 10.1109/TAC.2014.2314222  0.76
2014 Soudjani SEZ, Abate A. Probabilistic reach-avoid computation for partially degenerate stochastic processes Ieee Transactions On Automatic Control. 59: 528-534. DOI: 10.1109/TAC.2013.2273300  0.76
2014 Zamani M, Mazo M, Abate A. Finite abstractions of networked control systems Proceedings of the Ieee Conference On Decision and Control. 2015: 95-100. DOI: 10.1109/CDC.2014.7039365  0.76
2014 Zamani M, Abate A. Symbolic models for randomly switched stochastic systems Proceedings of the American Control Conference. 2291-2296. DOI: 10.1109/ACC.2014.6858937  0.76
2014 Tkachev I, Abate A. Characterization and computation of infinite-horizon specifications over Markov processes Theoretical Computer Science. 515: 1-18. DOI: 10.1016/j.tcs.2013.09.032  0.76
2014 Zamani M, Abate A. Approximately bisimilar symbolic models for randomly switched stochastic systems Systems and Control Letters. 69: 38-46. DOI: 10.1016/j.sysconle.2014.04.003  0.76
2014 Abate A, Redig F, Tkachev I. On the effect of perturbation of conditional probabilities in total variation Statistics and Probability Letters. 88: 1-8. DOI: 10.1016/j.spl.2014.01.009  0.76
2014 Esmaeil Zadeh Soudjani S, Abate A. Precise approximations of the probability distribution of a Markov process in time: An application to probabilistic invariance Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8413: 547-561. DOI: 10.1007/978-3-642-54862-8_45  0.76
2014 Adzkiya D, De Schutter B, Abate A. Forward reachability computation for autonomous max-plus-linear systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8413: 248-262. DOI: 10.1007/978-3-642-54862-8_17  0.76
2014 Adzkiya D, Esmaeil Zadeh Soudjani S, Abate A. Finite abstractions of stochastic Max-Plus-Linear systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8657: 74-89. DOI: 10.1007/978-3-319-10696-0_7  0.76
2014 Esmaeil Zadeh Soudjani S, Gerwinn S, Ellen C, Fränzle M, Abate A. Formal synthesis and validation of inhomogeneous thermostatically controlled loads Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8657: 57-73. DOI: 10.1007/978-3-319-10696-0_6  0.76
2014 Abate A, Kwiatkowska M, Norman G, Parker D. Probabilistic model checking of labelled markov processes via finite approximate bisimulations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8464: 40-58. DOI: 10.1007/978-3-319-06880-0_2  0.76
2014 Maruthi LRM, Tkachev I, Carta A, Cinquemani E, Hersen P, Batt G, Abate A. Towards real-time control of gene expression at the single cell level: A stochastic control approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8859: 155-172.  0.76
2013 Staňková K, Abate A, Sabelis MW, Buša J, You L. Joining or opting out of a Lotka-Volterra game between predators and prey: does the best strategy depend on modelling energy lost and gained? Interface Focus. 3: 20130034. PMID 24516720 DOI: 10.1098/rsfs.2013.0034  0.76
2013 Staňková K, Abate A, Sabelis MW. Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model. Journal of Mathematical Biology. 66: 767-94. PMID 23070213 DOI: 10.1007/s00285-012-0599-5  0.76
2013 Esmaeil Zadeh Soudjani S, Abate A. Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes Siam Journal On Applied Dynamical Systems. 12: 921-956. DOI: 10.1137/120871456  0.76
2013 Adzkiya D, De Schutter B, Abate A. Finite abstractions of max-plus-linear systems Ieee Transactions On Automatic Control. 58: 3039-3053. DOI: 10.1109/TAC.2013.2273299  0.76
2013 Kamgarpour M, Ellen C, Soudjani SEZ, Gerwinn S, Mathieu JL, Mullner N, Abate A, Callaway DS, Franzle M, Lygeros J. Modeling options for demand side participation of thermostatically controlled loads Proceedings of Irep Symposium: Bulk Power System Dynamics and Control - Ix Optimization, Security and Control of the Emerging Power Grid, Irep 2013. DOI: 10.1109/IREP.2013.6629396  0.76
2013 Zamani M, Esfahani PM, Majumdar R, Abate A, Lygeros J. Bisimilar finite abstractions of stochastic control systems Proceedings of the Ieee Conference On Decision and Control. 3926-3931. DOI: 10.1109/CDC.2013.6760489  0.76
2013 Tkachev I, Abate A. A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem Proceedings of the Ieee Conference On Decision and Control. 3211-3216. DOI: 10.1109/CDC.2013.6760373  0.76
2013 Abate A. Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: A survey Electronic Notes in Theoretical Computer Science. 297: 3-25. DOI: 10.1016/j.entcs.2013.12.002  0.76
2013 Ding J, Kamgarpour M, Summers S, Abate A, Lygeros J, Tomlin C. A stochastic games framework for verification and control of discrete time stochastic hybrid systems Automatica. 49: 2665-2674. DOI: 10.1016/j.automatica.2013.05.025  0.76
2013 Zamani M, Abate A. Symbolic control of stochastic switched systems via finite abstractions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8054: 305-321. DOI: 10.1007/978-3-642-40196-1_27  0.76
2013 Adzkiya D, Abate A. VeriSiMPL: Verification via biSimulations of MPL models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8054: 274-277. DOI: 10.1007/978-3-642-40196-1_22  0.76
2013 Abate A, Chen M, Wang Y, Zakhor A, Sastry S. Design and analysis of a flow control scheme over wireless networks International Journal of Robust and Nonlinear Control. 23: 208-228. DOI: 10.1002/rnc.1825  0.76
2013 Esmaeil Zadeh Soudjani S, Abate A. Aggregation of thermostatically controlled loads by formal abstractions 2013 European Control Conference, Ecc 2013. 4232-4237.  0.76
2013 Zamani M, Mohajerin Esfahani P, Abate A, Lygeros J. Symbolic models for stochastic control systems without stability assumptions 2013 European Control Conference, Ecc 2013. 4257-4262.  0.76
2013 Adzkiya D, De Schutter B, Abate A. Finite abstractions of nonautonomous Max-Plus-Linear systems Proceedings of the American Control Conference. 4387-4392.  0.76
2013 Ding J, Abate A, Tomlin C. Optimal control of partially observable discrete time stochastic hybrid systems for safety specifications Proceedings of the American Control Conference. 6231-6236.  0.76
2012 Abate A, Vincent S, Dobbe R, Silletti A, Master N, Axelrod JD, Tomlin CJ. A mathematical model to study the dynamics of epithelial cellular networks. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 9: 1607-20. PMID 23221083 DOI: 10.1109/TCBB.2012.126  0.76
2012 Brinkman EK, Schipper K, Bongaerts N, Voges MJ, Abate A, Wahl SA. A toolkit to enable hydrocarbon conversion in aqueous environments. Journal of Visualized Experiments : Jove. e4182. PMID 23052445 DOI: 10.3791/4182  0.76
2012 Tkachev I, Mereacre A, Katoen JP, Abate A. Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems Hscc 2013 - Proceedings of the 16th International Conference On Hybrid Systems: Computation and Control, Part of Cpsweek 2013. 1: 293-302. DOI: 10.1145/2461328.2461373  0.76
2012 Tkachev I, Abate A. Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems Hscc 2013 - Proceedings of the 16th International Conference On Hybrid Systems: Computation and Control, Part of Cpsweek 2013. 1: 283-292. DOI: 10.1145/2461328.2461372  0.76
2012 D'innocenzo A, Abate A, Katoen JP. Robust PCTL model checking Hscc'12 - Proceedings of the 15th Acm International Conference On Hybrid Systems: Computation and Control. 275-285. DOI: 10.1145/2185632.2185673  0.76
2012 Tkachev I, Abate A. Regularization of bellman equations for infinite-horizon probabilistic properties Hscc'12 - Proceedings of the 15th Acm International Conference On Hybrid Systems: Computation and Control. 227-236. DOI: 10.1145/2185632.2185666  0.76
2012 Zadeh Soudjani SE, Abate A. Probabilistic invariance of mixed deterministic-stochastic dynamical systems Hscc'12 - Proceedings of the 15th Acm International Conference On Hybrid Systems: Computation and Control. 207-216. DOI: 10.1145/2185632.2185664  0.76
2012 Zhang W, Hu J, Abate A. Infinite-horizon switched LQR problems in discrete time: A suboptimal algorithm with performance analysis Ieee Transactions On Automatic Control. 57: 1815-1821. DOI: 10.1109/TAC.2011.2178649  0.76
2012 Strelec M, MacEk K, Abate A. Modeling and simulation of a microgrid as a stochastic hybrid system Ieee Pes Innovative Smart Grid Technologies Conference Europe. DOI: 10.1109/ISGTEurope.2012.6465655  0.76
2012 Tkachev I, Abate A. Stability and attractivity of absorbing sets for discrete-time Markov processes Proceedings of the Ieee Conference On Decision and Control. 7652-7657. DOI: 10.1109/CDC.2012.6426410  0.76
2012 Balandat M, Zhang W, Abate A. On infinite horizon switched LQR problems with state and control constraints Systems and Control Letters. 61: 464-471. DOI: 10.1016/j.sysconle.2012.01.011  0.76
2012 Vitus MP, Zhang W, Abate A, Hu J, Tomlin CJ. On efficient sensor scheduling for linear dynamical systems Automatica. 48: 2482-2493. DOI: 10.1016/j.automatica.2012.06.092  0.76
2012 Esmaeil Zadeh Soudjani S, Abate A. Higher-order approximations for verification of stochastic hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7561: 416-434. DOI: 10.1007/978-3-642-33386-6_32  0.76
2012 Abate A, Hillen RC, Aljoscha Wahl S. Piecewise affine approximations of fluxes and enzyme kinetics from in vivo 13C labeling experiments International Journal of Robust and Nonlinear Control. 22: 1120-1139. DOI: 10.1002/rnc.2798  0.76
2012 Adzkiya D, De Schutter B, Abate A. Abstraction and verification of autonomous Max-Plus-Linear systems Proceedings of the American Control Conference. 721-726.  0.76
2011 Abate A, Katoen JP, Lygeros J, Prandini M. A two-step scheme for approximate model checking of stochastic hybrid systems Ifac Proceedings Volumes (Ifac-Papersonline). 18: 4519-4524. DOI: 10.3182/20110828-6-IT-1002.02905  0.76
2011 Abate A, Katoen JP, Mereacre A. Quantitative automata model checking of autonomous stochastic hybrid systems Hscc'11 - Proceedings of the 2011 Acm/Sigbed Hybrid Systems: Computation and Control. 83-92. DOI: 10.1145/1967701.1967715  0.76
2011 Abate A, D'Innocenzo A, Di Benedetto MD. Approximate abstractions of stochastic hybrid systems Ieee Transactions On Automatic Control. 56: 2688-2694. DOI: 10.1109/TAC.2011.2160595  0.76
2011 Soudjani SEZ, Abate A. Adaptive gridding for abstraction and verification of stochastic hybrid systems Proceedings of the 2011 8th International Conference On Quantitative Evaluation of Systems, Qest 2011. 59-68. DOI: 10.1109/QEST.2011.16  0.76
2011 Kamgarpour M, Ding J, Summers S, Abate A, Lygeros J, Tomlin C. Discrete time stochastic hybrid dynamical games: Verification & controller synthesis Proceedings of the Ieee Conference On Decision and Control. 6122-6127. DOI: 10.1109/CDC.2011.6161218  0.76
2011 Abate A, Prandini M. Approximate abstractions of stochastic systems: A randomized method Proceedings of the Ieee Conference On Decision and Control. 4861-4866. DOI: 10.1109/CDC.2011.6161148  0.76
2011 Tkachev I, Abate A. On infinite-horizon probabilistic properties and stochastic bisimulation functions Proceedings of the Ieee Conference On Decision and Control. 526-531. DOI: 10.1109/CDC.2011.6160617  0.76
2011 Silletti A, Abate A, Axelrod JD, Tomlin CJ. Versatile spectral methods for point set matching Pattern Recognition Letters. 32: 731-739. DOI: 10.1016/j.patrec.2010.11.022  0.76
2010 Abate A, Katoen JP, Lygeros J, Prandini M. Approximate model checking of stochastic hybrid systems European Journal of Control. 16: 624-641. DOI: 10.3166/ejc.16.624-641  0.76
2010 Abate A. Probabilistic bisimulations of switching and resetting diffusions Proceedings of the Ieee Conference On Decision and Control. 5918-5923. DOI: 10.1109/CDC.2010.5717751  0.76
2010 Vitus MP, Zhang W, Abate A, Hu J, Tomlin CJ. On sensor scheduling of linear dynamical systems with error bounds Proceedings of the Ieee Conference On Decision and Control. 1318-1323. DOI: 10.1109/CDC.2010.5717207  0.76
2010 Balandat M, Zhang W, Abate A. On the infinite horizon constrained switched LQR problem Proceedings of the Ieee Conference On Decision and Control. 2131-2136. DOI: 10.1109/CDC.2010.5716972  0.76
2010 Abate A, Lygeros J, Sastry SS. Probabilistic safety and optimal control for survival analysis of Bacillus subtilis Systems and Control Letters. 59: 79-85. DOI: 10.1016/j.sysconle.2009.12.003  0.76
2009 Zhang W, Hu J, Abate A. On the value functions of the discrete-time switched LQR problem Ieee Transactions On Automatic Control. 54: 2669-2674. DOI: 10.1109/TAC.2009.2031574  0.76
2009 Zhang W, Abate A, Vitus MP, Hu J. On piecewise quadratic control-Lyapunov functions for switched linear systems Proceedings of the Ieee Conference On Decision and Control. 1088-1093. DOI: 10.1109/CDC.2009.5400642  0.76
2009 Abate A. A contractivity approach for probabilistic bisimulations of diffusion processes Proceedings of the Ieee Conference On Decision and Control. 2230-2235. DOI: 10.1109/CDC.2009.5400334  0.76
2009 Zhang W, Abate A, Hu J. Efficient suboptimal solutions of switched LQR problems Proceedings of the American Control Conference. 1084-1091. DOI: 10.1109/ACC.2009.5160616  0.76
2009 Abate A, D'Innocenzo A, Di Benedetto MD, Sastry S. Understanding deadlock and livelock behaviors in Hybrid Control Systems Nonlinear Analysis: Hybrid Systems. 3: 150-162. DOI: 10.1016/j.nahs.2008.12.005  0.76
2009 Zhang W, Abate A, Hu J, Vitus MP. Exponential stabilization of discrete-time switched linear systems Automatica. 45: 2526-2536. DOI: 10.1016/j.automatica.2009.07.018  0.76
2009 Abate A, Tiwari A, Sastry S. Box invariance in biologically-inspired dynamical systems Automatica. 45: 1601-1610. DOI: 10.1016/j.automatica.2009.02.028  0.76
2009 Zhang W, Abate A, Hu J. Stabilization of discrete-time switched linear systems: A control-Lyapunov function approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5469: 411-425. DOI: 10.1007/978-3-642-00602-9_29  0.76
2009 Silletti A, Cenedese A, Abate A. The emergent structure of the drosophila wing: A dynamic model generator Visapp 2009 - Proceedings of the 4th International Conference On Computer Vision Theory and Applications. 1: 406-410.  0.76
2008 Ma D, Amonlirdviman K, Raffard RL, Abate A, Tomlin CJ, Axelrod JD. Cell packing influences planar cell polarity signaling. Proceedings of the National Academy of Sciences of the United States of America. 105: 18800-5. PMID 19022903 DOI: 10.1073/pnas.0808868105  0.76
2008 Boscolo-Berto R, Dal Moro F, Abate A, Arandjelovic G, Tosato F, Bassi P. Do weather conditions influence the onset of renal colic? A novel approach to analysis. Urologia Internationalis. 80: 19-25. PMID 18204228 DOI: 10.1159/000111724  0.76
2008 Abate A, Prandini M, Lygeros J, Sastry S. An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems Proceedings of the Ieee Conference On Decision and Control. 4018-4023. DOI: 10.1109/CDC.2008.4739410  0.76
2008 D'Innocenzo A, Abate A, Di Benedetto MD. Approximate abstractions of discrete-time controlled stochastic hybrid systems Proceedings of the Ieee Conference On Decision and Control. 221-226. DOI: 10.1109/CDC.2008.4739270  0.76
2008 Abate A, Prandini M, Lygeros J, Sastry S. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems Automatica. 44: 2724-2734. DOI: 10.1016/j.automatica.2008.03.027  0.76
2008 Abate A, Prandini M, Lygeros J, Sastry S. Approximation of general stochastic hybrid systems by switching diffusions with randomhybrid jumps Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4981: 598-601. DOI: 10.1007/978-3-540-78929-1-43  0.76
2008 Abate A, D'innocenzo A, Di Benedetto MD, Sastry SS. Markov set-chains as abstractions of stochastic hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4981: 1-15. DOI: 10.1007/978-3-540-78929-1-1  0.76
2007 Ames AD, Abate A, Sastry S. Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations Proceedings of the Ieee Conference On Decision and Control. 4033-4038. DOI: 10.1109/CDC.2007.4434891  0.76
2007 Abate A, Tiwari A, Sastry S. Box invariance for biologically-inspired dynamical systems Proceedings of the Ieee Conference On Decision and Control. 5162-5167. DOI: 10.1109/CDC.2007.4434569  0.76
2007 Abate A, Bai Y, Sznajder N, Talcott C, Tiwari A. Quantitative and probabilistic modeling in pathway logic Proceedings of the 7th Ieee International Conference On Bioinformatics and Bioengineering, Bibe. 922-929. DOI: 10.1109/BIBE.2007.4375669  0.76
2007 Abate A, Amin S, Prandini M, Lygeros J, Sastry S. Computational approaches to reachability analysis of stochastic hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4416: 4-17.  0.76
2007 Abate A, D'Innocenzo A, Pola G, Di Benedetto MD, Sastry S. The concept of deadlock and livelock in hybrid control systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4416: 628-632.  0.76
Show low-probability matches.