Probabilistic safety and optimal control for survival analysis of Bacillus subtilis
Abate, A Lygeros, J Sastry, S Systems and Control Letters volume 59 issue 1 79-85 (01 Jan 2010) doi:10.1016/j.sysconle.2009.12.003
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach
Zhang, W Abate, A Hu, J Lecture Notes in Computer Science volume 5469 411-425 (2009) doi:10.1007/978-3-642-00602-9_29
The emergent structure of the drosophila wing: A dynamic model generator
Silletti, A Cenedese, A Abate, A VISAPP 2009 - Proceedings of the 4th International Conference on Computer Vision Theory and Applications volume 1 406-410 (12 Oct 2009)
Exponential stabilization of discrete-time switched linear systems
Zhang, W Abate, A Hu, J Vitus, M Automatica volume 45 issue 11 2526-2536 (01 Nov 2009) doi:10.1016/j.automatica.2009.07.018
Sufficient Conditions for the Existence of Zeno Behavior in a Class of Nonlinear Hybrid Systems via Constant Approximations
Ames, A Abate, A Sastry, S 4033-4038 (01 Dec 2007) doi:10.1109/cdc.2007.4434891
Box Invariance for biologically-inspired dynamical systems
Abate, A Tiwari, A Sastry, S 5162-5167 (01 Dec 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 4018-4023 (01 Dec 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 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference 221-226 (01 Dec 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 volume 4981 1-15 (2008) doi:10.1007/978-3-540-78929-1_1
Subscribe to