Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations
 Ames, A Abate, A Sastry, S Proceedings of the IEEE Conference on Decision and Control 4033-4038 (01 Jan 2007) doi:10.1109/CDC.2007.4434891
Box invariance for biologically-inspired dynamical systems
 Abate, A Tiwari, A Sastry, S Proceedings of the IEEE Conference on Decision and Control 5162-5167 (01 Jan 2007) doi:10.1109/CDC.2007.4434569
An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems
 Abate, A Prandini, M Lygeros, J Sastry, S Proceedings of the IEEE Conference on Decision and Control 4018-4023 (01 Jan 2008) doi:10.1109/CDC.2008.4739410
Approximate abstractions of discrete-time controlled stochastic hybrid systems
 D'Innocenzo, A Abate, A Di Benedetto, M Proceedings of the IEEE Conference on Decision and Control 221-226 (01 Jan 2008) doi:10.1109/CDC.2008.4739270
Markov set-chains as abstractions of stochastic hybrid systems
 Abate, A D'innocenzo, A Di Benedetto, M Sastry, S Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics volume 4981 LNCS 1-15 (01 Jan 2008) doi:10.1007/978-3-540-78929-1_1
Understanding deadlock and livelock behaviors in Hybrid Control Systems
 Abate, A D'Innocenzo, A Di Benedetto, M Sastry, S Nonlinear Analysis Hybrid Systems volume 3 issue 2 150-162 (01 May 2009) doi:10.1016/j.nahs.2008.12.005
Quantitative and probabilistic modeling in pathway logic
 Abate, A Bai, Y Sznajder, N Talcott, C Tiwari, A Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 922-929 (01 Dec 2007) doi:10.1109/BIBE.2007.4375669
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
 Abate, A Prandini, M Lygeros, J Sastry, S Automatica volume 44 issue 11 2724-2734 (01 Nov 2008) doi:10.1016/j.automatica.2008.03.027
The concept of deadlock and livelock in hybrid control systems
 Abate, A D'Innocenzo, A Pola, G Di Benedetto, M Sastry, S Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) volume 4416 LNCS 628-632 (01 Jan 2007) doi:10.1007/978-3-540-71493-4_48
Computational approaches to reachability analysis of stochastic hybrid systems
 Abate, A Amin, S Prandini, M Lygeros, J Sastry, S Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) volume 4416 LNCS 4-17 (01 Jan 2007) doi:10.1007/978-3-540-71493-4_4
Subscribe to