Box invariance in biologically-inspired dynamical systems
Abate, A
Tiwari, A
Sastry, S
Automatica
volume 45
issue 7
1601-1610
(Jul 2009)
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)
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)
Box Invariance for biologically-inspired dynamical systems
Abate, A
Tiwari, A
Sastry, S
5162-5167
(01 Dec 2007)
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)
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)
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)
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
(May 2009)
Quantitative and Probabilistic Modeling in Pathway Logic
Abate, A
Bai, Y
Sznajder, N
Talcott, C
Tiwari, A
922-929
(01 Oct 2007)